Resolvi responder atrasado porque achei problemas nas outras respostas. E também porque as novidades da linguagem e meus novos conhecimentos me fizeram refletir sobre o assunto. Não vou repetir o já falado que está correto e bem explicado.
Erros
O primeiro ponto é o uso errado do termo atributo quando na verdade deveria ser campo.
Algumas respostas dizem que o construtor coloca o valor padrão do tipos nos campos e isso não é uma verdade absoluta, acontece apenas em alguns casos. Explico abaixo.
Métodos não possuem campos (ou atributos como chamaram), possuem variáveis locais, e é outro assunto, construtores não interferem com isso.
struct
permite definir um construtor padrão, pelo menos em versões mais novas de C#.
O que é o construtor
Para começar entender leia Para que serve um construtor?.
Então o construtor, no fundo, é um inicializador. O que chamamos de construtor é só uma função que atribui valores para os campos definidos no tipo.
Aí precisamos entender outro ponto. Códigos só podem ser executados quando estão dentro de funções (mesmo em sintaxe moderna que permite fora, na verdade é só um syntax sugar que colocará o código dentro de uma durante a compilação). O problema é que a inicialização de campos nas classes são códigos a serem executados. Toda atribuição é um código a ser executado, não importa onde ele está. Então esses códigos de inicialização precisam ser movidos para uma função que fará todas as inicializações dentro dela.
Percebeu que os valores não precisam ser o padrão? Se o campo não tem um valor a ser inicializado explicitamente aí sim o compilador assumirá o valor default dele, mas ainda precisará inicializar.
Em C# não é possível um campo ser usado sem inicialização. No .NET é possível porque aceita outras linguagens, algumas que permitem acessar o que estiver na memória, o que chamamos de lixo de memória.
Por baixo dos panos
Se o programador não prover um construtor padrão (sem parâmetros) o compilador cria um para você, desde que outro construtor não tenha sido criado, aí o compilador não cria um novo padrão.
Essa função inicializadora que chamamos de construtor em suas várias sobrecargas com quaisquer parâmetros, até mesmo sem, sempre atribui valor para todos os campos em qualquer circunstância (com exceção se o tipo não tiver estado (campos)). O programador pode personalizar o construtor atribuindo valores para alguns campos e fazendo outras operações, e os campos que ele não o fizer explicitamente, será feito pelo compilador, conforme os critérios já descritos.
Novas formas
Começando em C# 10 e melhorando nas versões seguintes a linguagem deu um passo para não precisar tanto de construtores facilitando a inicialização direta nas propriedades, forçando a inicialização na construção do objeto, ou seja, se você não tiver que inicializar em certa ordem e nem fazer outros operações dependentes, o construtor não é mais necessário.
Mas como já sabemos, o construtor ainda será criado para preencher campos que não sejam obrigados a inicializar.
Pode ver mais em O que são estruturas de Registro no C#?.
Respondendo a pergunta principal
Declarar explicitamente o construtor vazio é desnecessário pelo que constatamos aqui, até porque ele será criado implicitamente se nenhum outro construtor for criado. Se o fizer nada atrapalha, ele será preenchido com as atribuições de todos os campos, conforme já explicado. Ele precisa ser declarado explicitamente se precisa chamá-lo em algum lugar desta forma e tem outra sobrecarga impedindo que o compilador crie um para você. E este parece ser o caso na pergunta.
Como o programa faz essa associação que construtor vazio quer dizer setar todos os atributos para valores padrão?
Justamente porque todos eles precisam ser setados e o vazio não fazendo nada só fará todas as atribuições e mais nada.
O compilador escreve um código para você, como se você tivesse escrito.
Já falaram sobre diminuição da visibilidade e isso pode ser importante, ainda que a pergunta não demonstre interesse nisso, não vou entrar neste ponto.
Seu código
Me parece inadequado esse construtor vazio no código da pergunta. Porque no momento que o chama e não tem inicialização nas propriedades, nem mesmo permite a inicialização com init
ou obrigar com required
, até porque na época da pergunta não existiam, os seus respectivos campos não podem ficar sem inicialização e serão inicializados com seu construtor vazio com o valor padrão.
Acontece que o valor padrão é inútil e até deixa o objeto em um estado que pode ser considerado inválido.
Ainda falta real contexto, mas provavelmente o construtor resolveu um problema e causou outro. Eu acho que ele deveria ser excluído e só com dados válidos deveria poder criar um objeto Pessoa
.
Tentando analisar mais especificamente, se o campo Nome
pode ser nulo e o objeto ainda ser considerado válido, por que o DataNascimento
também não pode? Não faz sentido um inicializar como nulo e o outro com a primeira data existente no nosso sistema. Se o campo DataNascimento
está certo em ter uma data sem sentido real, mas inicializada, então o Nome
provavelmente deveria fazer o mesmo, e deveria constar uma string vazia e não um nulo.
Portanto o construtor vazio não parece fazer sentido. Ele está fazendo justamente o que um construtor não deveria fazer que é deixar o objeto ser construído em estado inválido.
Se for para fazer de forma inválida eu faria, em versões antigas:
public class Pessoa {
public string Nome { get; set; } = "";
public DateTime DataNascimento { get; set; }
public Pessoa() {}
public Pessoa(string nome, DateTime dtNasc) {
Nome = nome;
DataNascimento = dtNasc;
}
}
Mas eu ligaria a verificação de nulo de C# 8. Se isto não for possível eu verificaria se nome
é nulo e não atribuir isso neste caso, caso contrário o código continuaria funcionando no caminho feliz, mas errado em outras circunstâncias.
O mesmo pode ser obtido assim:
public class Pessoa {
public string Nome { get; set; };
public DateTime DataNascimento { get; set; }
public Pessoa() => Nome = "";
public Pessoa(string nome, DateTime dtNasc) {
Nome = nome;
DataNascimento = dtNasc;
}
}
Se puder fazer algo moderno e mais correto:
public class Pessoa {
public string Nome { get; required; };
public DateTime DataNascimento { get; required; }
}
Ou se realmente quiser que o dado possa ser opcional e inicialize com valor padrão:
public class Pessoa {
public string Nome { get; init; };
public DateTime DataNascimento { get; init; }
}
Assim, não precisa do construtor e não permite dados inválidos:
Pessoa pessoa = PessoaController.Obter(id) ?? new() { Nome = "João", DataNascimento = DateTime(2000, 10, 10) };
Continuando, algumas coisas que eu modificaria, mesmo não sabendo seu real contexto (lembrando que vejo vários problemas de confiabilidade, de vazamento de abstração e outros nesse código):
public class Faculdade {
public Pessoa Mantenedor { get; set; } = new Pessoa();
public List<Aluno> Alunos { get; set;} = new List<Aluno>();
public List<Disciplina> Disciplinas { get; set; } = new List<Disciplina>();
}
Só para deixar do jeito ruim, mas sem o construtor, o que dá na mesma:
public class Aluno {
public string Nome { get; set; }
public int RM { get; set; }
public bool Sexo { get; set; }
}
Coloquei no GitHub para referência futura.
var entity = db.Entidade.SingleOrDefault(x => x.Id == id) ?? new Entidade();
. Depois dessa linha é certo queentity
não é nulo.public Pessoa Mantenedor { get; set; } = new Pessoa();
E com o novo recurso Primary Constructor, fica mais fácil ainda inicializar toda uma classe.