C＃やVB.NETではできないMSILでできることは何ですか？[閉まっている]

.NET言語で記述されたすべてのコードはMSILにコンパイルされますが、MSILを直接使用してのみ実行できる特定のタスク/操作はありますか？

MSILでは、C＃、VB.NET、F＃、j＃、その他の.NET言語よりも簡単に処理を実行できます。

これまでのところこれがあります：

1. テール再帰
2. ジェネリックCo / Contravariance
3. 戻り型のみが異なるオーバーロード
4. アクセス修飾子を上書きする
5. System.Objectから継承できないクラスがある
6. フィルタリングされた例外（vb.netで実行できます）
7. 現在の静的クラス型の仮想メソッドを呼び出します。
8. 値型のボックス版のハンドルを取得します。
9. try / faultを実行します。
10. 禁止された名前の使用。
11. 値型の独自のパラメーターなしのコンストラクターを定義します。
12. raise要素でイベントを定義します。
13. CLRでは許可されているが、C＃では許可されていない一部の変換。
14. 非main()メソッドをとして作成し.entrypointます。
15. ネイティブとの仕事intとネイティブunsigned intに直接タイプ。
16. 一時的なポインタで遊ぶ
17. MethodBodyItemのエミッタバイトディレクティブ
18. System.Exception以外のタイプをスローしてキャッチする
19. 列挙型の継承（未検証）
20. バイトの配列を（4倍小さい）intの配列として扱うことができます。
21. フィールド/メソッド/プロパティ/イベントにすべて同じ名前を付けることができます（未確認）。
22. 独自のcatchブロックからtryブロックに戻ることができます。
23. famandassemアクセス指定子にアクセスできます（protected internalfam または assemです）
24. <Module>グローバル関数を定義するためのクラス、またはモジュール初期化子への直接アクセス。

MSILでは、次の理由により戻り値の型のみが異なるオーバーロードが可能です

call void [mscorlib]System.Console::Write(string)

または

callvirt int32 ...

C＃やVBを含むほとんどの.Net言語は、MSILコードの末尾再帰機能を使用しません。

テール再帰は、関数型言語で一般的な最適化です。これは、メソッドBの呼び出しが行われるとメソッドAのスタックの割り当てを解除できるように、メソッドBの値を返すことによってメソッドAが終了したときに発生します。

MSILコードはテール再帰を明示的にサポートしており、一部のアルゴリズムでは、これは重要な最適化になる可能性があります。ただし、C＃とVBはこれを行うための命令を生成しないため、手動で（またはF＃または他の言語を使用して）実行する必要があります。

C＃で末尾再帰を手動で実装する方法の例を次に示します。

private static int RecursiveMethod(int myParameter)
{
    // Body of recursive method
    if (BaseCase(details))
        return result;
    // ...

    return RecursiveMethod(modifiedParameter);
}

// Is transformed into:

private static int RecursiveMethod(int myParameter)
{
    while (true)
    {
        // Body of recursive method
        if (BaseCase(details))
            return result;
        // ...

        myParameter = modifiedParameter;
    }
}

ローカルデータをハードウェアスタックからヒープに割り当てられたスタックデータ構造に移動することにより、再帰を削除するのが一般的です。上記のような末尾呼び出しの再帰除去では、スタックが完全に除去されます。これは非常に優れた最適化です。また、戻り値は長い呼び出しチェーンをたどる必要はありませんが、直接返されます。

ただし、いずれにしても、CILはこの機能を言語の一部として提供しますが、C＃またはVBでは手動で実装する必要があります。（ジッターもこの最適化を自由に行うことは自由ですが、それはまったく別の問題です。）

MSILでは、System.Objectから継承できないクラスを持つことができます。

サンプルコード：ilasm.exeを使用してコンパイルします更新：アセンブラが自動継承しないようにするには、 "/ NOAUTOINHERIT"を使用する必要があります。

