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 (começa no dia 1 do mês 1 e ano 1).
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 (ainda é 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).
Todo programador de primeira classe que warning é erro em qualquer código que não seja um protótipo.
Então o default
não deve ser abusado, geralmente o valor padrão é óbvio e é raro você querer explicitamente o valor padrão, pelo menos quando sabe o tipo. Em tipos por referência geralmente você não quer o valor padrão que é nulo, isto induz a erro e é melhor inicializar o objeto com seu construtor.
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 isto não sabe qual é o valor padrão dele. Isto ocorre em programação genérica (eventualmente com reflexão também). O abuso dele leva a consequências não previstas ou erradas, como parece ser o caso deste código, ainda que o problema maior é a falta de construtor e/ou inicialização dos seus membros.
Veja este código (que só exemplifica o uso, não é bom fazer nada disto):
using static System.Console;
#nullable enable //o .NET Fiddle não liga o anulável por padrão
public class Program {
public static void Main() {
Carro carro = default;
WriteLine(carro.Marca);
Carro? carro2 = default;
WriteLine(carro2.Marca);
Carro carro3 = new Carro();
WriteLine(carro3.Marca);
}
}
public class Carro {
public string Marca;
public string Modelo = "";
public string? Tipo;
}
Veja funcionando no .NET Fiddle. Também coloquei no GitHub para referência futura. Ainda outros locais não possuem C# 8.
Note os warnings, eles deveriam ser resolvidos, isto é programação moderna, e vai te beneficiar
Eu entendo os motivos de terem feito assim, mas foi um erro terem escolhido essa semântica para tipos por referência. O ideal é que fosse chamado o construtor padrão quando usa o default
, a não ser para tipos anuláveis.