C# 检查对象是否为 Span<T>

Question

目前我正在 .NET Core 3.1 下编写 C# 代码以检查当前类型（我使用 Mono.Cecil，但 System.Reflection 可能更适合）是否为 Span 类型。找到有关如何检查类型是否为generic 的信息后，我为此类检查编写了一些虚拟代码：

        unsafe
        {
            IntPtr unmanagedHandle = Marshal.AllocHGlobal(16);
            Span<byte> unmanaged = new Span<byte>(unmanagedHandle.ToPointer(), 16);
            if (unmanaged is object)
                if ((unmanaged as object).GetType().GetGenericTypeDefinition() == typeof(Span<>))
                    Console.WriteLine("Span!");
            Marshal.FreeHGlobal(unmanagedHandle);
        }

尽管官方 MSDN 文档说 Span<> IS an object，但在编译时，我遇到了警告和错误：CS0184 警告 "unmanaged" is never of the "object" 类型，而 CS0039 告诉 "System.Span<byte>" cannot be converted to "object" via a reference conversion, boxing conversion, unboxing conversion, wrapping conversion, or null type conversion。至少，文档指出Span<> 不是通常的object。

是否有任何其他方法（只有一个依赖项Mono.Cecil）来确定某些object（或至少由IntPtr 引用的另一条基础数据）是否是Span 派生的？

Answer 1

Span<T> 是一个ref（仅堆栈）结构，这意味着它不能保存到object 类型的变量中，因为它不能被装箱。

来自Span<T> docs（强调我的）：

Span 是一个 ref struct，它分配在堆栈上而不是托管堆上。 Ref struct 类型有许多限制，以确保它们不能被提升到托管堆，包括 不能装箱，不能分配给 Object 类型的变量 [.. .]

所以当你有一个变量或参数object obj，你知道obj永远不会是一个Span<T>，因为obj总是指向堆上的一个对象（例如当你将一个整数存储在obj，会自动装箱成堆对象）。

但是它可能是Memory<T>，它是Span<T> 的非仅堆栈（普通结构）等价物。

Answer 2

好吧，我知道这实际上并不好，但我必须处理名称检查方法。由于System.Span<T> 类的半对象（无论）性质，我们无法将Span 与任何对象进行比较，但我们可以使用typeof(System.Span<byte>) 之类的比较。这只有在我们总是知道初步的情况下才有用，如何（即，与T）Span 可以实例化，但实际上这不是我的情况。除了名称检查之外，似乎没有可靠的机制来区分Span。因此，检查类型名称似乎是唯一合适的方法。

使用Mono.Cecil，我将TypeReference用于以下条件：

bool IsSpanType(TypeReference type) {
    return type.FullName.StartsWith("System.Span`1");
}

如您所见，没有快乐的结局，但它工作得很好。而且我看不出有任何理由进行更多的偏执检查（例如检查TypeReference 的此类属性，例如Scope、ElementType 或其他任何东西）。