Unsafe.AsPointer<T>(ref T value) 是如何工作的?

How Unsafe.AsPointer<T>(ref T value) works?

在 C# 中,您不应该能够创建指向托管类型的指针,但是使用 API 您可以使用 Unsafe.AsPointer<T>.

https://www.nuget.org/packages/System.Runtime.CompilerServices.Unsafe/

我使用 ILSpy 查看源代码,我看到了这个:

[MethodImpl(MethodImplOptions.AggressiveInlining)]
[System.Runtime.Versioning.NonVersionable]
public unsafe static void* AsPointer<T>(ref T value)
{
    return &value;
}

还有其他类似的API:

//Unity.Collections.LowLevel.Unsafe.UnsafeUtility
public unsafe static T ReadArrayElement<T>(void* source, int index)
{
    return *(T*)((byte*)source + index * sizeof(T));
}

这是如何工作的以及如何复制这种行为?

有问题的代码不是有效的 C# 代码,可能一开始就不是用 C# 编写的。您看到的是 ILSpy 的底层代码的 C# 表示 - C# 语法能够表示这一点,因为它只是一个编译器规则,表明您无法获得指向托管类型的指针。

我的猜测(我不知道这是一个事实)有问题的代码首先是用 IL 编写的 - 如果你将它反编译为 IL,你会发现它是一个微不足道的位:

.method public hidebysig static 
    void* AsPointer<T> (
        !!T& 'value'
    ) cil managed flag(0100) 
{
    .custom instance void 
        System.Runtime.Versioning.NonVersionableAttribute::.ctor() = (
        01 00 00 00
    )
    // Method begins at RVA 0x2190
    // Code size 3 (0x3)
    .maxstack 1

    IL_0000: ldarg.0
    IL_0001: conv.u
    IL_0002: ret
} // end of method Unsafe::AsPointer

(来自System.Runtime.CompilerServices.Unsafe.dll。)

托管实例被加载到堆栈上,然后它只是作为无符号指针值返回。

如果您想重新创建此行为,您可以 - 只需在 IL 中编写 DLL 并编译它,然后从任何其他支持指针的 .NET 语言引用它。