明示的なフィールド: val キーワード

[アーティクル]
05/10/2023

val キーワードを使用すると、クラス型または構造体型の値を格納する場所を初期化せずに宣言することができます。この方法で宣言された保存場所は、"明示的なフィールド" と呼ばれます。 val キーワードの別の用途として、member キーワードと組み合わせて自動実装プロパティを宣言する方法があります。自動実装プロパティの詳細については、「プロパティ」を参照してください。

構文

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

解説

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

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

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

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

たとえば、someField と呼ばれる変更できないフィールドには、.NET によるコンパイル済み表現を使用した、someField@ という名前のバッキングフィールドが含まれており、ユーザーは someField という名前のプロパティを使用して、格納されている値にアクセスします。

変更可能なフィールドの場合、.NET によるコンパイル済み表現は .NET フィールドになります。

警告

.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 になります。

mutable フィールドのある構造体を mutable キーワードを使用しないで初期化する場合、割り当ては割り当ての直後に破棄される構造体のコピーで機能することに注意してください。そのため、構造体は変更されません。

[<Struct>]
type Foo =
    val mutable bar: string
    member self.ChangeBar bar = self.bar <- bar
    new (bar) = {bar = bar}

let foo = Foo "1"
foo.ChangeBar "2" //make implicit copy of Foo, changes the copy, discards the copy, foo remains unchanged
printfn "%s" foo.bar //prints 1

let mutable foo' = Foo "1"
foo'.ChangeBar "2" //changes foo'
printfn "%s" foo'.bar //prints 2

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

キーワード member val が型定義にまとめて表示された場合は、自動的に実装されたプロパティの定義です。詳細については、「プロパティで定義されているインターフェイスのプライベート C++ 固有の実装です。

明示的なフィールド: val キーワード

構文

解説

関連項目

フィードバック

その他のリソース