C# Discriminated Unions（開発者向けの仕組み）

What Are Discriminated Unions in C#?

判別共用体は、タグ付き共用体や共用体型とも呼ばれ、変数に限られた選択肢の中から1つの値を持たせることができ、各選択肢には一意のケース識別子が関連付けられています。

F#のような他の言語では、共用体キーワードを使用して定義することができます。 C#はこの機能をネイティブに提供していませんが、開発者はレコード、クラス、及びswitch式の巧みな組み合わせを利用してそれを模倣できます。

例えば：

public abstract record PdfAction;
public record GenerateReport(string ReportName) : PdfAction;
public record LogError(string Message) : PdfAction;
public record ExportToExcel(string FilePath) : PdfAction;

public abstract record PdfAction;
public record GenerateReport(string ReportName) : PdfAction;
public record LogError(string Message) : PdfAction;
public record ExportToExcel(string FilePath) : PdfAction;

Public MustOverride ReadOnly Property PdfAction() As record
public record GenerateReport(String ReportName) : PdfAction
public record LogError(String Message) : PdfAction
public record ExportToExcel(String FilePath) : PdfAction

上記の各レコードは、共用体の単一ケースを表します。 基本のPdfAction型が識別子の役割を果たします。

IronPDFのワークフローにおける判別共用体の重要性

IronPDFを使用してPDFレポートジェネレーターを構築していて、ユーザーの入力に基づいて、PDFの生成やエラーログの記録、データのエクスポートなど、異なるアクションを実行する必要があるとします。

C#で判別共用体を使用することで、これらのオプションタイプをクリーンに表現でき、コンパイル時の安全性、バグの削減、より明確なロジックが得られます。

IronPDFでの使用方法の一例を以下に示します。

void HandlePdfAction(PdfAction action)
{
    switch (action)
    {
        case GenerateReport r:
            var pdf = new IronPdf.HtmlToPdf().RenderHtmlAsPdf("<h1>" + r.ReportName + "</h1>");
            pdf.SaveAs(r.ReportName + ".pdf");
            break;
        case LogError e:
            Console.WriteLine("Logging Error: " + e.Message);
            break;
        case ExportToExcel x:
            Console.WriteLine("Exporting to Excel at " + x.FilePath);
            break;
        default:
            throw new NotSupportedException("Unknown action");
    }
}

void HandlePdfAction(PdfAction action)
{
    switch (action)
    {
        case GenerateReport r:
            var pdf = new IronPdf.HtmlToPdf().RenderHtmlAsPdf("<h1>" + r.ReportName + "</h1>");
            pdf.SaveAs(r.ReportName + ".pdf");
            break;
        case LogError e:
            Console.WriteLine("Logging Error: " + e.Message);
            break;
        case ExportToExcel x:
            Console.WriteLine("Exporting to Excel at " + x.FilePath);
            break;
        default:
            throw new NotSupportedException("Unknown action");
    }
}

Private Sub HandlePdfAction(ByVal action As PdfAction)
	Select Case action
'INSTANT VB TODO TASK: The following 'case' pattern variable is not converted by Instant VB:
'ORIGINAL LINE: case GenerateReport r:
		Case GenerateReport r
			Dim pdf = (New IronPdf.HtmlToPdf()).RenderHtmlAsPdf("<h1>" & r.ReportName & "</h1>")
			pdf.SaveAs(r.ReportName & ".pdf")
'INSTANT VB TODO TASK: The following 'case' pattern variable is not converted by Instant VB:
'ORIGINAL LINE: case LogError e:
		Case LogError e
			Console.WriteLine("Logging Error: " & e.Message)
'INSTANT VB TODO TASK: The following 'case' pattern variable is not converted by Instant VB:
'ORIGINAL LINE: case ExportToExcel x:
		Case ExportToExcel x
			Console.WriteLine("Exporting to Excel at " & x.FilePath)
		Case Else
			Throw New NotSupportedException("Unknown action")
	End Select
End Sub

このアプローチでは、コードを整理し、開発者がすべての可能なオプションを単一の場所で理解しやすくします。

Simulating Discriminated Unions in C# – Struct vs. Record vs. Class

C#は共用体キーワードを欠いていますが、判別共用体をシミュレートする方法は次のとおりです。

*レコード:*不変データに最適で、パターン マッチングをきれいにサポートします。 クラス:**継承と参照セマンティクスにより柔軟性が高まります。 *構造体:値型には便利ですが、参照型や継承を扱う場合には柔軟性が低くなります。

例：高スループットなPDFロギングなどで性能とメモリレイアウトが重要な場合、構造体判別共用体の使用を検討する価値があります。

public interface IAction { }
public readonly struct SaveAction : IAction
{
    public string FileName { get; }
    public SaveAction(string fileName) => FileName = fileName;
}

public interface IAction { }
public readonly struct SaveAction : IAction
{
    public string FileName { get; }
    public SaveAction(string fileName) => FileName = fileName;
}

