.NET幫助

C#差異聯合（對開發者如何理解的工作）

更新:2025年7月28日

區分聯合類型（也稱為標記聯合類型或求和類型）是一種強大的工具，可用於對可以採用不同形式但可能的情況有明確定義和有限的資料進行建模。雖然 C# 沒有像其他一些語言（例如 F# 或 Rust）那樣的原生可區分聯合體，但您可以使用該語言中的幾種技術來模擬可區分聯合體。在本教程中，我們將深入探討可區分聯合體，如何在 C# 中實現它們，以及它們與IronPDF庫的實際應用案例。

什麼是受歧視工會？

簡單來說，可區分聯合類型是一種可以包含幾個預定義形式或值之一的類型。它提供了一種建立類型安全結構的方法，該結構封裝了不同的類型或值，同時確保在編譯時只處理有效情況。

想像一下你想表示某個運算結果的場景。該操作要么成功，返回一些數據；要么失敗，返回錯誤訊息。歧視性工會允許你用一種類型來表示這兩種可能的結果。

Example: Simulating Discriminated Union in C

以下範例展示如何在 C# 中使用類別結構模擬可區分聯合：

// Define an abstract base class representing the operation result.
public abstract class OperationResult<t>
{
    // Private constructor to ensure the class cannot be instantiated directly.
    private OperationResult() { }

    // Nested class representing a successful operation result.
    public sealed class Success : OperationResult<t>
    {
        public T Value { get; }

        public Success(T value) => Value = value;

        public override string ToString() => $"Success: {Value}";
    }

    // Nested class representing a failed operation result.
    public sealed class Failure : OperationResult<t>
    {
        public string Error { get; }

        public Failure(string error) => Error = error;

        public override string ToString() => $"Failure: {Error}";
    }

    // Factory method to create a successful operation result.
    public static OperationResult<t> CreateSuccess(T value) => new Success(value);

    // Factory method to create a failed operation result.
    public static OperationResult<t> CreateFailure(string error) => new Failure(error);
}

// Define an abstract base class representing the operation result.
public abstract class OperationResult<t>
{
    // Private constructor to ensure the class cannot be instantiated directly.
    private OperationResult() { }

    // Nested class representing a successful operation result.
    public sealed class Success : OperationResult<t>
    {
        public T Value { get; }

        public Success(T value) => Value = value;

        public override string ToString() => $"Success: {Value}";
    }

    // Nested class representing a failed operation result.
    public sealed class Failure : OperationResult<t>
    {
        public string Error { get; }

        public Failure(string error) => Error = error;

        public override string ToString() => $"Failure: {Error}";
    }

    // Factory method to create a successful operation result.
    public static OperationResult<t> CreateSuccess(T value) => new Success(value);

    // Factory method to create a failed operation result.
    public static OperationResult<t> CreateFailure(string error) => new Failure(error);
}

$vbLabelText $csharpLabel

在這個例子中，OperationResult<t> 是一個抽象類別，代表我們的可區分聯合類型。它可以是 Success，其值為 T，也可以是 Failure，並帶有錯誤訊息。私有建構子確保此類別的實例只能透過預先定義的情況來建立。

使用模式匹配和判別聯合

C# 提供了強大的模式匹配功能，可以很好地與可區分聯合類型配合使用。讓我們擴展一下我們的 OperationResult<t> 範例，新增一個使用 switch 表達式處理不同情況的方法。

// Method to handle the result using pattern matching.
public string HandleResult(OperationResult<int> result) =>
    result switch
    {
        OperationResult<int>.Success success => $"Operation succeeded with value: {success.Value}",
        OperationResult<int>.Failure failure => $"Operation failed with error: {failure.Error}",
        _ => throw new InvalidOperationException("Unexpected result type")
    };

// Method to handle the result using pattern matching.
public string HandleResult(OperationResult<int> result) =>
    result switch
    {
        OperationResult<int>.Success success => $"Operation succeeded with value: {success.Value}",
        OperationResult<int>.Failure failure => $"Operation failed with error: {failure.Error}",
        _ => throw new InvalidOperationException("Unexpected result type")
    };

$vbLabelText $csharpLabel

此處的 switch 表達式處理 Success 和 Failure 兩種情況，以及 OperationResult<int> 的情況。這樣可以確保在編譯時涵蓋所有可能的情況，從而提供類型安全性並降低運行時錯誤的風險。

受歧視工會的擴展方法

您可以使用擴充方法來擴充可區分聯合的功能。例如，讓我們為 OperationResult<t> 建立一個擴充方法，以確定結果是否成功：

// Static class to hold extension methods for OperationResult<t>.
public static class OperationResultExtensions
{
    // Extension method to check if the operation result indicates success. 
    public static bool IsSuccess<t>(this OperationResult<t> result) =>
        result is OperationResult<t>.Success;
}

