Null 許容の有効なコンテキストの場合、コンパイラによってコードの静的分析が実行され、すべての参照型変数の "null 状態" が判断されます。 "null 以外": 静的分析によって、変数の値が null 以外であることが判断されます。 "null の可能性あり": 静的分析では、変数に null 以外の値が割り当てられていることを判断できません。 これらの状態を使用すると、null 値を参照する可能性がある場合にコンパイラから警告が生成され、System.NullReferenceException がスローされます。 これらの属性により、引数と戻り値の状態に基づいて、引数、戻り値、オブジェクト メンバーの "null 状態" に関するセマンティック情報がコンパイラに提供されます。 API にこのセマンティック情報の注釈が適切に付けられていると、コンパイラからより正確な警告が生成され