Em C# eu posso verificar se object? foo
é nulo com:
foo == null
E também
foo is null
Ambos são verdadeiros se foo
é nulo.
Existe alguma diferença semântica entre cada um?
Em um primeiro momento não tem diferença alguma e assim deveria ocorrer sempre em condições normais. Ambos dão o mesmo resultado, e a forma de executar é a mesma, não tem diferença de performance, gera o mesmo CIL.
A não ser que o operador ==
seja descrito no objeto que está sendo comparado. Aí a implementação desse operador passa valer e pode não só ter um com promisso diferente de execução, mas pode até dar um resultado diferente.
Deveria dar? Em hipótese alguma, mas pode. Não há impedimento técnico.
O is
não pode ser sobrecarregado e a execução é sempre a mesma em qualquer situação, o ==
pode ser sobrecarregado.
Em versão antiga do compilador, provavelmente por bug, até tinha uma diferença de execução, apesar de dar o mesmo resultado, mas isso foi resolvido em versões posteriores e geram o mesmo código.
using System;
public class C {
bool M1(object x) => x is null;
bool M2(object x) => x == null;
}
Veja no ShapLab como o código fica igual.
E com o uso de overload:
using System;
public class C {
bool M1(C x) => x is null;
bool M2(C x) => x == null;
int x;
public C(int x){this.x=x;}
public static bool operator== (C o1, C o2) => o1.x == o2.x;
public static bool operator!= (C o1, C o2)=> o1.x != o2.x;
public override bool Equals(object o2) => ((C)o2).x == x;
public override int GetHashCode() => x.GetHashCode();
}
Veja no ShapLab como o código fica diferente, e ele chama o método em vez de usar a instrução simples.
Lá também vemos que tem diferença quando usa generics.
bool IsNull<T>(T item) => item is null; // Compile error: CS0403
bool IsNull<T>(T item) => item == null;
bool IsNull<T>(T item) where T : class => item is null;
Coloquei no GitHub para referência futura.
O is
só funciona com classes, o ==
funciona com qualquer tipo. De qualquer forma deveria dar o mesmo resultado e se você não fizer estrepolia na sua classe dará.
Finalmente, há uma diferença de no desenvolvimento já que o is
pega o erro em compilação para tipos não anuláveis, já que eles nunca podem ser nulos. O ==
não consegue fazer isso e terá que executar para dar o resultado, que certamente será false
se não fez as tais estrepolias, então ele é menos eficiente e menos seguro.
item
nunca será null
se T
for uma estrutura, correto? Além disso, se sobrecarregar o operador ==
, ainda consigo usar o is
no mesmo objeto?
Commented
13/02/2023 às 17:56
is
é para verificar se um objeto é do mesmo tipo de outro objeto. Acho que ele seria o equivalente doinstanceof
do JavaScript.