最近我发现，以下代码在 VS2017 中按预期编译和工作。但我找不到任何关于此的主题/文档。所以我很好奇使用这种语法是否合法：
class Program
{
static void Main(string[] args)
{
var o = new object();
Console.WriteLine(o is null);
o = null;
Console.WriteLine(o is null);
Console.ReadLine();
}
}
顺便说一句，这在 VS2015 中不起作用
【问题讨论】：
是的，写o is null是有效的，但这不等于o == null强>。 代码
static bool TestEquality(object value) => value == null;
编译成以下 IL 指令。
IL_0000: ldarg.0
IL_0001: ldnull
IL_0002: ceq
IL_0004: ret
模式匹配用例编译如下：
static bool TestPatternMatching(object value) => value is null;
IL_0000: ldnull
IL_0001: ldarg.0
IL_0002: call bool [System.Runtime]System.Object::Equals(object, object)
IL_0007: ret
所以，模式匹配 o is null 等价于
Object.Equals(value, null);
因此，在大多数情况下，o 为 null 和 o == null 的行为方式相同。除了相等变体要快一点。 但是！如果我们将 object 替换为以下类，事情将会发生巨大变化。
class TestObject
{
public static bool operator ==(TestObject lhs, TestObject rhs) => false;
public static bool operator !=(TestObject lhs, TestObject rhs) => false;
}
和方法
static bool TestEquality(TestObject value) => value == null;
static bool TestPatternMatching(TestObject value) => value is null;
模式匹配将保持不变，但相等变体将使用以下 IL
IL_0000: ldarg.0
IL_0001: ldnull
IL_0002: call bool PatternMatchingTest.TestObject::op_Equality(class PatternMatchingTest.TestObject, class PatternMatchingTest.TestObject)
IL_0007: ret
在这里我们可以看到，== 运算符按预期使用 TestObject 的重载。但是 o is null 和 o==null 会给出不同的结果。所以要小心使用模式匹配 is 操作符。
【讨论】：
是的，它完全有效。这使用了 C# 7 的 模式匹配 功能，该功能可用于 is 表达式和 switch/case 语句。 （它需要 C# 7 的事实是它在 VS2015 中不适合您的原因。）例如：
// Type check, with declaration of new variable
if (o is int i)
{
Console.WriteLine(i * 10);
}
// Simple equality check
if (o is 5) {}
像后者这样的平等检查——尤其是null——对于is模式匹配不太有用，但对开关/大小写更有用：
switch (o)
{
case int i when i > 100000:
Console.WriteLine("Large integer");
break;
case null:
Console.WriteLine("Null value");
break;
case string _:
Console.WriteLine("It was a string");
break;
default:
Console.WriteLine("Not really sure");
break;
}
有关 C# 7 功能的更多详细信息，请参阅MSDN blog post by Mads Torgersen。
【讨论】：