Estou familiarizado com a especificação C #, seção 5.3, que indica que uma variável deve ser atribuída antes do us

Em C e C ++ não gerenciado, isso faz sentido, pois a pilha não é limpa e o local da memória usado para um ponteiro pode estar em qualquer lugar (levando a erros difíceis de rastrear

Mas tenho a impressão de que não há valores verdadeiramente "não atribuídos" permitidos pelo tempo de execução. Em particular, um tipo de referência que não é inicializado sempre terá um valor nulo, nunca o valor que resta de uma invocação anterior do método ou valor aleatóri

Isso está correto ou estive assumindo por engano que uma verificação de nulo é suficiente todos esses anos? Você pode ter variáveis totalmente não inicializadas em C # ou o CLR cuida disso e sempre há ALGUM valor definid