Me encontré con algo muy parecido a lo siguiente en el trabajo. Nunca antes había trabajado con una base de código C# que hiciera un uso tan intensivo de las estructuras.
He usado fixed antes para evitar que el recolector de basura mueva cosas mientras trabajo en algo inseguro usando punteros. Pero nunca lo he visto usado al tomar un puntero y pasarlo a un Span como este y luego usar el Span fuera de la declaración fija.
¿Esta bien? Supongo que dado que se administra Span, una vez que le pasamos la ubicación, si el GC mueve la ubicación de MyStruct, debería estar bien en la nueva ubicación, ¿verdad?
[StructLayout(LayoutKind.Sequential)] public unsafe struct MyInnerStruct { public uint InnerValueA; public uint InnerValueB; public float InnerValueC; public long InnerValueD; } [StructLayout(LayoutKind.Sequential)] public unsafe struct MyStruct { public MyInnerStruct Value0; public MyInnerStruct Value1; public MyInnerStruct Value2; public MyInnerStruct Value3; public MyInnerStruct Value4; public MyInnerStruct Value5; public MyInnerStruct Value6; public MyInnerStruct Value7; public MyInnerStruct Value8; public MyInnerStruct Value9; public int ValidValueCount; public Span<MyInnerStruct> Values { get { fixed (MyInnerStruct* ptr = &Value0) { return new Span<MyInnerStruct>(ptr, ValidValueCount); } } } }Este es el código fuente en .NET 6
public unsafe Span(void* pointer, int length) { _pointer = new ByReference<T>(ref Unsafe.As<byte, T>(ref *(byte*)pointer)); _length = length; }Tu codigo:
fixed (MyInnerStruct* ptr = &Value0) { return new Span<MyInnerStruct>(ptr, ValidValueCount); }Hice algunas pruebas, y siempre es seguro usar el lapso como lo hizo, incluso cuando el recolector de basura mueve el PTR.
También probé para escribir en el Span después de que el ptr se había movido y el objeto original todavía estaba correctamente actualizado.
El Span siempre devolverá los valores correctos debido a ByReference