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][1] provavelmente ele foi conceituado de forma equivocada. [1]: https://pt.stackoverflow.com/q/73530/101