Почему это недействительное использование 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 выглядит как обычный тип, но под прикрытием, это не так - она ​​соответствует ref и out параметров в C# и те специальные аннотации аргументов метода. Вот почему 'T byref немного странно в F #.

Я думаю, вы не сможете использовать его через обычную F функции #, так как функция T1 -> T2 скомпилирована как FSharpFunc<T1, T2> с методом T2 Invoke(T1 arg) - и вы не можете передать byref типа дженерик (как это не реальный типа).

Обойти это можно определить свой собственный делегат, который имеет byref тип:

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

С этим, вы можете написать iter2D что итерирует непосредственно над массивом:

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