nullを指定するとis演算子がfalseを返すのはなぜですか？

ように私には思えるisオペレータはビット矛盾しています。

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

null値が任意の参照（またはnull許容）型に属していることを期待します。そして実際、C＃言語仕様はこの仮説をサポートするものを示しています。例えば（6.1.6暗黙的な参照変換）：

暗黙的な参照変換は次のとおり
です。...
•nullリテラルから任意の参照型へ。

演算子の説明（7.10.10 is演算子）は、からへの参照変換が存在する場合is、式(E is T)はtrueになると言いますが、作成者は、がリテラルまたは値を持つ場合を明示的に除外して続行します。ETEnullnull

なぜ彼らはそれをするのですか？私には直観に反するようです。

この質問は、2013年5月30日の私のブログの主題でした。すばらしい質問をありがとう！

空の私道を見つめています。

「あなたの私道はホンダシビックを保持できますか？」

はい。はい、できます。

誰かがあなたを2番目の私道に向けます。また、それは空です。彼らは「私の私道の現在の内容があなたの私道に収まるか？」と尋ねます。

はい、明らかに。両方の私道は空です！そもそもどちらのコンテンツもないため、一方のコンテンツがもう一方のコンテンツに収まることは明らかです。

「あなたの私道にはホンダシビックが含まれていますか？」

いいえ、違います。

あなたはそれを考えています is演算子が2番目の質問に答えるこの値が与えられた場合、その型の変数に適合しますか？ null参照はこの型の変数に適合しますか？はい、そうです。

それはisオペレーターが答える質問ではありません。疑問isオペレータが回答は3番目の質問です。y is X「聞いていないですy型の変数の有効な値X？」それは尋ねる「ですy型のオブジェクトへの有効な参照X？」はnull参照をへの有効な参照ではありませんので、任意ののオブジェクトの任意のタイプ、答えはノー」であります」その私道は空です。ホンダシビックは含まれていません。

それを見る別の方法は y is X「私が言った場合y as X、null以外の結果が得られますか？」という質問に答えることです。yがnullの場合、明らかに答えはノーです！

あなたの質問をもう少し深く見るには：

null値は任意の参照（またはnull可能）型に属していると予想されます

型は値のセットであり、値yと型Xの変数との代入互換性はそれ以下ではないと暗黙のうちに想定されます。 yがセットxのメンバーであるかどうかをチェックするされます。

これは型を見る非常に一般的な方法ですが、それだけが型を見る方法ではなく、C＃が型を見る方法でもありません。null参照はC＃では型のないメンバーです。割り当ての互換性はありません、セットに値が含まれているかどうかを確認するだけで。null参照が参照型Xの変数と代入互換性があるからといって、nullが型Xのメンバーであることを意味するわけではありません。「is代入互換性」関係と「is of member of type」関係には明らかに多くのオーバーラップしますが、CLRでは同じではありません。

型理論についての考察があなたに興味があるなら、この件に関する私の最近の記事をチェックしてください：

これを「タイプ」と呼ぶのは何ですか？パート1

これを「タイプ」と呼ぶのは何ですか？パート2

null is stringfalseを返すのは非常に直感的だと思います。nullは何も意味せず、文字列ではありません。したがって、falseを返す必要があります。これは言語デザイナーが行った選択ですが、nullの実際の意味を考えると非常に直感的なものです。

nullリテラルは、に割り当てることができる任意の参照型。それ自体のタイプではありません。これは、null参照を表す特別なリテラルです。

場合にはis戻ってくるtrueときnullに渡される、あなたが行うことができる何でしょうnullリテラル？何も-それはありませんnull。true混乱する問題を除いて、それが戻る点は何でしょうか？

とにかく-それがどれほど直感的であるかという点で、英語でコードを読んで教えてください：

null is string;

それを見ると、質問をしているようis "nothing" a string?です。私の直感は、いいえ、そうではないことを教えてくれます-それはそうnothingです。

http://msdn.microsoft.com/en-us/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した後、「を持っている」ことはありません -それでも何も得られません。したがって、「is」はそうではないため、falseを返します。T TnullTis

Javaには、まったく同じことを行う演算子がありますが、はるかに長い名前がありますinstanceof。null instanceof Stringnullは何のインスタンスでもないため、false を返すことは非常に直感的Stringです。したがって、使用するときnull Javaのバージョンすると、より直感的になります。

ただし、これらの演算子はどちらも、階層全体を調べるように要求された場合にtrueを返します。例えば。インスタンスがあればStringですObject。そして、ここでは、とC＃（インスタンスは実際には1つ、非常に特定のタイプを持っているので） 'Sさんは、あまり直感的なビットというJavaのだis、すべてがあるため（より直感的ですString Object奥）。

結論：かなり高度なロジックを1つの単語で表現しようとすると、混乱する人が少なくなります。ほとんどの人が1つの意味で同意し、同意しない人は調整しなければならなかったようです。