判別共用体

[アーティクル]
02/03/2025

判別共用体は、数多くの名前付きケースのうちのいずれかである可能性がある値をサポートします。ケースの値や型が、それぞれ異なる場合もあります。判別共用体は、異種データ、有効ケースやエラーケースなどの特殊なケースを持つ可能性のあるデータ、インスタンスごとに型が異なるデータ、小さいオブジェクト階層に対する代替手段などの場合に役立ちます。さらに、再帰的な判別共用体は、ツリーデータ構造を表すために使用されます。

構文

[ attributes ]
type [accessibility-modifier] type-name =
    | case-identifier1 [of [ fieldname1 : ] type1 [ * [ fieldname2 : ] type2 ...]
    | case-identifier2 [of [fieldname3 : ]type3 [ * [ fieldname4 : ]type4 ...]

    [ member-list ]

Remarks

判別共用体は他の言語の共用体型と似ていますが、異なる点もあります。 C++ の共用体型や Visual Basic のバリアント型と同じように、値に格納されるデータは固定ではありません。複数の異なるオプションのいずれかを格納できます。ただし、これら他の言語の共用体とは異なり、有効な各オプションには "ケース識別子" が指定されます。この型のオブジェクトが持ち得るさまざまな値の種類を示すための名前がケース識別子です。これらの値はオプションです。値を省略する場合は、ケースが列挙型のケースと等しくなります。値がある場合は、各値に、指定した型の単一値、あるいは同じ型または異なる型の複数のフィールドを集約したタプルを使用できます。個々のフィールドに名前を付けることができますが、同じケースの他のフィールドに名前が付けられていても、名前は省略可能です。

判別共用体のアクセシビリティは、既定で public に設定されます。

たとえば、Shape 型の次のような宣言を検討します。

type Shape =
    | Rectangle of width : float * length : float
    | Circle of radius : float
    | Prism of width : float * float * height : float

前のコードでは、判別共用体の Shape を宣言します。これには四角形、円、およびプリズムの 3 つのケースのいずれかの値を指定できます。各ケースに異なるフィールドセットがあります。四角形の場合は、2 つの名前付きフィールドがあり、両方とも float 型で、幅と長さの名前が付いています。円の場合は、1 つの名前付きフィールドがあり、半径の名前が付いています。 Prism の場合、3 つのフィールドがあり、そのうちの 2 つ (幅と高さ) は名前付きのフィールドです。名前のないフィールドは匿名フィールドと呼ばれています。

次の例では、名前付きフィールドと匿名フィールドに値を設定してオブジェクトを構築します。

let rect = Rectangle(length = 1.3, width = 10.0)
let circ = Circle (1.0)
let prism = Prism(5., 2.0, height = 3.0)

このコードは、初期化時に名前付きフィールドを使用することも、宣言時のフィールドの順序に依存して各フィールドの値のみを順番に提供することもできることを示します。前のコードの rect のコンストラクターの呼び出しでは名前付きフィールドを使用しますが、circ のコンストラクター呼び出しでは順序を使用します。 prism の構造のように、順序付きフィールドと名前付きフィールドを混在させることができます。

option 型は、F# コアライブラリの単純な判別共用体です。 option 型は、次のように宣言されます。

// The option type is a discriminated union.
type Option<'a> =
    | Some of 'a
    | None

このコードでは、Option 型が、Some と None の 2 つのケースを持つ判別共用体として指定されています。 Some ケースには、型が型パラメーター 'a によって表される 1 つの匿名フィールドで構成される、関連付けられた値があります。 None ケースには、関連する値はありません。したがって、option 型は、なんらかの型の値を持つジェネリック型、または値を持たないジェネリック型を指定します。また、Option 型には小文字の型のエイリアス option があり、より一般的に使用されます。

ケース識別子は、判別共用体型のコンストラクターとして使用できます。たとえば、option 型の値を作成するには、次のようなコードが使用されます。

let myOption1 = Some(10.0)
let myOption2 = Some("string")
let myOption3 = None

ケース識別子は、パターンマッチ式でも使用されます。パターンマッチ式では、個別のケースに関連付けられる値に対して識別子が提供されます。たとえば、次のコードの x は、Some 型の option ケースと関連付けられた値が指定された識別子です。

let printValue opt =
    match opt with
    | Some x -> printfn "%A" x
    | None -> printfn "No value."

パターン一致式では、名前付きフィールドを使用して判別共用体一致を指定できます。前に宣言された Shape 型には、次のコードに示すように、フィールドの値を抽出するために名前付きフィールドを使用できます。

let getShapeWidth shape =
    match shape with
    | Rectangle(width = w) -> w
    | Circle(radius = r) -> 2. * r
    | Prism(width = w) -> w

通常は、共用体の名前で、修飾せずにケース識別子を使用できます。名前を共用体の名前で常に修飾する場合は、RequireQualifiedAccess 属性を共用体型の定義に適用できます。

判別共用体のラップ解除

ドメインモデルにおいて、F# の判別共用体は単一の型を包むためによく使用されます。パターンマッチングを使用して基になる値を簡単に抽出することもできます。 1 つのケースにマッチ式を使用する必要はありません。

let ([UnionCaseIdentifier] [values]) = [UnionValue]

この動作を次の例で示します。

type ShaderProgram = | ShaderProgram of id:int

let someFunctionUsingShaderProgram shaderProgram =
    let (ShaderProgram id) = shaderProgram
    // Use the unwrapped value
    ...

パターンマッチはまた、関数パラメーターで直接許可されます。そのため、そこで単一のケースのラップを解除できます。

let someFunctionUsingShaderProgram (ShaderProgram id) =
    // Use the unwrapped value
    ...

構造体の判別共用体

判別共用体を構造体として表すこともできます。これは [<Struct>] メソッドで行われます。

[<Struct>]
type SingleCase = Case of string

[<Struct>]
type Multicase =
    | Case1 of string
    | Case2 of int
    | Case3 of double

これは値の型であり、参照型ではないため、参照判別共用体と比べ、追加の考慮事項があります。

値の型としてコピーされ、値の型のセマンティクスが与えられます。
マルチケース構造体の判別共用体では、再帰的な型定義は使用できません。

F# 9 より前では、ケースごとに共用体内で一意のケース名を指定する必要がありました。 F# 9 以降では、制限は解除されています。

オブジェクト階層ではなく、判別共用体を使用する場合

多くの場合、小さいオブジェクト階層をさらに簡単に表すために判別共用体を使用できます。たとえば、円や正方形などの派生型を持つ Shape 基底クラスの代わりに、次の判別共用体を使用できます。

type Shape =
    // The value here is the radius.
    | Circle of float
    // The value here is the side length.
    | EquilateralTriangle of double
    // The value here is the side length.
    | Square of double
    // The values here are the height and width.
    | Rectangle of double * double

オブジェクト指向の実装で使用される、面積や周を計算するための仮想メソッドの代わりに、パターンマッチを使用して、これらの量を計算するための適切な式に分岐できます。次の例では、図形に応じて、異なる数式を使用して面積を計算しています。

let pi = 3.141592654

let area myShape =
    match myShape with
    | Circle radius -> pi * radius * radius
    | EquilateralTriangle s -> (sqrt 3.0) / 4.0 * s * s
    | Square s -> s * s
    | Rectangle(h, w) -> h * w

let radius = 15.0
let myCircle = Circle(radius)
printfn "Area of circle that has radius %f: %f" radius (area myCircle)

let squareSide = 10.0
let mySquare = Square(squareSide)
printfn "Area of square that has side %f: %f" squareSide (area mySquare)

let height, width = 5.0, 10.0
let myRectangle = Rectangle(height, width)
printfn "Area of rectangle that has height %f and width %f is %f" height width (area myRectangle)

出力は次のようになります。

Area of circle that has radius 15.000000: 706.858347
Area of square that has side 10.000000: 100.000000
Area of rectangle that has height 5.000000 and width 10.000000 is 50.000000

ツリーデータ構造への判別共用体の使用

判別共用体は再帰的に使用できます。つまり、共用体自体を 1 つ以上のケースの型に含めることができます。再帰的な判別共用体を使用してツリー構造を作成でき、このツリー構造をプログラミング言語での式のモデル化に使用できます。次のコードでは、再帰的な判別共用体を使用して、バイナリツリーのデータ構造を作成しています。この共用体を構成する 2 つのケースは、整数値および左と右のサブツリーを持つノードである Node と、ツリーを終了する Tip です。

type Tree =
    | Tip
    | Node of int * Tree * Tree

let rec sumTree tree =
    match tree with
    | Tip -> 0
    | Node(value, left, right) -> value + sumTree (left) + sumTree (right)

let myTree =
    Node(0, Node(1, Node(2, Tip, Tip), Node(3, Tip, Tip)), Node(4, Tip, Tip))

let resultSumTree = sumTree myTree

このコードでは、resultSumTree の値は 10 です。次の図は、myTree のツリー構造を示しています。

myTree のツリー構造を示す図。

判別共用体は、ツリーのノードが異種の場合でも、問題なく機能します。次のコードの Expression 型は、数と変数の加算と乗算をサポートする簡単なプログラミング言語での式の抽象構文ツリーを表します。共用体の一部のケースは再帰的ではなく、数 (Number) または変数 (Variable) を表します。他のケースは再帰的で、演算 (Add および Multiply) を表し、オペランドも式です。 Evaluate 関数では、match 式を使用して再帰的に構文ツリーを処理しています。

type Expression =
    | Number of int
    | Add of Expression * Expression
    | Multiply of Expression * Expression
    | Variable of string

let rec Evaluate (env: Map<string, int>) exp =
    match exp with
    | Number n -> n
    | Add(x, y) -> Evaluate env x + Evaluate env y
    | Multiply(x, y) -> Evaluate env x * Evaluate env y
    | Variable id -> env[id]

let environment = Map [ "a", 1; "b", 2; "c", 3 ]

// Create an expression tree that represents
// the expression: a + 2 * b.
let expressionTree1 = Add(Variable "a", Multiply(Number 2, Variable "b"))

// Evaluate the expression a + 2 * b, given the
// table of values for the variables.
let result = Evaluate environment expressionTree1

このコードを実行すると、result の値は 5 になります。

相互再帰的な判別可能 Union 型

F# の判別共用体は相互に再帰的にすることができます。つまり、複数の共用体の型が再帰的な方法で相互に参照できます。これは、階層構造または相互接続された構造をモデル化する場合に便利です。相互再帰判別共用体を定義するには、and キーワードを使用します。

例として、式がステートメントを含み、ステートメントが式を含むことができるような抽象構文木 (AST) の表現について考えてみましょう。

type Expression =
    | Literal of int
    | Variable of string
    | Operation of string * Expression * Expression
and Statement =
    | Assign of string * Expression
    | Sequence of Statement list
    | IfElse of Expression * Statement * Statement

メンバー

判別共用体でメンバーを定義できます。次の例からは、プロパティを定義し、インターフェイスを実装する方法を確認できます。

open System

type IPrintable =
    abstract Print: unit -> unit

type Shape =
    | Circle of float
    | EquilateralTriangle of float
    | Square of float
    | Rectangle of float * float

    member this.Area =
        match this with
        | Circle r -> Math.PI * (r ** 2.0)
        | EquilateralTriangle s -> s * s * sqrt 3.0 / 4.0
        | Square s -> s * s
        | Rectangle(l, w) -> l * w

    interface IPrintable with
        member this.Print () =
            match this with
            | Circle r -> printfn $"Circle with radius %f{r}"
            | EquilateralTriangle s -> printfn $"Equilateral Triangle of side %f{s}"
            | Square s -> printfn $"Square with side %f{s}"
            | Rectangle(l, w) -> printfn $"Rectangle with length %f{l} and width %f{w}"

ケースの `.Is*` プロパティ

F# 9 以降、判別可能な Union 型では、ケースごとに自動生成された .Is* プロパティが公開されるため、値が特定のケースであるかどうかを確認できます。

これを使用する方法は次のとおりです。

type Contact =
    | Email of address: string
    | Phone of countryCode: int * number: string

type Person = { name: string; contact: Contact }

let canSendEmailTo person =
    person.contact.IsEmail      // .IsEmail is auto-generated

共通の属性

判別共用体では、次の属性が一般的に使用されます。

[<RequireQualifiedAccess>]
[<NoEquality>]
[<NoComparison>]
[<Struct>]

次の方法で共有

判別共用体

構文

Remarks

判別共用体のラップ解除

構造体の判別共用体

オブジェクト階層ではなく、判別共用体を使用する場合

ツリーデータ構造への判別共用体の使用

相互再帰的な判別可能 Union 型

メンバー

ケースの `.Is*` プロパティ

共通の属性

関連項目

その他のリソース

次の方法で共有

判別共用体

構文

Remarks

判別共用体のラップ解除

構造体の判別共用体

オブジェクト階層ではなく、判別共用体を使用する場合

ツリー データ構造への判別共用体の使用

相互再帰的な判別可能 Union 型

メンバー

ケースの .Is* プロパティ

共通の属性

関連項目

その他のリソース

ツリーデータ構造への判別共用体の使用

ケースの `.Is*` プロパティ