Unity 2020.2で利用できるC#のnull許容参照型について理解する

<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
  <PropertyGroup>
    <LangVersion>latest</LangVersion>
	  <!-- この行を追加 -->
    <Nullable>enable</Nullable>
  </PropertyGroup>
  <!-- ... -->

#nullable enable
// ここからnull許容コンテキストが有効
public static void Check()
{
    // 警告が出る
    string stringNotBeNull = null;
    string? stringMayBeNull = null;

    
#nullable disable
    // ここからnull許容コンテキストが無効
    // そのため下記は警告が出ない
    string stringNotBeNull2 = null;
}

#nullable enable
public static void Check()
{ 
    // こちらはnull非許容参照型なので警告がでる
    // warning CS8600: Converting null literal or possible null value to non-nullable type.
    string stringNotBeNull = null;
    // こちらはnull許容参照型なので警告が出ない
    string? stringMayBeNull = null;
}

// このメソッドの引数<c>value</c>はnullが非許容
public static void ValueCannotBeNull(string value)
{
    _ = value.Length;
}

public static void ValueMayBeNull(string? value)
{
    // warning CS8625: Cannot convert null literal to non-nullable reference type.
    _ = value.Length;
}

string stringNotBeNull = null;
string? stringMayBeNull = null;

// null非許容なのにnullが渡されているので警告
ValueCannotBeNull(null);
// -> warning CS8625: Cannot convert null literal to non-nullable reference type.

// nullでない値が渡されてるので警告が出ない
ValueCannotBeNull("non-null value");

// null非許容参照型の引数に対してnull許容参照型を渡してるので警告
ValueCannotBeNull(stringMayBeNull);
// -> warning CS8625: Cannot convert null literal to non-nullable reference type.

// null非許容参照型だが、手前でnullが代入されているので警告がでる
// (フロー解析とよばれる)
ValueCannotBeNull(stringNotBeNull);
// -> warning CS8604: Possible null reference argument for parameter 'value' in 'void CheckNullableMethod.ValueCannotBeNull(string value)'.

// ただし同じ変数でも、非nullな値が代入されていれば警告が出ない
// (フロー解析)
stringNotBeNull = "non-null value";
ValueCannotBeNull(stringNotBeNull);

public static string? ReturnValueMayBeNull() => "non-null";
public static string ReturnValueNotBeNull() => null;

public static void Check()
{
    // 戻り値はnull許容
    string returnMayBeNull = ReturnValueMayBeNull();
    // -> warning CS8600: Converting null literal or possible null value to non-nullable type.
    // なのでnull参照の可能性があり警告
    _ = returnMayBeNull.Length;
    // -> warning CS8602: Dereference of a possibly null reference.

    // ただしnull許容の場合はnullチェックをした上でアクセスすれば
    // (nullではない保証がされるので)警告が出ない
    if (returnMayBeNull is not null) _ = returnMayBeNull.Length;

    // 戻り値はnull非許容
    string returnNotBeNull = ReturnValueNotBeNull();
    // 警告は出ない
    _ = returnNotBeNull.Length;
}

public static void CheckFlowAnalysisWithIf(bool flag)
{
    // フロー解析は、分岐があったとしても、問題なく動作する
    string str = flag ? "non-null" : null;

    // flagがfalseだとnullが入る可能性があるため、
    // このメソッド呼び出しは警告が出る
    _ = str.Length;
    // -> warning CS8602: Dereference of a possibly null reference.

		// どの分岐でも非nullな値が入るために警告は出ない
		string notBeNull = flag ? "non-null" : "null";
		_ = mayBeNull.Length;
}

public static void CheckFlowAnalysisWithSwitch(int value)
{
    string mayBeNull;
    switch (value)
    {
        case 1:
            mayBeNull = "one";
            break;
        default:
            mayBeNull = null;
            break;
    }

    // valueに1以外が入るとnullが入るため警告
    _ = mayBeNull.Length;
    // -> warning CS8602: Dereference of a possibly null reference.

    string notBeNull;
    switch (value)
    {
        case 1:
            notBeNull = "one";
            break;
        default:
            notBeNull = "default";
            break;
    }

    // すべてのケースで非nullのため警告は出ない
    _ = notBeNull.Length;
}

public class CheckNullableClass
{
    // デフォルト値で初期化
    public string InitializWithDefault
        = "default";
    // コンストラクタ内で初期化
    public string InitializeInConstructor;
    // 未初期化
    public string NotInitializedValue;
    // -> warning CS8618: Non-nullable field 'NotInitializedValue' is uninitialized. Consider declaring the field as nullable.

    public CheckNullableClassA(string value)
    {
        InitializeInConstructor = value;
    }
}

public class CheckNullableClassFixed
{
    // デフォルト値で初期化
    public string InitializWithDefault
        = "default";
    // コンストラクタ内で初期化
    public string InitializeInConstructor;
    // 未初期化だがnull許容演算子を指定
    public string NotInitializedValue = null!;

    public CheckNullableClassFixed(string value)
    {
        InitializeInConstructor = value;
    }
}

public class HogeBehaviour : MonoBehaviour
{
    [SerializeField]
    private HogeComponent _hogeCache;
}

#nullable enable
public class HogeBehaviour : MonoBehaviour
{
#nullable disable
    // null許容コンテキストを一時的にオフにする
    [SerializeField]
    private HogeComponent _hoge1Cache = null!;
#nullable enable

    // null許容演算子を利用する
    [SerializeField]
    private HogeComponent _hoge2Cache = null!
}

public class PiyoBehaviour : MonoBehaviour
{
    private void Start()
    {
        _piyoCache = GetComponent<PiyoComponent>();
    }

    private PiyoComponent _piyoCache = null!;
}