A palavra-chave fixa
A fixed palavra-chave permite que você "fixe" um local na pilha para evitar que ele seja coletado ou movido durante a coleta de lixo. Ele é usado para cenários de programação de baixo nível.
Sintaxe
use ptr = fixed expression
Observações
Isso estende a sintaxe das expressões para permitir extrair um ponteiro e vinculá-lo a um nome que é impedido de ser coletado ou movido durante a coleta de lixo.
Um ponteiro de uma expressão é fixado através da fixed palavra-chave e é vinculado a um identificador através da use palavra-chave. A semântica disso é semelhante ao gerenciamento de recursos através da palavra-chave use . O ponteiro é fixo enquanto está no escopo e, uma vez fora do escopo, não é mais fixo. fixed não pode ser usado fora do contexto de uma use ligação. Você deve vincular o ponteiro a um nome com use.
O uso de deve ocorrer dentro de fixed uma expressão em uma função ou um método. Ele não pode ser usado em um escopo de nível de script ou de módulo.
Como todo código de ponteiro, este é um recurso inseguro e emitirá um aviso quando usado.
Exemplo
open Microsoft.FSharp.NativeInterop
type Point = { mutable X: int; mutable Y: int}
let squareWithPointer (p: nativeptr<int>) =
// Dereference the pointer at the 0th address.
let mutable value = NativePtr.get p 0
// Perform some work
value <- value * value
// Set the value in the pointer at the 0th address.
NativePtr.set p 0 value
let pnt = { X = 1; Y = 2 }
printfn $"pnt before - X: %d{pnt.X} Y: %d{pnt.Y}" // prints 1 and 2
// Note that the use of 'fixed' is inside a function.
// You cannot fix a pointer at a script-level or module-level scope.
let doPointerWork() =
use ptr = fixed &pnt.Y
// Square the Y value
squareWithPointer ptr
printfn $"pnt after - X: %d{pnt.X} Y: %d{pnt.Y}" // prints 1 and 4
doPointerWork()
