为什么在给定null时is运算符会返回false？

在我看来，is操作员有点不一致。

bool Test()
{
    // Returns false, but should return true.
    return null is string;
}

人们期望该null值属于任何引用（或可为空）类型。确实，C＃语言规范说了一些支持此假设的内容，例如（6.1.6隐式引用转换）：

隐式引用转换为：
...
•从null文字到任何引用类型。

对运算符的描述（7.10.10是is运算符）is首先说，(E is T)当存在从Eto 的引用转换时，表达式将为true T，但随后作者继续明确排除when E是null文字或具有null值的情况。 。

他们为什么这样做？在我看来，这违反直觉。

这个问题是我2013年5月30日的博客主题。感谢您提出的好问题！

您盯着空车道。

有人问你“你的车道可以装一辆本田思域吗？”

是。是的，它可以。

有人将您指向第二条车道。它也是空的。他们问：“我的车道当前内容是否适合您的车道？”

是的，显然。两个车道都是空的！显然，其中一个的内容可以适合另一个，因为其中任何一个都不存在。

有人问您“您的车道上有本田思域吗？”

不，不是的。

您以为is操作员会回答第二个问题：给定该值，它是否适合该类型的变量？ 空引用是否适合此类型的变量？是的，它确实。

那不是is操作员回答的问题。该问题is话务员应答是第三个问题。y is X不问“ 是y类型的变量的法律价值X？ ”它要求“ 是y对类型的对象的有效引用X？ ”由于空引用是不是一个有效的参考任何对象的任何类型，答案是“否”。那条车道是空的。它不包含本田思域。

另一种看待y is X问题的方法是回答问题“如果我说y as X，我会得到非空结果吗？如果y为null，显然答案是否定的！

要更深入地研究您的问题：

人们期望null值属于任何引用（或可为null）类型

会隐式地假设类型是一组值，并且值y与类型X的变量的分配兼容性只不过是检查y是否是集合x的成员而已。

尽管这是查看类型的一种非常常见的方式，但这不是查看类型的唯一方法，也不是C＃查看类型的方法。空引用是C＃中无类型的成员；分配兼容性是不是只检查一组，看它是否包含一个值。仅仅是因为空引用是与引用类型X的变量兼容的赋值，并不意味着空是类型X的成员。“与...兼容的分配关系”和“是类型的成员”关系显然具有很多重叠，但是在CLR中它们并不相同。

如果您对类型理论的困惑感兴趣，请查看我最近关于该主题的文章：

您称之为“类型”的东西是什么？第一部分

您称之为“类型”的东西是什么？第二部分

我认为null is string返回false是非常直观的。Null毫无意义，而且绝对不是字符串。因此它应该返回false。尽管这是语言设计师做出的选择，但考虑到null的真实含义，这是一种非常直观的选择。

的null文字可以被分配给任何引用类型。它本身不是一种类型。这是一个特殊的文字，表示空引用。

如果在传入a时is返回，那么您将如何处理原义？没事-是的。除了令人困惑的事情，它返回的意义是什么？truenullnullnulltrue

无论如何-就其直观程度而言，请阅读英语代码并告诉我：

null is string;

当我看到那句话时，似乎在问一个问题is "nothing" a string?。我的直觉告诉我，不，不是-是nothing。

http://msdn.microsoft.com/zh-CN/library/scekt9xw%28v=vs.71%29.aspx

如果同时满足以下两个条件，则is表达式的计算结果为true：

• 表达式不为null。
• 表达式可以强制转换为类型。也就是说，形式（类型（表达式））的转换表达式将完成而不会引发异常，有关更多信息，请参见7.6.6转换表达式。

实际上，拥有“ null is T == false”可以省去我键入额外代码的麻烦：

不必说

if (X != null && X is Foo) {}

我可以说

if (X is Foo) {}

并完成它。

该null值

我从您的问题中引用了此内容，因为它似乎已成为问题的核心。null 不是价值-缺少价值。is对我来说，目的似乎是要回答这个问题：

如果我投E来T，将我顺利拿到T？

现在，当你可以施放null到T 没有错误，这样做后，这样你就不会 “有T” -你仍然一无所获。因此，不是null“ is”是a T，因此is返回false。

在Java中有一个运营商所做的正是同样的事情，但它有更长的名字：instanceof。这很直观，它null instanceof String返回false，因为null不是任何实例，更不用说a了String。因此，使用nullJava版本时会更加直观。

但是，当要求他们查看整个层次结构时，这两个运算符都返回true。例如。如果的实例String为Object。在这里，它是Java中的不太直观（因为一个实例实际上有一个非常特殊类型）和C＃的is是更直观的（因为每一个String 是一个Object内心深处）。

底线：如果您试图用一个词来描述相当高级的逻辑，那么注定很少有人会这样或那样困惑。似乎大多数人都同意一种意思，而那些不同意的人不得不调整。