18

A pergunta Por que geralmente se declara uma variável com valor padrão? aborda a questão da opção de inicializar ou não uma variável antes de a usar.
No entanto tal opção se torna obrigatoriedade quando se trata de uma variável local.

Um campo é inicializado automaticamente com 0, caso seja um tipo primitivo, ou null, no caso de um tipo por referência.

Variáveis locais não inicializadas se forem usadas, o compilador exibe o erro:

Use of unassigned local variable 'x'

Qual a razão dessa diferença de comportamento?

6
  • Olha, as pessoas podem responder o que for, mas no final das contas isso é assim por uma decisão de design do Anders Rejlsberg. Ele provavelmente fez isso para seguir o padrão do C++, mas aí a pergunta se torna por que o C++ faz isso. Commented 4/07/2017 às 14:40
  • É bom salientar que não é um erro, mas sim um aviso. Acho que o compilador consegue compilar,certo?
    – BrnPer
    Commented 4/07/2017 às 14:41
  • 1
    Não é um aviso. É um erro.
    – Jéf Bueno
    Commented 4/07/2017 às 14:41
  • Depende. Se você tentar usar a variável dá erro, senão é só um aviso (de variável não utilizada). Commented 4/07/2017 às 14:42
  • 1
    @Renan o aviso de "variável não utilizada" acontece independentemente ser local ou campo.
    – ramaral
    Commented 4/07/2017 às 14:52

1 Resposta 1

13

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.

2
  • 1
    Concordo consigo. Resumindo, a discussão(imagino) terá sido assim: Não inicializou e usou -> quase de certeza é engano -> então vamos "dar erro" -> Ops! mas como detectar isso no caso de campos? -> Não é fácil, não, no entanto no caso de locais é simples -> OK, façamos apenas no caso de locais. Depois foram para casa convencidos de que fizeram um bom trabalho(não estou a julgar).
    – ramaral
    Commented 4/07/2017 às 15:03
  • @ramaral exatamente isto.
    – Maniero
    Commented 4/07/2017 às 15:27

Você deve fazer log-in para responder a esta pergunta.

Esta não é a resposta que você está procurando? Pesquise outras perguntas com a tag .