Public Interface IAction
End Interface
'INSTANT VB WARNING: VB has no equivalent to the C# readonly struct:
'ORIGINAL LINE: public readonly struct SaveAction : IAction
Public Structure SaveAction
	Implements IAction

	Public ReadOnly Property FileName() As String
	Public Sub New(ByVal fileName As String)
		Me.FileName = fileName
	End Sub
End Structure

注意：switch表現に依存する際に、特に構造体を使用するとパターンマッチングの利点が失われることがあります。

Benefits of Using Discriminated Unions in C

このソフトウェアエンジニアリングパターンを採用することには、いくつかの重要な利点があります。

*コンパイル時の安全性:*実行前に、switch 式で不足しているケースを検出します。 より明確なロジック:名前付きケースを使用すると、アクションの記述、コメント、および推論が簡単になります。 関心の分離:型階層ではなくデータに基づいて動作を分離します。 リファクタリングの容易さ:**ケースの追加や削除がより簡単になります。

IronPDFと組み合わせることで、ユーザー入力の管理、レンダリングロジックの作成、異なる値パイプラインによる動的テンプレート作成がより簡単になります。

IronPDFと判別共用体を使用するとき

このパターンが優れている実用的なシナリオをいくつか紹介します。

• PDF 生成ワークフロー:ドキュメント ライフサイクルにおけるさまざまなステップ (生成、保存、電子メール)。 *権限モデル:*さまざまなユーザー アクセス レベルを表します。 ログ システム:ログ レベル (情報、エラー、デバッグ) に判別共用体を使用します。 ユニット テスト:保守可能なロジック ツリーのユニオン型としてテスト アクションを定義します。 エクスポート オプション:** PDF、Excel、Word などの出力ターゲットをユニオン インスタンスとして表します。

例 – UIイベントからPDFアクションを処理する

UIイベントをキャプチャして、判別共用体を使ってIronPDFタスクにルーティングする場合を考えてみましょう。

public abstract record UserAction;
public record GeneratePdf(string HtmlContent, string FileName) : UserAction;
public record ShowMessage(string Text) : UserAction;
public record ExitApplication() : UserAction;
void OnUserEvent(UserAction action)
{
    switch (action)
    {
        case GeneratePdf pdf:
            var renderer = new IronPdf.HtmlToPdf();
            var document = renderer.RenderHtmlAsPdf(pdf.HtmlContent);
            document.SaveAs(pdf.FileName);
            break;
        case ShowMessage msg:
            MessageBox.Show(msg.Text);
            break;
        case ExitApplication:
            Application.Exit();
            break;
    }
}

public abstract record UserAction;
public record GeneratePdf(string HtmlContent, string FileName) : UserAction;
public record ShowMessage(string Text) : UserAction;
public record ExitApplication() : UserAction;
void OnUserEvent(UserAction action)
{
    switch (action)
    {
        case GeneratePdf pdf:
            var renderer = new IronPdf.HtmlToPdf();
            var document = renderer.RenderHtmlAsPdf(pdf.HtmlContent);
            document.SaveAs(pdf.FileName);
            break;
        case ShowMessage msg:
            MessageBox.Show(msg.Text);
            break;
        case ExitApplication:
            Application.Exit();
            break;
    }
}

Public MustOverride ReadOnly Property UserAction() As record
public record GeneratePdf(String HtmlContent, String FileName) : UserAction
public record ShowMessage(String Text) : UserAction
public record ExitApplication() : UserAction
'INSTANT VB TODO TASK: Local functions are not converted by Instant VB:
'void OnUserEvent(UserAction action)
'{
'	switch (action)
'	{
'		case GeneratePdf pdf:
'			var renderer = New IronPdf.HtmlToPdf();
'			var document = renderer.RenderHtmlAsPdf(pdf.HtmlContent);
'			document.SaveAs(pdf.FileName);
'			break;
'		case ShowMessage msg:
'			MessageBox.Show(msg.Text);
'			break;
'		case ExitApplication:
'			Application.@Exit();
'			break;
'	}
'}

これにより、イベントを明確な論理で表現し、公開オブジェクトタイプや過度にダイナミックな処理への依存を減らすことができます。

Future Outlook – Will C# Ever Support Native Discriminated Unions?

より表現力豊かな型システムへの需要が高まる中、C#にネイティブサポートを追加する提案が既にされています。 言語はまだ本当の共用体キーワードを導入していませんが、C#は進化を続け、レコード、パターンマッチング、switch表現など、判別共用体の機能に近づいています。

.NET開発者は、モダンで機能性に優れた言語構造に興味がある人は、この領域を注視すべきでしょう。

最終的な考え

ネイティブサポートがなくても、C#の判別共用体の使用は、IronPDFアプリケーションでのロジックの構造と表現を大幅に改善します。 レコード、switch表現、および基底クラスを活用することで、コードベースをより読みやすく、保守しやすく、エラーへの耐性を高めるとともに、PDF関連タスクを扱うためのより宣言的で表現力豊かな方法を提供します。

モダンで柔軟な.NETアプリケーションを構築するソフトウェアエンジニアなら、このパターンをツールキットに加えるべきです。