Como o próprio nome diz é atribuído um valor padrão daquele tipo para a variável. Isto pode variar mas em geral é um valor equivalente a um zero, uma inicialização simples.
Em tipos por valor seria o valor mínimo, que costuma ser o 0, mas nem sempre, um DateTime
por exemplo não é bem um 0 porque este número nem existe neste tipo.
Tipos por referência costumavam ser o seu padrão como um null
porque este é o endereço 0 e indica que não tem um objeto ali. Mas isto mudou no C# 8. Se você ligar que quer trabalhar com tipos nulos por padrão (e não deveria fazer isto) ou se disser que um tipo deve ser nulo (tipo?
) então o nulo é o valor padrão, caso contrário o padrão será construído de acordo com o que foi especificado no tipo. Nem poderia ser diferente, afinal se o tipo não aceita nulo o valor padrão não pode ser nulo.
Então não é uma ideia universal que seu código receberá o valor null
na variável carro
. Pode ser se estiver usando C# anterior ao 8, ou se o projeto, ou arquivo, ou trecho de código estiver configurado para adotar tipo por referência anulável por padrão naquele ponto ou se o tipo for declarado explicitamente como anulável. Se isto não for satisfeito o valor a ser adotado na variável carro
depende da definição do tipo.
Se o tipo não tiver um construto adequado isto pode se tornar um problema nestes casos. E se um tipo não tem um construtor provavelmente ele foi conceituado de forma equivocada. Parece ser o caso deste tipo Carro
, partindo do princípio que Carro
é um tipo por referência.
Na verdade o default
existe principalmente para os casos onde você não conhece o tipo de antemão e por iso não sabe qual é o valor padrão dele. Isto ocorre em programação genérica (eventualmente com reflexão também).