我們如何在 C# 中實現類型安全的可區分聯合？

C 語言中的受歧視聯合

簡介：

受歧視聯合，也稱為標記聯合或不相交聯合，是一種允許在單一變數中儲存不同類型資料的程式結構。它們提供了一種類型安全的方式來表示一組具有有限數量變體的值。

理解問題：

問題提出了 C# 中的 Union 類別提供與 C 風格聯合類似的功能。但是，該類別在使用 Is 和 As 函數時缺乏編譯器強制的類型檢查。當嘗試檢索特定類型的值而不確保聯合實際上包含該類型時，就會出現此問題。

我們可以在 C# 實現型別安全聯合嗎？

是的，我們可以使用泛型約束和模式匹配在 C# 中實現類型安全的可區分聯合。以下是範例：

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

public class Case1<A, B, C> : Union<A, B, C>
{
    public readonly A Item;
    public Case1(A item) { Item = item; }
    public override T Match<T>(Func<A, T> f, Func<B, T> g, Func<C, T> h) => f(Item);
}

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

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

用法：

要使用此聯合類型，請建立特定案例的實例：

var union1 = new Case1<int, string, bool>(5);
var union2 = new Case2<int, string, bool>('a');
var union3 = new Case3<int, string, bool>(true);

模式匹配：

從中檢索值聯合，使用模式匹配：

var value1 = union1.Match(n => n, _ => null, _ => null); // Returns 5 (int)
var value2 = union2.Match(_ => null, c => c.ToString(), _ => null); // Returns "a" (string)
var value3 = union3.Match(_ => null, _ => null, b => b.ToString()); // Returns "True" (string)

結論：

此解決方案透過利用泛型和模式匹配在C# 中提供類型安全的可區分聯合。它確保程式碼不會嘗試存取錯誤的值，從而增強應用程式的安全性和正確性。

以上是我們如何在 C# 中實現類型安全的可區分聯合？的詳細內容。更多資訊請關注PHP中文網其他相關文章！