Este é o operador conditional access ou null propagation ou safe navigation. Ainda não escolhi qual usar :) Mas acho que o segundo é melhor.
Como era tão frequente a verificação se um objeto é nulo antes de fazer alguma operação (como mostrado no primeiro exemplo), era um padrão de projeto tão utilizado, seria útil que a linguagem tivesse uma facilidade para isto.
Note que o acesso a qualquer membro do objeto pode ser "protegido" com este operador. Métodos também podem ser chamados. Obviamente a chamada só ocorrerá se o objeto não for nulo.
O resultado de uma expressão objeto ?. membro
será null
, caso o objeto
seja null
. E como as expressões podem ser encadeadas, o primeiro null
que ele encontrar todas as outras sub-expressões encontradas a seguir valerão null
também. Ele nem vai tentar avaliar o resto, o resultado final será null
. E isto é importante, ela é uma operação de curto-circuito, ou seja, nem tenta executar o resto quando não há mais o que fazer.
Os dois códigos apresentados na pergunta não são exatamente equivalentes. Neste caso até será, por coincidência, por se tratar de um caso específico raramente usado onde se quer como resultado default um null
. Neste caso a inicialização da string location
é um null
em qualquer situação. Mas pense que se ela tivesse sido inicializada com ""
, ou seja, se fosse uma string vazia, seria diferente.
No primeiro ao final da operação se vendor
for nulo, o conteúdo de location
não será alterado, ou seja, ele valerá ""
. No segundo código ele valerá null
, afinal o resultado de uma operação com um objeto null
é null
.
Vamos ver mais sobre o operador
Este código provocará uma exceção na última linha por tentar acessar um objeto nulo:
string texto = null;
string parte = "";
parte = texto?.Substring(0, 1);
WriteLine($"{parte.Length}");
Obviamente poderíamos ter usado o operador ?.
antes do Length
e evitar a exceção.
Se adicionar esta linha:
int tamanho = parte.Length;
Gera uma exceção porque não dá para pegar o tamanho de um objeto nulo. Certo? Então vamos fazer isto:
int tamanho = parte?.Length;
Resolve?
Nem compila. Afinal agora a expressão possivelmente resulta um nulo. Um int
não pode ser nulo. Então teríamos que fazer isto:
int? tamanho = parte?.Length;
Um inteiro anulável pode conter todos os resultados possíveis desta expressão, inclusive o valor null
.
Só que neste caso está usando um tipo diferente do que normalmente se usa só para resolver um problema que não existia. Aí é melhor fazer do jeito antigo:
int tamanho = parte != null ? parte.Length : 0;
ou mesclando o antigo com o novo:
int tamanho = parte?.Length ?? 0;
Note que o mesmo operador pode ter sintaxe diferente em outro contexto:
Cliente cliente = clientes?[0]; //isto também é o operador de propagação de nulo
Outro exemplo de simplificação é na verificação se um objeto possui um membro:
(objeto as IExemplo)?.Exemplo();
Se o objeto
não implementa esta interface IExemplo
, o resultado da operação será nulo, portanto o método Exemplo()
não será chamado e não provocará erro.
Em tese ajudaria programadores serem mais cuidadosos com código. Tem muito código por aí que não dá erro de null reference por coincidência. Um dia, cai na situação que o objeto é nulo e a aplicação quebra sem o incauto se dar conta. Embora não sei se vai ajudar muito porque tem muito programador que desconhece as "novidades" do C# 3, e alguns até mesmo do C# 2. E obviamente nem conhece tudo o que já existia no C# 1. Também vai acontecer da pessoa achar que isto resolve tudo, que deve usar em todo lugar, sem pensar. O operador de acesso ao membro .
ou []
ainda deve ser o operador padrão de acesso.
Thread-safe
O seu uso pode ser mais thread-safe em alguns casos por usar uma variável temporária para armazenar o resultado da expressão. Exemplo de ganho:
//necessário para ser thread-safe
EventHandler<decimal> precoOnChanged = OnPrecoChanged;
if (precoOnChanged != null) {
preco = value;
precoOnChanged (this, value);
}
Se transforma em:
preco = value;
OnPrecoChanged?.Invoke(this, value) //Invoke é usado p/ resolver ambiguidade c/ delegate
Evite que o nulo aconteça
Um recurso do .NET 4 que as pessoas ignoram é o uso de contratos (ele tem sido abandonado ultimamente). Com ele é possível nem precisar disto e evitar verificações contra nulo em tempo de execução, detectando em tempo de desenvolvimento:
public int ProcuraTeste(string texto) { //não compila se texto for null
Contract.Requires(texto != null); //isto pode ser eliminado do runtime
return texto.IndexOf("teste");
}
Coloquei no GitHub para referência futura.
Claro que isto não é solução para tudo. Há casos que só dá para saber em tempo de execução, ou seja, o nulo é algo esperado como um valor válido. Há muita confusão sobre o que é um nulo. Se ele fosse inválido, o sistema de tipos, o compilador ou análise estática deveriam detectar e impedir isto.
Simplificando sem este operador
Como informação adicional, no C# 5 dá para simplificar um pouco o código:
if (vendor != null && vendor.ContactPerson != null && vendor.ContactPerson.HomeAddress != null)
location = vendor.ContactPerson.HomeAddress.LineOne;