如何在F＃中定義x ++（其中x：int ref）？

Question

我目前使用此功能

let inc (i : int ref) = 
    let res = !i 
    i := res + 1 
    res 

寫東西像

let str = input.[inc index] 

如何定義遞增運算符++，這樣我就可以寫

let str = input.[index++] 

Answer 1

中不能定義後綴運算符F＃ - 見4.4 Operators and Precedence。如果您同意使它的前綴，而不是，那麼你可以定義，例如，

let (++) x = incr x; !x 

和如下使用它：

let y = ref 1 
(++) y;; 

val y : int ref = {contents = 2;} 

UPDATE：爲fpessoa指出++不能是確實用作真正的前綴運算符（關於包含有效的F＃前綴運算符的字符和字符序列的規則，請參見here和there）。

有趣的是，一元+可以被重載爲目的：

let (~+) x = incr x; !x 

允許

let y = ref 1 
+y;; 

val y : int ref = {contents = 2;} 

儘管如此，是有意義提及迭代的陣列等的想法下面

let v = [| 1..5 |] 
let i = ref -1 
v |> Seq.iter (fun _ -> printfn "%d" v.[+i]) 

爲了「可讀性」至少看起來st範圍與慣用的功能性方式相比

[|1..5|] |> Seq.iter (printfn "%d") 

哪些人已經發起了對原始問題的評論。

Answer 2

我試圖把它寫成前綴運算符的建議，但是你不能將（++）定義爲一個合適的前綴運算符，也就是說，像沒有（）的情況下運行++對於（！+）：

let (!+) (i : int ref) = incr i; !i 

let v = [| 1..5 |] 
let i = ref -1 
[1..5] |> Seq.iter (fun _ -> printfn "%d" v.[!+i]) 

對不起，但我想答案是，實際上你甚至不能這樣做。