我有一个.NET库，并且我想进一步了解.NET的内部工作原理。因此，我正在研究ECMA-335规范并使用CFF Explorer VII。
我的问题是，在TypeSpec表中，签名是Blob堆的索引，并且应为23.2.14节中所述的TypeSpec签名。这意味着它可以是PTR，FNPTR，ARRAY，SZARRAY，GENERICINSTANCE（为简便起见删除了ELEMENT_TYPE_）。
但是，我在此TypeSpec表中有两个条目，这些条目似乎未被元数据中的任何其他表引用，并且类型为VAR 0x13和MVAR 0x1e。
该程序集是在VS2010中针对.NET 4编译的。
ECMA-335使我相信这是一个错误，但已使用MS C＃编译器进行了编译。
有人知道他们是什么，什么意思吗？
更新：
在经过大量混乱之后，此代码在TypeSpec表中创建了这两个条目。
public class AllOutputTypesClass<T> {
public void GenericMethod<N>(N anItem) {
string s = anItem.ToString();
}
public string GenericMethod<N>(T anItem, N secondItem) {
return anItem.ToString();
}
}
最佳答案
如果您使用ILDasm，则可以很好地了解这些方法，请转到视图->元信息->选择更多十六进制。然后去查看->元信息->显示！
这是第二种方法的细分：
Method #2 (06000002)
-------------------------------------------------------
MethodName: GenericMethod (06000002)
Flags : [Public] [HideBySig] [ReuseSlot] (00000086)
RVA : 0x0000206c
ImplFlags : [IL] [Managed] (00000000)
CallCnvntn: [DEFAULT]
hasThis
generic
Type Arity:1
ReturnType: String
2 Arguments
Argument #1: Var!0
Argument #2: MVar!!0
Signature : 30 01 02 0e 13 00 1e 00
1 Generic Parameters
(0) GenericParamToken : (2a000003) Name : N flags: 00000000 Owner: 06000002
2 Parameters
(1) ParamToken : (08000002) Name : anItem flags: [none] (00000000)
(2) ParamToken : (08000003) Name : secondItem flags: [none] (00000000)
如果进一步向下滚动，还将看到TypeSpec表条目。
TypeSpec＃1（1b000001）
TypeSpec : MVar!!0
Signature: 1e 00
TypeSpec＃2（1b000002）
TypeSpec : Var!0
Signature: 13 00
上面的ILdasm显示的是VAR（13 00）是在类级别传递的泛型！T（类型定义中的泛型参数），而MVAR（1e 00）是在方法级别传递的泛型!! N（类型中的泛型参数）方法定义）。
但是……您已经知道很多，Orion拥有您的答案-TypeSpec表中的条目正在IL中使用。一种方法中使用一个条目，另一种方法中使用另一个条目。当您查看方法时，可以在ILdasm中看到：
.method /*06000001*/ public hidebysig instance void
'GenericMethod'<'N'>(!!'N' 'anItem') cil managed
// SIG: 30 01 01 01 1E 00
{
// Method begins at RVA 0x2050
// Code size 16 (0x10)
.maxstack 1
.locals /*11000001*/ init ([0] string 's')
IL_0000: /* 00 | */ nop
IL_0001: /* 0F | 01 */ ldarga.s 'anItem'
IL_0003: /* FE16 | (1B)000001 */ constrained. !!'N'/*1B000001*/
IL_0009: /* 6F | (0A)000011 */ callvirt instance string ['mscorlib'/*23000001*/]'System'.'Object'/*01000001*/::'ToString'() /* 0A000011 */
IL_000e: /* 0A | */ stloc.0
IL_000f: /* 2A | */ ret
} // end of method 'AllOutputTypesClass`1'::'GenericMethod'
和
.method /*06000002*/ public hidebysig instance string
'GenericMethod'<'N'>(!'T' 'anItem',
!!'N' 'secondItem') cil managed
// SIG: 30 01 02 0E 13 00 1E 00
{
// Method begins at RVA 0x206c
// Code size 19 (0x13)
.maxstack 1
.locals /*11000001*/ init ([0] string 'CS$1$0000')
IL_0000: /* 00 | */ nop
IL_0001: /* 0F | 01 */ ldarga.s 'anItem'
IL_0003: /* FE16 | (1B)000002 */ constrained. !'T'/*1B000002*/
IL_0009: /* 6F | (0A)000011 */ callvirt instance string ['mscorlib'/*23000001*/]'System'.'Object'/*01000001*/::'ToString'() /* 0A000011 */
IL_000e: /* 0A | */ stloc.0
IL_000f: /* 2B | 00 */ br.s IL_0011
IL_0011: /* 06 | */ ldloc.0
IL_0012: /* 2A | */ ret
} // end of method 'AllOutputTypesClass`1'::'GenericMethod'
0x1b表是TypeSpec，因此上述方法中的以下几行显示了您想知道的两行的用法：
IL_0003: /* FE16 | (1B)000001 */ constrained. !!'N'/*1B000001*/
和
IL_0003: /* FE16 | (1B)000002 */ constrained. !'T'/*1B000002*/