我正在编写一个检索二进制数据并支持将其一般转换为原始类型的类。它应该尽可能高效。这是它现在的样子:
public abstract class MemorySource {
public abstract Span<byte> ReadBytes(ulong address, int count);
public unsafe bool TryRead<T>(ulong address, out T result) where T : unmanaged {
Span<byte> buffer = ReadBytes(address, sizeof(T));
result = default;
// If the above line is commented, `result = ref <...>` won't compile, showing CS0177.
if (!buffer.IsEmpty) {
result = ref Unsafe.As<byte, T>(ref buffer.GetPinnableReference());
return true;
} else
return false;
}
}
由于我正在使用大量内存,因此我的代码将执行大量小型读取操作。我想尽量减少内存被复制的次数。
该ReadBytes
实现将a)在堆上已经存在的数组的一部分上创建一个跨度,或者b) stackalloc
一个缓冲区并用来自远程源的数据填充它(取决于我将使用的数据)。关键是,它不会自己在堆上分配任何东西。
我希望我的TryRead<T>
方法返回对跨度内存的类型化引用,而不是将该内存复制到新值中,我想知道这是否可能。我注意到我不能在没有初始化的情况下ref
为out
参数赋值,但我可以,如果我们假设我正在分配一个引用,这就没有意义了。
我想我要问的是,这段代码到底发生了什么?我是返回对现有值的引用,还是将该值复制到新的堆栈分配值中?堆栈分配和堆分配的跨度的行为有何不同?T
如果使用堆分配的跨度,GC 是否知道在移动数据时更新类型的引用?
无论如何,原始类型都是值类型,因此在读取它们时您不必担心在堆上分配。
您不能使用stackalloc
此代码,因为您不能(或不应尝试)返回指向它的指针,因为它将在函数结束时被销毁。
到目前为止,您拥有的代码很危险,因为您正在返回一个实际上并未固定的可固定引用。
您遇到ref
参数问题的原因是因为else
您根本没有分配它。您应该将result = default;
线移到else
分支中。
无论哪种方式,您最好使用MemoryMarshal
所有这些,请注意,这不需要不安全的代码
public bool TryRead<T>(ulong address, out T result) where T : unmanaged
{
ReadOnlySpan<byte> buffer = ReadBytes(address, sizeof(T));
if (!buffer.IsEmpty)
{
result = MemoryMarshal.Read<T>(buffer);
return true;
}
result = default;
return false;
}
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句