// Metadata version: v2.0.50215
.assembly extern mscorlib
{
  .publickeytoken = (B7 7A 5C 56 19 34 E0 89 )                         // .z\V.4..
  .ver 2:0:0:0
}
.assembly sample
{
  .custom instance void [mscorlib]System.Runtime.CompilerServices.CompilationRelaxationsAttribute::.ctor(int32) = ( 01 00 08 00 00 00 00 00 ) 
  .hash algorithm 0x00008004
  .ver 0:0:0:0
}
.module sample.exe
// MVID: {A224F460-A049-4A03-9E71-80A36DBBBCD3}
.imagebase 0x00400000
.file alignment 0x00000200
.stackreserve 0x00100000
.subsystem 0x0003       // WINDOWS_CUI
.corflags 0x00000001    //  ILONLY
// Image base: 0x02F20000


// =============== CLASS MEMBERS DECLARATION ===================

.class public auto ansi beforefieldinit Hello
{
  .method public hidebysig static void  Main(string[] args) cil managed
  {
    .entrypoint
    // Code size       13 (0xd)
    .maxstack  8
    IL_0000:  nop
    IL_0001:  ldstr      "Hello World!"
    IL_0006:  call       void [mscorlib]System.Console::WriteLine(string)
    IL_000b:  nop
    IL_000c:  ret
  } // end of method Hello::Main
} // end of class Hello

protectedとinternalアクセス修飾子を組み合わせることが可能です。C＃ではprotected internal、メンバーを記述する場合、メンバーはアセンブリおよび派生クラスからアクセスできます。経由MSILあなたはアセンブリ内に派生クラスからアクセス可能なメンバーを取得することができますのみを。（私はそれがかなり役に立つかもしれないと思います！）

ああ、その時私はこれに気づかなかった。（あなたがjon-skeetタグを追加する場合、それはより可能性が高いですが、私はそれを頻繁にチェックしません。）

あなたはすでにかなり良い答えを持っているようです。加えて：

• C＃では、値型のボックス版のハンドルを取得できません。あなたはC ++ / CLIでできます
• C＃でtry / faultを実行することはできません（「fault」は「すべてをキャッチしてブロックの最後で再スローする」または「最終的には失敗時のみ」のようなものです）
• C＃で禁止されているが、合法的なILの名前はたくさんあります
• ILでは、値型に対して独自のパラメーターなしのコンストラクターを定義できます。
• C＃では、「raise」要素を使用してイベントを定義することはできません。（VB ではカスタムイベントを使用する必要がありますが、「デフォルト」イベントには含まれていません。）
• 一部の変換はCLRでは許可されていますが、C＃では許可されていません。objectC＃で経由する場合、これらは時々動作します。例については、uint [] / int [] SOの質問を参照してください。

他に何か考えたらこれに追加します...

CLRは既に一般的な共分散をサポートしていますが、C＃は4.0までこの機能を利用できません

• C＃4.0の機能
• 共/逆分散

ILでは、から派生しSystem.Exceptionたタイプだけでなく、あらゆるタイプをスローおよびキャッチできます。

ILには、仮想メソッド呼び出しcallとの違いがありcallvirtます。前者を使用すると、動的クラス型の仮想関数の代わりに、現在の静的クラス型の仮想メソッドを強制的に呼び出すことができます。

C＃にはこれを行う方法がありません。

abstract class Foo {
    public void F() {
        Console.WriteLine(ToString()); // Always a virtual call!
    }

    public override string ToString() { System.Diagnostics.Debug.Assert(false); }
};

sealed class Bar : Foo {
    public override string ToString() { return "I'm called!"; }
}

ILと同様に、VBはMyClass.Method()構文を使用して非仮想呼び出しを発行できます。上記では、これはになりますMyClass.ToString()。

try / catchでは、独自のcatchブロックからtryブロックに再び入ることができます。だから、これを行うことができます：

.try {
    // ...

  MidTry:
    // ...

    leave.s RestOfMethod
}
catch [mscorlib]System.Exception {
    leave.s MidTry  // branching back into try block!
}

