Em primeiro lugar, os códigos que você postou não são equivalentes: no primeiro caso, o ponteiro str
pode ser reatribuído à vontade, mas o conteúdo da string apontada não (mais detalhes nessa pergunta no SOENnessa pergunta no SOEN). No segundo, a referência str
não pode ser modificada, mas o conteúdo do objeto a princípio poderia ser - se String
já não fosse imutável (estou pensando em Java, mas se você se referia a outra linguagem favor especificar).
Esse exemplo no ideone mostra isso claramente:
char *process_string(const char *str) {
str = outra_string; // Pode mudar o ponteiro à vontade
//str[0] = '1'; // Não pode mexer no conteúdo
return str;
}
char *process_string_2(char * const str) {
//str = outra_string; // Não pode mudar o ponteiro
str[0] = '2'; // Pode mexer no conteúdo à vontade
return str;
}
Por que isso não é comum em outras linguagens? Infelizmente não sei dizer... Seria extremamente útil um compilador que garantisse o contrato que "esse método não tem efeitos colaterais [nesse parâmetro pelo menos]" mas não faço ideia da dificuldade de se implementar (em particular em linguagens orientadas por objeto, que não suportam aritmética de ponteiro e fazem uso extensivo de referências).
E por falar em referências, a principal razão pela qual não se vê muitos parâmetros final
é que é comum as referências a objetos serem passadas por valor. Ou seja, o objeto não é copiado, mas a referência para ele sim. Dessa forma, que mal tem a função reatribuir seus próprios parâmetros? Só ela os vê mesmo... E por essa mesma razão é difícil ver uma função em C com parêmetros tal qual o process_string_2
do exemplo acima.
O único caso que eu conheço que um parâmetro final
pode ser necessário é quando ele for usado num closure e a linguagem não der suporte à "pilha espaguete":
public void prepararBotao(final String mensagem) {
final JTextField caixaTexto = this.caixaTexto;
botao.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
caixaTexto.setText(mensagem); // Só pode usar "mensagem" aqui porque é final
}
});
}
(Não conheço a razão exata para isso ser necessário em Java - outras linguagens permitem que os closures acessem atributos não-final sem problemas)