// Static class to hold extension methods for OperationResult<t>.
public static class OperationResultExtensions
{
    // Extension method to check if the operation result indicates success. 
    public static bool IsSuccess<t>(this OperationResult<t> result) =>
        result is OperationResult<t>.Success;
}

$vbLabelText $csharpLabel

此靜態方法檢查結果是否為 Success 情況的實例。

Native Support for Discriminated Unions in C

C# 不像其他一些語言那樣原生支援可區分聯合類型，但社群中一直在討論添加此類功能。原生可區分聯合類型可以更輕鬆地定義和使用聯合類型，而無需依賴類別層次結構。

編譯器錯誤和類型安全

可區分聯合類型的主要優勢之一是其提供的類型安全性。由於所有可能的情況在編譯時都已知，編譯器可以強制確保所有情況都得到處理。這樣可以減少運行時錯誤，使程式碼更不容易出錯。

例如，如果您忘記處理 switch 語句中的某個特定情況，編譯器將產生錯誤，提示您處理缺少的情況。這在處理具有多種可能情況的複雜資料結構時尤其有用。

Using IronPDF with Discriminated Unions in C

C# 歧視性工會(開發者如何運作)：圖 1 - IronPDF

IronPDF是一個 C# PDF 庫，它可以幫助開發人員從 HTML 建立 PDF 文件，並允許他們輕鬆修改 PDF 文件。在 C# 中處理 PDF 時，您可以將IronPDF與可區分聯合體集成，以處理生成或處理 PDF 文件時的不同場景。例如，您可能有一個流程，該流程要么成功產生 PDF，要么遇到錯誤。受歧視的工會可以讓你清楚地模擬這個過程。讓我們建立一個簡單的範例，使用IronPDF產生 PDF，並將結果作為可區分聯合傳回。

// Using directives for necessary namespaces.
using IronPdf;
using System;

// Define an abstract base class representing the PDF generation result.
public abstract class PdfResult
{
    // Private constructor to ensure the class cannot be instantiated directly.
    private PdfResult() { }

    // Nested class representing a successful PDF generation result.
    public sealed class Success : PdfResult
    {
        public PdfDocument Pdf { get; }

        public Success(PdfDocument pdf) => Pdf = pdf;

        public override string ToString() => "PDF generation succeeded";
    }

    // Nested class representing a failed PDF generation result.
    public sealed class Failure : PdfResult
    {
        public string ErrorMessage { get; }

        public Failure(string errorMessage) => ErrorMessage = errorMessage;

        public override string ToString() => $"PDF generation failed: {ErrorMessage}";
    }

    // Factory method to create a successful PDF result.
    public static PdfResult CreateSuccess(PdfDocument pdf) => new Success(pdf);

    // Factory method to create a failed PDF result.
    public static PdfResult CreateFailure(string errorMessage) => new Failure(errorMessage);
}

// Class to generate PDFs using IronPDF.
public class PdfGenerator
{
    // Method to generate a PDF from HTML content and return the result as a PdfResult.
    public PdfResult GeneratePdf(string htmlContent)
    {
        try
        {
            // Create a new ChromePdfRenderer instance.
            var renderer = new ChromePdfRenderer();

            // Attempt to render the HTML content as a PDF.
            var pdf = renderer.RenderHtmlAsPdf(htmlContent);

            // Return a success result with the generated PDF.
            return PdfResult.CreateSuccess(pdf);
        }
        catch (Exception ex)
        {
            // Return a failure result with the error message if an exception occurs.
            return PdfResult.CreateFailure(ex.Message);
        }
    }
}

// Using directives for necessary namespaces.
using IronPdf;
using System;

// Define an abstract base class representing the PDF generation result.
public abstract class PdfResult
{
    // Private constructor to ensure the class cannot be instantiated directly.
    private PdfResult() { }

    // Nested class representing a successful PDF generation result.
    public sealed class Success : PdfResult
    {
        public PdfDocument Pdf { get; }

        public Success(PdfDocument pdf) => Pdf = pdf;

        public override string ToString() => "PDF generation succeeded";
    }

    // Nested class representing a failed PDF generation result.
    public sealed class Failure : PdfResult
    {
        public string ErrorMessage { get; }

        public Failure(string errorMessage) => ErrorMessage = errorMessage;

        public override string ToString() => $"PDF generation failed: {ErrorMessage}";
    }

    // Factory method to create a successful PDF result.
    public static PdfResult CreateSuccess(PdfDocument pdf) => new Success(pdf);

    // Factory method to create a failed PDF result.
    public static PdfResult CreateFailure(string errorMessage) => new Failure(errorMessage);
}

