Null 許容参照型 (C# リファレンス)

Null 許容参照型は、Null 許容認識コンテキスト内にあるコードで使用できます。 Null 許容参照型、Null スタティック分析の警告、Null 免除演算子は、オプションの言語機能です。 既定では、すべてオフになっています。 "Null 許容コンテキスト" は、プロジェクト レベルでビルド設定を使用して、またはコード内で pragma を使用して制御されます。

Null 許容認識コンテキストでは、次の規則が使用されます。

• 参照型 T の変数は null 以外で初期化する必要があり、null可能性のある値を割り当ててはなりません。
• T? 参照型の変数は、null で初期化することも、nullを割り当てることもできますが、逆参照する前に null に対してチェックする必要があります。
• 型 m の変数 T? は、m! のように Null 免除演算子を適用する場合、Null ではないと見なされます。

コンパイラは、上記の規則を使用して、null 非許容参照型 T と null 許容参照型 T? の区別を適用します。 T 型の変数と T? 型の変数は、同じ .NET 型です。 次の例は、Null 非許容文字列と Null 許容文字列を宣言し、Null 免除演算子を使用して、値を Null 非許容文字列に割り当てます。

string notNull = "Hello";
string? nullable = default;
notNull = nullable!; // null forgiveness

変数 notNull と nullable は両方とも、String 型で表されます。 Null 非許容型と Null 許容型は両方とも、同じ型に格納されるため、Null 許容参照型を使用できない場所がいくつかあります。 通常、Null 許容参照型は、基底クラスまたは実装されたインターフェイスとして使用できません。 Null 許容参照型は、オブジェクトの作成または型のテスト式で使用することはできません。 Null 許容参照型は、メンバー アクセス式の型にすることはできません。 次の例は、これらのコンストラクトを示します。

public MyClass : System.Object? // not allowed
{
}

var nullEmpty = System.String?.Empty; // Not allowed
var maybeObject = new object?(); // Not allowed
try
{
    if (thing is string? nullableString) // not allowed
        Console.WriteLine(nullableString);
} catch (Exception? e) // Not Allowed
{
    Console.WriteLine("error");
}

Null 許容参照とスタティック分析

前のセクションの例は、Null 許容参照型の特性を示しています。 Null 許容参照型は新しいクラスの型ではなく、既存の参照型に対する注釈です。 コンパイラは、これらの注釈を使用して、ユーザーがコード内で発生する可能性のある Null 参照エラーを検出しやすくします。 Null 非許容参照型と Null 参照型の間には、ランタイムの違いはありません。 コンパイラは、Null 非許容参照型のランタイム チェックを追加しません。 この利点は、コンパイル時分析にあります。 コンパイラは、コード内で発生する可能性のある Null エラーの検出と修正に役立つ警告を生成します。 意図を宣言すると、コンパイラは、コードがその意図に違反したときに警告を発行します。

Null 許容の有効なコンテキストでは、コンパイラは、Null 許容と Null 非許容の両方の参照型の変数に対してスタティック分析を実行します。 コンパイラは、各参照変数の "null 状態" を "null ではない" または "null かもしれない" として追跡します。 Null 非許容参照の既定の状態は、"null ではない" です。 Null 許容参照の既定の状態は、"null かもしれない" です。

Null 非許容参照型の "null 状態" は "null ではない" であるため、この型は常に安全に逆参照できます。 この規則を適用するために、Null 非許容参照型が Null 以外の値に初期化されていない場合、コンパイラは警告を発行します。 ローカル変数は、宣言されている場所に割り当てる必要があります。 フィールド初期化子またはすべてのコンストラクターでは、すべてのフィールドに "null ではない" 値を割り当てる必要があります。 状態が "null かもしれない" である参照に、Null 非許容参照が割り当てられている場合、コンパイラによって警告が発行されます。 一般に、Null 非許容参照は "null ではない" であり、これらの変数が逆参照される場合、警告は変更されません。

Null 許容参照型は、nullに初期化することも、割り当てることもできます。 したがって、スタティック分析では、変数が逆参照される前に、それが "null ではない" であることを確認する必要があります。 Null 許容参照が "null かもしれない" であると判断された場合、Null 非許容参照変数に割り当てると、コンパイラの警告が生成されます。 次のクラスは、これらの警告の例を示します。

public class ProductDescription
{
    private string shortDescription;
    private string? detailedDescription;

    public ProductDescription() // Warning! shortDescription not initialized.
    {
    }

    public ProductDescription(string productDescription) =>
        this.shortDescription = productDescription;

    public void SetDescriptions(string productDescription, string? details=null)
    {
        shortDescription = productDescription;
        detailedDescription = details;
    }

    public string GetDescription()
    {
        if (detailedDescription.Length == 0) // Warning! dereference possible null
        {
            return shortDescription;
        }
        else
        {
            return $"{shortDescription}\n{detailedDescription}";
        }
    }

    public string FullDescription()
    {
        if (detailedDescription == null)
        {
            return shortDescription;
        }
        else if (detailedDescription.Length > 0) // OK, detailedDescription can't be null.
        {
            return $"{shortDescription}\n{detailedDescription}";
        }
        return shortDescription;
    }
}

次のスニペットは、このクラスを使用したときにコンパイラが警告を発行する場所を示します。

string shortDescription = default; // Warning! non-nullable set to null;
var product = new ProductDescription(shortDescription); // Warning! static analysis knows shortDescription maybe null.

string description = "widget";
var item = new ProductDescription(description);

item.SetDescriptions(description, "These widgets will do everything.");

上記の例では、コンパイラのスタティック分析で、参照変数の "null 状態" がどのように判断されるのかを示しています。 コンパイラは、null のチェックと割り当てに関する言語規則を適用して、その分析を通知します。 コンパイラは、メソッドまたはプロパティのセマンティクスについて想定することはできません。 null チェックを実行するメソッドを呼び出した場合、コンパイラでは、それらのメソッドが変数の "null 状態" に影響することを認識することはできません。 引数と戻り値のセマンティクスについてコンパイラに通知できるようにするために、API に追加できる属性があります。 .NET ライブラリの多くの一般的な API には、これらの属性があります。 たとえば、コンパイラは、IsNullOrEmpty を null チェックとして正しく解釈します。 "null 状態" のスタティック分析に適用される属性の詳細については、"Null 許容属性" に関する記事を参照してください。

Null 許容コンテキストの設定

Null 許容コンテキストを制御するには、2 つの方法があります。 プロジェクト レベルでは、<Nullable>enable</Nullable> プロジェクトを追加できます。 単一の C# ソース ファイルでは、#nullable enable pragma を追加して、Null 許容コンテキストを有効にすることができます。 Null 許容戦略の設定 に関する記事を参照してください。 .NET 6 より前の新しいプロジェクトでは、既定の <Nullable>disable</Nullable>が使用されます。 .NET 6 以降では、新しいプロジェクトには、プロジェクト ファイルに <Nullable>enable</Nullable> 要素が含まれています。

C# 言語仕様

詳細については、C# 言語仕様に関する次の提案を参照してください。

• Null 許容参照型
• null 許容参照型仕様の下書き

関連項目

• null 許容値型