Motivação e armadilhas (?) Da palavra-chave automática em C ++ 11

Recentemente, eu estava me perguntando por que a palavra-chave autofoi escolhida no C ++ 11 para marcar uma variável cujo tipo deve ser inferido pelo compilador, como em

auto x = 1;

Desde a

1. var parece mais comum em outras linguagens de programação (por exemplo, C #, Scala, JavaScript) e
2. Pelo que entendi, a nova semântica das autoquebras de compatibilidade com versões anteriores (raramente era usada, mas tinha um significado diferente nas revisões anteriores do C ++, veja, por exemplo, aqui )

Eu queria perguntar se havia um motivo especial para escolher auto(a favor varou qualquer outra palavra-chave). Houve alguma discussão específica sobre esse problema antes do lançamento do padrão C ++ 11?

Além disso, existem possíveis incompatibilidades que devemos observar ao recompilar o código C ++ herdado com um compilador C ++ 11?

Quase todas as palavras que você pode pensar em adicionar como palavra-chave a um idioma quase certamente foram usadas como nome de variável ou alguma outra parte do código em funcionamento. Esse código seria quebrado se você tornasse essa palavra uma palavra-chave.

A coisa incrivelmente sortuda autoé que ela já era uma palavra-chave, então as pessoas não tinham variáveis ​​com esse nome, mas ninguém a usava, porque era o padrão. Por que digitar:

auto int i=0;

quando

int i=0;

significava exatamente a mesma coisa?

Suponho que em algum lugar do planeta havia uma pequena quantidade de código que usava 'auto' da maneira antiga. Mas poderia ser corrigido removendo o 'auto' e voltaria a funcionar. Portanto, foi uma escolha bastante óbvia reformular a palavra-chave.

Eu também acho que é um significado mais claro. Se você trabalhou com variantes e coisas desse tipo, quando vê, varpode pensar que a declaração é de alguma forma menos fortemente digitada do que se você tivesse pressionado todas as teclas no teclado para especificar o tipo da variável. Para mim, autofica mais claro que você está pedindo ao compilador para deduzir automaticamente o tipo, que é tão forte quanto se você o tivesse especificado. Então, foi realmente uma pausa de muita sorte que tornou um bom nome disponível para o comitê.

Para esclarecer a (pequena) quebra:

Se você tinha

auto int i=0;

e tentou compilar com um compilador C ++ 11, agora você receberá um erro como

erro C3530: 'auto' não pode ser combinado com nenhum outro especificador de tipo

Isso é trivial, basta remover o auto ou o int e recompilar.

Há um problema maior, no entanto. Se você tinha

auto i = 4.3;

C e o C ++ realmente antigo criariam ium int(como faria se você parasse auto- a declaração padrão era int). Se você passou muito tempo sem compilar esse código ou usou compiladores antigos, poderia ter parte desse código, pelo menos em teoria. O C ++ 11 tornaria isso uma doublevez que é isso que 4.3 é. (Ou talvez a float, eu ainda esteja no modo Boxing Day, mas a questão é que não int.) Isso pode apresentar erros sutis em todo o aplicativo. E sem nenhum aviso ou erro do compilador. As pessoas neste barco devem procurar globablly para autose certificar de que não o estavam usando da maneira antiga antes de passarem para um compilador C ++ 11. Felizmente, esse código é extremamente raro.