Eu não poderia usar melhor referência do que o Eric Lippert:
Usar null
em um contexto local muito provavelmente é um bug, e nesse contexto é fácil para o compilador detectar e informar.
Eu discordo um pouco disso. Uma notificação seria ótima, um warning é aceitável, mas um erro, pra mim, é algo que o compilador não deveria emitir, dentro da filosofia atual do C#. Eu até gosto disso, odeio null
, só digo que é inconsistente. Considero um erro do time ter decidido que o compilador faça isso, mas é só minha opinião. Eles decidiram assim e só podemos seguir. Inclusive a resposta do Eric mostra que usam heurísticas que podem gerar resultados errados. Isso não é coisa que um compilador deveria fazer para erros e até mesmo para alertas.
Um campo tem uma chance razoável de ser o que desejava, pelo menos temporariamente.
Ou era no passado, hoje tem facilidades e passou não ser tão verdade assim, se aproximou um pouco da probabilidade do uso local, mas ainda tem possibilidade do null
ser o desejado mesmo. E o compilador teria dificuldades de analisar isso pelo contexto bem mais amplo. Consideraram que não valia o esforço.
Mas note que a linguagem não obriga nada de qualquer forma. Não tem como fazê-lo. Mesmo em especificação, é impossível. Sempre existem caminhos que tornam essa verificação indecidível, e a resposta do Eric mostra isso.
Então a decisão de colocar no compilador foi por gosto dos desenvolvedores justificando com a probabilidade de acertar aliado com a facilidade de realizar.
No final da resposta dele foi colocada as opções que tinham:
- Fazer um idioma comum, seguro e usado frequentemente ser ilegal
- Realizar uma análise muito extensiva tornando a compilação levar até mesmo horas para tentar descobrir um bug que talvez nem esteja lá
- Adotar um valor padrão e fica assim
Escolheram a última.
Minha restrição é não terem feito o mesmo com as locais.
Mas o que eu queria mesmo é que não tivesse null
. O que eles dizem ter sido o maior erro da linguagem e que em parte resolveram em C# 8.
Não encontrei justificativa melhor para dar erro no uso da variável local não inicializada. Eu entendo perfeitamente o motivo deles, faz sentido, mas fica meio torto. Tem mais uma resposta dele que fala algo sobre o assunto. Ali confirma que todas variáveis são inicializadas, mesmo que o null
não seja aceito como valor válido em contexto local. O Hans fala disso também.
Note que a variável pode ser inicializada depois.
Se eles decidirem eliminar esse erro um dia não muda algo para os códigos, compila tudo existente hoje sem mudar semântica alguma. Por isso não deveria ser erro. Erro é para aquilo que nunca funciona, erro é aquilo que certamente é erro.
Para o CLR o método pode exigir inicialização ou não, lembre que o CLR roda outras linguagens, como C++ por exemplo, que não inicializa. Isso é feito com a marcação de CIL .locals init
. Isto não faz restrição se é tipo por referência ou não. Esta marcação indica que o stack frame daquele método deve ser limpo, zerado, portanto, tipos por referência terão valor null
.
Coloquei no GitHub para referência futura.