これはbyrefの有効な使用法ではないのはなぜですか？

Question

let iter2D (map: 'T byref -> unit) (arr: 'T[][]) = 
    for y = 0 to arr.Length - 1 do 
     let row = arr.[y] 
     for x = 0 to row.Length - 1 do 
      let mutable elem = arr.[y].[x] 
      map &elem 

最後の行には、「変数 'elem'のアドレスはこの時点で使用できません。どうしましたか？

Answer 1

F＃'T byrefは通常の型として表示されますが、表の下にはありません。これはC＃のrefとoutのパラメータに対応しています。これらはメソッド引数の特殊な注釈です。このため、'T byrefはF＃でちょっと奇妙です。

私は機能T1 -> T2が方法T2 Invoke(T1 arg)でFSharpFunc<T1, T2>としてコンパイルされているので、あなたは、通常のF＃の機能を通してそれを使用することはできませんだと思う - それは本当のタイプではないとして、あなたは（ジェネリックにbyrefタイプを渡すことはできません）。これにより

type FastAction<'T> = delegate of 'T byref -> unit 

、あなたがアレイの上に直接iter2Dその繰り返し処理を記述することができます：

この問題を回避するには、byrefタイプがあり、独自のデリゲートを定義することです

let iter2D (map:FastAction<'T>) (arr: 'T[][]) = 
    for y = 0 to arr.Length - 1 do 
     let row = arr.[y] 
     for x = 0 to row.Length - 1 do 
      map.Invoke(&arr.[y].[x]) 

以下はその後、変異します配列内の値：

let arr = [| [| 0 |] |] 
iter2D (FastAction(fun a -> a <- 10)) arr