Fsharp-mutable-data

提供:Dev Guides
移動先:案内検索

F#-可変データ

F#の変数は*不変*です。つまり、変数が値にバインドされると、変更することはできません。 実際には、静的な読み取り専用プロパティとしてコンパイルされます。

次の例はこれを示しています。

let x = 10
let y = 20
let z = x + y

printfn "x: %i" x
printfn "y: %i" y
printfn "z: %i" z

let x = 15
let y = 20
let z = x + y

printfn "x: %i" x
printfn "y: %i" y
printfn "z: %i" z

あなたがプログラムをコンパイルして実行すると、次のエラーメッセージが表示されます-

Duplicate definition of value 'x'
Duplicate definition of value 'Y'
Duplicate definition of value 'Z'

可変変数

時々、変数に保存されている値を変更する必要があります。 プログラムの後半で宣言および割り当てられた変数の値が変更される可能性があることを指定するために、F#には mutable キーワードが用意されています。 値を変更するこのキーワードを使用して、可変変数を宣言および割り当てることができます。

*mutable* キーワードを使用すると、可変変数で値を宣言して割り当てることができます。
*let* キーワードを使用して、可変変数に初期値を割り当てることができます。 ただし、新しい後続の値をそれに割り当てるには、* <-*演算子を使用する必要があります。

例えば、

let mutable x = 10
x <- 15

次の例は、概念をクリアします-

let mutable x = 10
let y = 20
let mutable z = x + y

printfn "Original Values:"
printfn "x: %i" x
printfn "y: %i" y
printfn "z: %i" z

printfn "Let us change the value of x"
printfn "Value of z will change too."

x <- 15
z <- x + y

printfn "New Values:"
printfn "x: %i" x
printfn "y: %i" y
printfn "z: %i" z

あなたがプログラムをコンパイルして実行すると、次の出力が得られます-

Original Values:
x: 10
y: 20
z: 30
Let us change the value of x
Value of z will change too.
New Values:
x: 15
y: 20
z: 35

可変データの使用

多くの場合、特にレコードデータ構造の場合、データ処理で可変デー​​タが必要であり、使用されます。 次の例はこれを示しています-

open System

type studentData =
   { ID : int;
      mutable IsRegistered : bool;
      mutable RegisteredText : string; }

let getStudent id =
   { ID = id;
      IsRegistered = false;
      RegisteredText = null; }

let registerStudents (students : studentData list) =
   students |> List.iter(fun st ->
      st.IsRegistered <- true
      st.RegisteredText <- sprintf "Registered %s" (DateTime.Now.ToString("hh:mm:ss"))

      Threading.Thread.Sleep(1000) ( *Putting thread to sleep for 1 second to simulate processing overhead.* ))

let printData (students : studentData list) =
   students |> List.iter (fun x -> printfn "%A" x)

let main() =
   let students = List.init 3 getStudent

   printfn "Before Process:"
   printData students

   printfn "After process:"
   registerStudents students
   printData students

   Console.ReadKey(true) |> ignore

main()

あなたがプログラムをコンパイルして実行すると、次の出力が得られます-

Before Process:
{ID = 0;
IsRegistered = false;
RegisteredText = null;}
{ID = 1;
IsRegistered = false;
RegisteredText = null;}
{ID = 2;
IsRegistered = false;
RegisteredText = null;}
After process:
{ID = 0;
IsRegistered = true;
RegisteredText = "Registered 05:39:15";}
{ID = 1;
IsRegistered = true;
RegisteredText = "Registered 05:39:16";}
{ID = 2;
IsRegistered = true;
RegisteredText = "Registered 05:39:17";}