Учебники

F # — изменяемые данные

Февраль 14, 2019

Переменные в F # являются неизменяемыми, что означает , что как только переменная связана со значением, она не может быть изменена. Они фактически скомпилированы как статические свойства только для чтения.

Следующий пример демонстрирует это.

пример

Live Demo

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

Следующий пример прояснит концепцию —

пример

Live Demo 

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

Использование изменяемых данных

Изменяемые данные часто требуются и используются при обработке данных, особенно в структуре данных записи. Следующий пример демонстрирует это —

Live Demo 

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()

Когда вы компилируете и запускаете программу, она выдает следующий вывод:

40
Share: