F # chức năng có thể thay đổi đối số

Question

Có cách nào để có đối số chức năng có thể thay đổi trong F #, mà sẽ cho phép một cái gì đó giống như

let mutable i = 9 

let somefun n = n <- 12;() 

somefun i 

(* *not* a real-world example *) 

Tôi hiểu rằng điều này có thể được thực hiện để làm việc bằng cách gói nó thành một loại bản ghi

type SomeRec = { mutable i: int } 

let ri = { i = 9 } 

let someotherfun r = r.i <- 12;() 

và điều này có thể được thực hiện theo cách tương tự cho các thành viên của lớp học. Tuy nhiên, ngay cả sau khi duyệt qua toàn bộ Đặc tả Ngôn ngữ F # (vâng, tôi đã làm!), Dường như không có cú pháp nào để cho phép trường hợp đầu tiên, và trình biên dịch dường như không hài lòng về việc thử nó. Tôi đã hy vọng sẽ có một số loại chú thích, nhưng có thể biến đổi không thể được sử dụng trong đó. Tôi cũng biết rằng tôi không nên làm điều này ở nơi đầu tiên, nhưng trường hợp đầu tiên (int ràng buộc) và thứ hai (loại record) là giống hệt về mặt ngữ nghĩa, và bất kỳ phản đối như vậy sẽ giữ cho cả hai trường hợp như nhau.

Vì vậy, tôi nghĩ rằng tôi đang thiếu thứ gì đó ở đây.

Answer 1

Bạn có thể sử dụng ref như các đối số

let v = ref 0 
let mutate r = 
    r := 100 
mutate v 
printfn "%d" !v 

Hoặc ByRef từ khóa

let mutable v = 0 
let mutate (r : byref<_>) = 
    r <- 100 
mutate &v 
printfn "%d" v 

Answer 2

Sử dụng byref từ khóa đó là tương đương với C# ref. Xem phần "Đi qua tham chiếu" tại http://msdn.microsoft.com/en-us/library/dd233213.aspx