.Net CIL jmpオペコードとジェネリックメソッド

Question

私はjmpオペコードの使い方を見ていますが、これまでのところ、ジェネリックメソッドを呼び出すことはできませんでした（’）。私のテストでは、その引数を返すメソッドと、最初のメソッドにジャンプするjmpオペコードだけのメソッドがあります。私の問題は、非一般的な方法（例えば、に次のId2のシグネチャを持つシグネチャを使用）にジャンプすると実行時にエラーが発生しない一方、一般的な方法（例：jmp !!0 Program::Id<int32>(!!0)にID： static T Id<T>(T x)）“ Common Language Runtimeが無効なプログラム”の例外を検出しました。その問題の原因は何か？

P.S. ：ここで’ s a gistと私のテストで使用していたCIL。 Id2にジャンプし、Idにジャンプする行のコメントをIdIntに書き込むと、前述の例外を除いて実行時に失敗します。 IdIntとId2には、StringBuilder doesn ’のような参照型が返されますが、それは失敗します。

Answer 1

ECMA-335パーティションIIIセクション3.37 - JMP、言う：メタデータトークンである方法で指定された方法に

転送制御（methodref又は methoddefいずれか（パーティションIIを参照）。現在の引数は、宛先方法に転送される。

両方MemberRefとMethodDefトークンは、非ジェネリックメソッドおよびオープンジェネリックメソッドを参照することができるが、閉じたジェネリックメソッドを参照することは許容されるように記載されていないMethodSpecトークンを必要とします。

jmpがジェネリックメソッドをサポートしていない可能性があるのは、同じジェネリックメソッドの異なるインスタンス化でネイティブコードを再利用するjitsの機能を妨げるからです。