// Class to generate PDFs using IronPDF.
public class PdfGenerator
{
    // Method to generate a PDF from HTML content and return the result as a PdfResult.
    public PdfResult GeneratePdf(string htmlContent)
    {
        try
        {
            // Create a new ChromePdfRenderer instance.
            var renderer = new ChromePdfRenderer();

            // Attempt to render the HTML content as a PDF.
            var pdf = renderer.RenderHtmlAsPdf(htmlContent);

            // Return a success result with the generated PDF.
            return PdfResult.CreateSuccess(pdf);
        }
        catch (Exception ex)
        {
            // Return a failure result with the error message if an exception occurs.
            return PdfResult.CreateFailure(ex.Message);
        }
    }
}

$vbLabelText $csharpLabel

PdfResult 類別表示一個可區分的聯合，包含兩種情況：Success 和 Failure。 Success 案例包含 PdfDocument，而 Failure 案例包含錯誤訊息。 GeneratePdf 方法接受一個 HTML 字串，嘗試使用IronPDF產生 PDF，並將結果作為 PdfResult 傳回。如果 PDF 產生成功，則傳回 Success 情況以及產生的 PDF。如果發生異常，則傳回 Failure 情況並附帶錯誤訊息。

結論

C# 歧視性工會(開發者如何運作)：圖 2 - 許可

C# 中的可區分聯合提供了一種強大而靈活的方式來對具有多種可能情況的資料進行建模。雖然 C# 不支援可區分聯合類型，但您可以使用類別層次結構、模式匹配和其他技術來模擬它們。產生的程式碼類型更安全，出錯率更低，也更容易維護。

IronPDF提供免費試用版，幫助您在無需任何前期費用的情況下體驗軟體。您可以探索所有功能，看看它們是否符合您的需求。試用期結束後，許可證價格從 $799 起。

常見問題解答

如何在 C# 中创建区分聯合？

你可以通過定义一個帶有嵌套子类的抽象类在 C# 中创建一個区分聯合。每個子类代表一個可能的情况，比如成功或錯误状态，你可以使用模式匹配来處理这些情况。

IronPDF 庫在處理区分聯合中扮演什么角色？

IronPDF 庫可以与区分聯合一起使用来管理 PDF 生成結果。通過将这些結果建模為区分聯合，你可以确保类型安全，并處理成功的 PDF 创建和發生的任何錯误。

模式匹配如何增強 C# 中的区分聯合？

模式匹配通過允許開發者优雅地處理每种可能的情况来增強 C# 的区分聯合。通過模式匹配，你可以在编译時安全地管理不同的結果，确保覆盖所有情境。

為什么区分聯合對 C# 中的 PDF 生成有益？

在 C# 中，区分聯合對 PDF 生成有益，因為它们提供了一种結构化的方法来處理成功和錯误情况。这种方法确保了潜在問题在编译時得以解决，從而减少 PDF 创建期间的運行時錯误。

C# 中的区分聯合可以擴展以獲得额外功能嗎？

是的，可以使用擴展方法為区分聯合擴展额外功能。这允許在不改变基本結构的情况下添加自定义行為，例如检查 PDF 生成的成功状态。

有办法在没有原生支持的情况下模拟 C# 中的区分聯合嗎？

是的，即使 C# 没有原生支持区分聯合，也可以使用类层次結构進行模拟。可以使用帶有嵌套类的抽象基类来表示不同的可能結果，例如成功或失败的情况。

C# 開發者如何有效地處理 PDF 生成中的錯误？

C# 開發者可以通過使用区分聯合来建模潜在結果，有效地處理 PDF 生成中的錯误。此方法确保錯误在编译時解决，提高代碼的可靠性和可维护性。

在 C# 項目中使用帶有区分聯合的 IronPDF 的优势是什么？

在 C# 項目中使用帶有区分聯合的 IronPDF 提供了在 PDF 生成期间稳健錯误處理的优势。这种组合允許明确区分成功的操作和錯误，提高代碼的安全性和可靠性。

区分聯合如何為 C# 提供类型安全？

区分聯合通過确保所有可能情况在编译時得到處理，為 C# 提供类型安全。这减少了運行時錯误的可能性，使代碼更具可预测性且易于维护。

Jacob Mellor

立即與工程團隊聊天

首席技術官

Jacob Mellor是Iron Software的首席技術官，也是開創C# PDF技術的前瞻性工程師。作為Iron Software核心代碼庫的原始開發者，他自公司成立以來就塑造了公司的產品架構，並與CEO Cameron Rimington將公司轉型為服務NASA、Tesla以及全球政府機構的50多人公司。

Jacob擁有曼徹斯特大學土木工程一級榮譽學士學位（1998年–2001年）。他於1999年在倫敦開立首家軟體公司，並於2005年建立了他的第一個.NET組件，專注於解決Microsoft生態系統中的複雜問題。

他的旗艦作品IronPDF和Iron Suite .NET程式庫全球已獲得超過3000萬次NuGet安裝，他的基礎代碼不斷在全球各地驅動開發者工具。擁有25年以上的商業經驗和41年的編碼專業知識，Jacob仍然專注於推動企業級C#、Java和Python PDF技術的創新，同時指導下一代技術領導者。