Aqui eu vou pela Navalha de Occam: se todas as soluções dão o mesmo resultado escolho a mais simples. Que pode ser a mais eficiente.
Em geral se você tem 2 "josé" e mais nada que os diferencie tanto faz quais deles entra primeiro depois de classificado e, portanto, tanto faz que algoritmo usar. Mas se a lista classificada que está sendo montada precisa considerar a ordem de entrada na lista então o algoritmo estável é obrigatório. Basicamente a pergunta que deve fazer é se a posição na listagem original faz parte do desempate ou não, se ele é uma informação importante precisa usar o algoritmo estável.
Todo algoritmo de classificação instável pode ser transformado em estável se modificar a chave de classificação adicionando manualmente a posição, desde que ela esteja disponível.
Como sempre, é uma questão de quais garantias você precisa e quais comprometimentos você aceita. Alguns algoritmos abrem mão de alguma eficiência para oferecer estabilidade. Mas isto não é garantido, dependendo da comparação o estável pode ter mais eficiência que o instável.
Não é que precise cuidado com determinada estrutura de dados, e sim cuidado com a necessidade desejada.
Por exemplo, uma tabela de espalhamento não tem posição clara, então não faz sentido requerer estabilidade se esta for a fonte.
Lembrando que só pode haver instabilidade em caso de empate. Se a estrutura garante ter chave única a estabilidade é garantida para qualquer algoritmo. Então o exemplo citado tanto faz se o algoritmo é estável ou não, afinal não existe empate em 2 elementos dele. Leia novamente a pergunta linkada porque ainda não entendeu o que é a estabilidade citada.
Particularmente prefiro o estável sempre que não faz diferença ou que ela não importa, mas é comum fazer alguma diferença.
Pode ser que no futuro você precise da ordem original, mesmo que não precise agora, aí teria que refazer a classificação no original, se estiver disponível.
Além disso algoritmos estáveis tendem ter mais previsibilidade de consumo de recursos.
Coloquei no GitHub para referência futura.
{4,2,5,1,7}
não faz diferença pq não tem elementos repetidos. Mas suponha que tenho usuários com nome e idade, e quero ordenar somente pela idade:{(João,30),(Maria,25),(José,20),(Ana,25)}
- com um algoritmo estável, em casos de empate (Maria e Ana tem a mesma idade), a ordem entre elas é mantida, então o resultado seria{(José,20),(Maria,25),(Ana,25),(João,30)}
- Maria estava antes de Ana no array original, e o algoritmo estável manteve esta ordem.Maria
eAna
, é isso que nao entendo, penso que não será algo grave.