ILのジェネリックス - いつT！が使用されるかについてのルールは何ですか？

Question

私はIL静的解析ツールを書いている、と私はジェネリック型パラメータが参照されている方法を規定する規則の理解に苦労抱えている：

（IList<T> interfaceから）このILを取る：

.property instance !T Item(
    int32 index 
) 
{ 
    .get instance !0 System.Collections.Generic.IList`1::get_Item(int32) 
    .set instance void System.Collections.Generic.IList`1::set_Item(int32, !0) 
} 

を

!Tの代わりに!0が表示されるのはなぜですか？私はそれらがVMが行く限り同等であると推測しますが、あなたが名前を持つことが保証されているときには、位置参照を使用するのは奇妙に思えます。

更新：KeyedCollection.ctorから追加の場合、：Common Language Infrastructure standardで

IL_0037: newobj instance void class System.Collections.Generic.Dictionary`2<!TKey,!TItem>::'.ctor'(class System.Collections.Generic.IEqualityComparer`1<!0>) 
IL_003c: stfld class System.Collections.Generic.Dictionary`2<!0,!1> class System.Collections.ObjectModel.KeyedCollection`2<!0,!1>::dictionary 

Answer 1

、Partition II - Metadata and File Format、節7.1 "タイプ"、それは述べて：

Type ::=  Description 
--------  ----------- 
'!'    Generic parameter in a type definition, accessed by index from 0 

だから、短い答え：なぜならそれは仕様に入っています。

長い答え：これは私の見解ですが、基本的にほとんどのILコマンドはスタックベースであり、常に位置参照をパラメータとして使用しています。それは、ILにおける共通のパターン/使用メカニズムを維持するために、位置参照がジェネリックに使用されることは意味があります。