Neste caso específico é um açúcar sintático para indicar um tipo anulável. Isto quer dizer que seu DateTime
que normalmente não aceitaria um valor nulo, poderá aceitar.
Isto é especialmente útil para uso com campos de banco de dados que costumam aceitar nulos. Mas pode ser usado para qualquer coisa.
Note que no tipo por valor normalmente o default dele é algo que representa um zero (seja lá que valor seja adequado para representar isto), em geral representado pela constante MinValue
. Quando o tipo passar ser anulável, o default dele é o mesmo dos tipos por referência, então passa ser um null
.
Só é interessante ter este recurso na linguagem para os tipos por valor. Os tipos por referência aceitam nulos por padrão.
O tipo anulável é uma estrutura simples com basicamente dois membros. Um é o valor e obviamente é do tipo principal e o outro é um indicador booliano se é nulo ou não. Obviamente se ele for nulo, o valor não estará disponível. Isto é necessário porque nenhum valor de um tipo por valor é inválido, é preciso de um indicado auxiliar. Obviamente há um pequeno overhead de memória.
A semântica permanece a do tipo por valor, mas algumas pequenas discrepâncias podem ser observadas em algumas situações bem específicas.
Todo tipo por valor pode ser implicitamente convertido para o seu equivalente anulável (note que os tipos são diferentes). O oposto não é verdadeiro
Se tiver interesse em entender seu funcionamento, tem o fonte da classe Nullable
.
No seu exemplo é sem o açúcar sintático ficaria assim:
public Nullable<DateTime> BirthDate { get; set; }
Veja funcionando no ideone. E no .NET Fiddle. Também coloquei no GitHub para referência futura.
DateTime dt = DateTime.Now;
DateTime? dtn = null;
WriteLine(dt);
WriteLine(dtn);
dtn = dt;
WriteLine(dtn);
dt = dtn ?? default(DateTime); //daria erro de compilação se não fizesse esta verificação
WriteLine(dtn);
dt = dtn.GetValueOrDefault(); //também pode usar isto que faz a verificação internamente
WriteLine(dtn);
if (dtn != null) {
WriteLine("tem valor");
}
if (dtn.HasValue) { //dá o mesmo resultado e seu uso é dispensável
WriteLine("tem valor");
}
Note que o uso direto das propriedades HasValue
e Value
não é necessário e normalmente não recomendado. Estas propriedades estão disponíveis para o compilador e outras ferramentas manipularem o tipo de forma adequada. Seu uso em código "normal" deve ser raro e deve ter uma justificativa. A ideia é que o tipo seja usado como se o nulo fosse nativo dele. Usá-las faria o uso do tipo anulável menos transparente e diminuiria a capacidade de açúcar sintático do recurso.
Relacionado: Qual o significado do operador "??" e O que é o operador "?."?