C# でタイプセーフな判別ユニオン (タグ付きユニオン) を作成する方法

C# の判別共用体

質問:

C# で判別共用体を作成する方法(タグ付きユニオンとも呼ばれます)?この共用体を使用すると、単一の値を表すためにさまざまな型を使用できるようになり、コンパイル時の型安全性が提供されます。

答え:

ジェネリック型パラメーター制約を使用すると、型安全な識別共用体を作成できます。次のコードは、3 つのケース (int、char、string) を使用して判別共用体を作成する方法を示しています。

public abstract class Union3<A, B, C>
{
    public abstract T Match<T>(Func<A, T> f, Func<B, T> g, Func<C, T> h);
    private Union3() { }

    public sealed class Case1 : Union3<A, B, C>
    {
        public readonly A Item;
        public Case1(A item) : base() { this.Item = item; }
        public override T Match<T>(Func<A, T> f, Func<B, T> g, Func<C, T> h)
        {
            return f(Item);
        }
    }

    public sealed class Case2 : Union3<A, B, C>
    {
        public readonly B Item;
        public Case2(B item) { this.Item = item; }
        public override T Match<T>(Func<A, T> f, Func<B, T> g, Func<C, T> h)
        {
            return g(Item);
        }
    }

    public sealed class Case3 : Union3<A, B, C>
    {
        public readonly C Item;
        public Case3(C item) { this.Item = item; }
        public override T Match<T>(Func<A, T> f, Func<B, T> g, Func<C, T> h)
        {
            return h(Item);
        }
    }
}

判別共用体のインスタンスを作成するには、静的ファクトリー メソッドを使用して、対応するケースを指定します。そして価値を提供します。例:

Union3<int, char, string> union1 = Union3<int, char, string>.Case1(5);
Union3<int, char, string> union2 = Union3<int, char, string>.Case2('x');
Union3<int, char, string> union3 = Union3<int, char, string>.Case3("Juliet");

Match メソッドを使用すると、特定のケースに基づいて共用体の値に安全にアクセスできます。例:

string value1 = union1.Match(num => num.ToString(), character => new string(new char[] { character }), word => word);
string value2 = union2.Match(num => num.ToString(), character => new string(new char[] { character }), word => word);
string value3 = union3.Match(num => num.ToString(), character => new string(new char[] { character }), word => word);

このメソッドは、コンパイル時の型チェックを使用して、指定されたケースに対して正しい関数が提供されることを確認します。大文字と小文字が一致しない値にアクセスしようとすると、コンパイラはエラーをスローします。

以上がC# でタイプセーフな判別ユニオン (タグ付きユニオン) を作成する方法の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。