明示的なフィールド: val キーワード (F#)

[アーティクル]
02/21/2013

val キーワードを使用すると、クラス型や構造体型のフィールドを初期化せずに宣言することができます。この方法で宣言されたフィールドを、明示的なフィールドと呼びます。val のキーワードのもう一つの使用は自動実装プロパティを宣言する member のキーワードとともにあります。自動実装プロパティの詳細については、プロパティ (F#)を参照してください。

 val [ mutable ] [ access-modifier ] field-name : type-name

解説

クラス型や構造体型のフィールドを定義するには、通常、let 束縛を使用します。ただし、let 束縛はクラスコンストラクターの一部として初期化する必要があり、それが常に可能または必要であるとは限りません。または、それが望ましくない場合もあります。初期化されていないフィールドが必要な場合は、val キーワードを使用できます。

明示的なフィールドは、static である場合も、static でない場合もあります。access-modifier は、public にすることも、private にすることも、internal にすることもできます。既定値は public です。常に private であるクラスの let 束縛とは、この点が異なります。

プライマリコンストラクターを持つクラス型の明示的なフィールドには、DefaultValue 属性が必要です。この属性は、フィールドが 0 に初期化されることを示します。したがって、フィールドの型がゼロ初期化をサポートしている必要があります。型が次のいずれかに当てはまる場合は、ゼロ初期化がサポートされます。

値 0 を持つプリミティブ型。
通常値、異常値、または値の表現として null 値をサポートする型。これには、クラス、タプル、レコード、関数、インターフェイス、.NET 参照型、unit 型、および判別共用体型が含まれます。
.NET 値型。
すべてのフィールドで既定値 0 がサポートされている構造体。

注意
メモは、.NET Framework 名前空間 System.ComponentModel 同じ名前を持つ属性が含まれています。この属性については、DefaultValueAttributeを参照してください。

次のコードは、プライマリコンストラクターを持つクラスで明示的なフィールドを使用する方法を示しています。比較のために、let 束縛の使用方法も示します。let バインドされたフィールド myInt1 が private であることに注意してください。let バインドされたフィールド myInt1 をメンバーメソッドから参照する際には、自己識別子 this は必要ありません。ただし、明示的なフィールド myInt2 および myString を参照する際には、自己識別子が必要です。

type MyType() =
    let mutable myInt1 = 10
    [<DefaultValue>] val mutable myInt2 : int
    [<DefaultValue>] val mutable myString : string
    member this.SetValsAndPrint( i: int, str: string) =
       myInt1 <- i
       this.myInt2 <- i + 1
       this.myString <- str
       printfn "%d %d %s" myInt1 (this.myInt2) (this.myString)

let myObject = new MyType()
myObject.SetValsAndPrint(11, "abc")
// The following line is not allowed because let bindings are private.
// myObject.myInt1 <- 20
myObject.myInt2 <- 30
myObject.myString <- "def"

printfn "%d %s" (myObject.myInt2) (myObject.myString)

出力は次のとおりです。

11 12 abc

30 def

次のコードは、プライマリコンストラクターのないクラスで明示的なフィールドを使用する方法を示しています。この場合は、DefaultValue 属性は必要ありませんが、型で定義されているコンストラクターですべてのフィールドが初期化される必要があります。

type MyClass =
    val a : int
    val b : int
    // The following version of the constructor is an error
    // because b is not initialized.
    // new (a0, b0) = { a = a0; }
    // The following version is acceptable because all fields are initialized.
    new(a0, b0) = { a = a0; b = b0; }

let myClassObj = new MyClass(35, 22)
printfn "%d %d" (myClassObj.a) (myClassObj.b)

出力は 35 22 になります。

次のコードは、構造体で明示的なフィールドを使用する方法を示しています。構造体は値型であるため、フィールドの値を 0 に設定する既定のコンストラクターが自動的に含まれます。したがって、DefaultValue 属性は必要ありません。

type MyStruct =
    struct
        val mutable myInt : int
        val mutable myString : string
    end

let mutable myStructObj = new MyStruct()
myStructObj.myInt <- 11
myStructObj.myString <- "xyz"

printfn "%d %s" (myStructObj.myInt) (myStructObj.myString)

出力は 11 xyz になります。

明示的なフィールドは、日常的に使用するためのものではありません。通常、可能な場合は、明示的なフィールドではなくクラスの let 束縛を使用してください。明示的なフィールドは、特定の相互運用のシナリオ (ネイティブ API に対するプラットフォーム呼び出しで使用される構造体を定義する場合など) や、COM 相互運用のシナリオで使用できます。詳細については、「外部関数 (F#)」を参照してください。プライマリコンストラクターを持たないクラスを生成する F# コードジェネレーターを使用している場合にも、明示的なフィールドが必要になることがあります。そのほかに、スレッドの静的変数や、それに似た構成要素に対しても使用できます。詳細については、「ThreadStaticAttribute」を参照してください。

キーワード member val が型定義にまとめて表示されると、自動的に実装されたプロパティの定義です。詳細については、「プロパティ (F#)」を参照してください。

参照

その他の技術情報

メンバー (F#)

次の方法で共有

明示的なフィールド: val キーワード (F#)

解説

参照

関連項目

その他の技術情報

その他のリソース