var / nullの奇妙な動作で切り替える

Question 1

次のコードがあるとします：

string someString = null;
switch (someString)
{
    case string s:
        Console.WriteLine("string s");
        break;
    case var o:
        Console.WriteLine("var o");
        break;
    default:
        Console.WriteLine("default");
        break;
}

switchステートメントが一致するのはなぜcase var oですか？

（事実上）falseと評価されるため、case string s一致しないのは私の理解です。VS CodeのIntelliSense は、それも同様であると教えてくれます。何かご意見は？s == null(null as string) != nullostring

似ている：nullチェック付きのC＃7スイッチケース

Question 2

明示的な型にfor switchを使用するパターンマッチングステートメントの内部ではcase、問題の値がその特定の型か派生型かを尋ねています。これは次とまったく同じですis

switch (someString) {
  case string s:
}
if (someString is string)

値にnullはタイプがないため、上記のいずれの条件も満たしていません。someStringどちらの例でも、静的型は機能しません。

varパターンマッチングのタイプはワイルドカードとして機能し、を含むすべての値に一致しますnull。

defaultここでのケースはデッドコードです。case var o任意の値、nullまたはnull以外と一致します。デフォルト以外のケースは常にデフォルトのケースよりも優先defaultされるため、ヒットすることはありません。ILを見ると、放出されていないことがわかります。

一見すると、これが警告なしにコンパイルされるのは奇妙に思えるかもしれません（間違いなく私を追い出しました）。しかし、これは1.0に戻るC＃の動作と一致しています。コンパイラdefaultは、ヒットしないことを自明に証明できる場合でも、ケースを許可します。例として以下を考えてみましょう：

bool b = ...;
switch (b) {
  case true: ...
  case false: ...
  default: ...
}

ここdefaultでヒットすることはありません（bool値が1でも0 でもない場合でも）。しかし、C＃は警告なしにこれを1.0以降許可しています。ここでは、パターンマッチングがこの動作と一致しています。

Question 3

私は複数のTwitterコメントをここにまとめています-これは実際に私にとって新しいものであり、jaredparがより包括的な答えでジャンプすることを望んでいます。私が理解している短いバージョン：

case string s:

if(someString is string) { s = (string)someString; ...またはとして解釈されif((s = (someString as string)) != null) { ... }ます-どちらもnullテストを含みます-あなたのケースでは失敗します; 逆に：

case var o:

コンパイラーは単純にそのまま解決oします。表面上は似ているという事実にもかかわらず、コンパイラーが型を提供するだけで、テストはありません。stringo = (string)someString; ...null

最後に：

default:

上記のケースはすべてをキャッチするため、ここには到達できません。これは、到達不能コード警告を発しなかったという点で、コンパイラーのバグである可能性があります。

これは非常に微妙でニュアンスがあり、紛らわしいことに同意します。しかし、明らかにcase var oシナリオにはnull伝播（o?.Length ?? 0など）の使用があります。これがとの間で非常に異なる動作をするのは奇妙であることに同意しますが、これはコンパイラが現在行っていることです。var ostring s

Question 4

これは、静的（コンパイル時）タイプではなく、動的（ランタイム）タイプにcase <Type>一致するためです。動的タイプがないため、と照合できません。ただのフォールバックです。nullstringvar

（短い回答が好きなので投稿します。）