RestOfMethod:
    // ...

私の知る限り、C＃またはVBではこれを行うことはできません

ILおよびVB.NETでは、例外をキャッチするときにフィルターを追加できますが、C＃v3はこの機能をサポートしていません。

このVB.NETの例はから取られhttp://blogs.msdn.com/clrteam/archive/2009/02/05/catch-rethrow-and-filters-why-you-should-care.aspx（ノートWhen ShouldCatch(ex) = Trueではキャッチ句）：

Try
   Foo()
Catch ex As CustomBaseException When ShouldCatch(ex)
   Console.WriteLine("Caught exception!")
End Try

私の知る限り、C＃で直接モジュール初期化子（モジュール全体の静的コンストラクター）を作成する方法はありません。

http://blogs.msdn.com/junfeng/archive/2005/11/19/494914.aspx

Native types
ネイティブのint型とネイティブのunsigned int型を直接操作できます（c＃では、同じではないIntPtrのみを操作できます。

Transient Pointers
一時的なポインターは、マネージ型へのポインターですが、マネージヒープにないため、メモリ内で移動しないことが保証されています。アンマネージコードをいじることなくこれをどのように有効に利用できるかは完全にはわかりませんが、stackallocのようなものを通じてのみ他の言語に直接公開されることはありません。

<Module>
必要に応じて、クラスをいじることができます（ILを必要とせずにリフレクションによってこれを行うことができます）

.emitbyte

15.4.1.1 .emitbyteディレクティブMethodBodyItem :: =…| .emitbyte Int32このディレクティブにより、ディレクティブが出現した時点で、符号なし8ビット値がメソッドのCILストリームに直接出力されます。[注：.emitbyteディレクティブはテストの生成に使用されます。通常のプログラムの生成には必要ありません。エンドノート]

.entrypoint
これにはもう少し柔軟性があります。たとえば、Mainと呼ばれないメソッドに適用できます。

仕様を読んでください。もう少し見つけられると思います。

C＃で許可されていないメソッドオーバーライドco / contra-varianceをハックできます（これは一般的な分散とは異なります！）。ここにこれを実装する方法の詳細と、パート1と2があります。

私がずっと望んでいたのは（完全に間違った理由で）Enumでの継承だったと思います。（Enumsは単なるクラスであるため）SMILで行うのは難しいことではないように見えますが、C＃構文で求められていることではありません。

ここにいくつかあります：

1. デリゲートに追加のインスタンスメソッドを含めることができます。
2. デリゲートはインターフェイスを実装できます。
3. デリゲートとインターフェイスに静的メンバーを含めることができます。

20）バイトの配列を整数の（4倍小さい）配列として扱うことができます。

CLRのxor関数はintで動作し、バイトストリームでXORを実行する必要があるため、最近これを使用して高速XOR実装を実行しました。

結果のコードは、C＃で実行された同等のコード（各バイトでXORを実行）よりも約10倍高速であると測定されました。

===

質問を編集し、これを＃20としてリストに追加するのに十分なstackoverflowストリートcredzがありません。

難読化ツールが使用するもの-フィールド/メソッド/プロパティ/イベントにすべて同じ名前を付けることができます。

列挙型の継承は実際には不可能です。

Enumクラスから継承できます。ただし、結果は特にEnumのようには動作しません。値型のようにではなく、通常のクラスのように動作します。奇妙なことは：IsEnum：True、IsValueType：True、IsClass：False

しかし、それは特に便利ではありません（人やランタイム自体を混乱させたくない場合を除きます）。

ILでSystem.Multicastデリゲートからクラスを派生させることもできますが、C＃ではこれを行うことはできません。

//次のクラス定義は不正です：

パブリッククラスYourCustomDelegate：MulticastDelegate {}

ILおよびC＃でモジュールレベル（別名グローバル）メソッドを定義することもできます。対照的に、少なくとも1つのタイプにアタッチされているメソッドのみを定義できます。