.NET 2.0/C# 中泛型方法的元数据的签名格式是什么？

Question

例如，在 C# 中使用 out 关键字的方法中的参数将显示在元数据签名中，前面带有与号 &。 我正在尝试为通用方法创建签名，但我不想使用元数据 API 来解决这个问题，它肯定记录在某处吗？

以下是 Socket 类上的 BeginReceiveFrom 含义的示例：

        System.IAsyncResult([]System.Byte,System.Int32,System.Int32,
    System.Net.Sockets.SocketFlags,&System.Net.EndPoint,
System.AsyncCallback,System.Object)

Answer 1

对于非构造类型，有一个反引号，后跟参数数量，例如

List`1
Dictionary`2

来自 ECMA 335，第 10.7.2 节：

10.7.2 类型名称和元数编码

符合 CLS 的泛型类型名称使用格式“name[`arity]” 进行编码，其中 [...] 表示重音字符“`”和 arity > 一起是可选的。 编码名称应遵循以下规则：

1. 名称应为不包含“`”字符的ID（请参阅分区 II）。
2. arity 指定为不带前导零或空格的无符号十进制数。
3. 对于普通泛型类型，arity 是在该类型上声明的类型参数的数量。
4. 对于嵌套泛型类型，arity 是新引入类型的数量
   参数。

不确定构造类型......

Answer 2

要声明泛型方法，您可以使用 !!T 来引用泛型参数：

.method public static void Method<T1, T2>(!!T1 arg1, !!T2 arg2) {
    // ...
}

或者您可以使用它们的编号：

.method public static void Method<T1, T2>(!!0 arg1, !!1 arg2)

并调用您提供实例化的泛型方法。 但是，实例化中引用的类型是关于调用的方法，而不是您调用它的位置：

ldc.i4.1
newobj instance void [mscorlib]System.Object::.ctor()

// !!0 and !!1 refer to the generic parameters of Method<T1, T2>,
// not any generic method this call instruction is part of
call void Method<int32, object>(!!0,!!1)

如果该方法是泛型类型的一部分，则可以使用指定类型实例化>!T 以类似的方式引用类型参数。 请注意，按照惯例，泛型类型在类型名称后有一个 `，后跟泛型参数的数量：

call instance void MyGenericType`1<int32>::Method(!0)