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. Isto é um problema no C# 8 porque ele passou a não reconhecer como anuláveis os tipos por referência como era antes (aidna é possível configurar isto por projeto, arquivo ou trecho de código), então usar o default
não é adequado porque ele gerará um nulo que não pode ser usado para este tipo. Não dará erro, mas produzirá um warning, então o que ocorrerá aí depende da versão do C# e de como o trecho esteja configurado, ou se o tipo for declarado explicitamente como anulável (Carro?
por exemplo).
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. O ideal é que tenha um construtor que produza um objeto válido e não use o default
onde não precisa.
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).