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][1] 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).


  [1]: https://pt.stackoverflow.com/q/73530/101