.NETでは、オブジェクトのコンストラクタが実行されなかった場合でもファイナライザを実行できますか？

Question

.NETでは、オブジェクトが部分的に構築されている場合でもファイナライザが実行されることを理解しています（コンストラクタから例外がスローされた場合など）。

背景

私は、以下の効果行い、いくつかのC++/CLIのコードを持っている（私はこれはC++/CLIは固有であるとは思わないが、これは私が準備に持っている状況です）：

try { 
    ClassA ^objA = FunctionThatReturnsAClassA(); 
    ClassB ^objB = gcnew ClassB(objA); // ClassB is written in C# in a referenced project 
    ... 
} 
catch (...) {...} 

FunctionThatReturnsAClassA（）から例外がスローされ、GCがトリガーされた場合（このコードを再度実行することによって確実にトリガーされるように見えますが、しばらく待つこともできます） ClassBのファイナライザが呼び出されます。

今、トレース出力を介して、私はClassBのコンストラクタが実行されていないことを確認できます（これは当然のことです）。したがって、何らかの形で、objBは、コンストラクタを呼び出すための前提条件が満たされる前に（つまり、FunctionThatReturnsAClassA（）から結果を収集する前に）明らかに割り当てられ、ファイナライザリストに追加されました。

これは、デバッガの外部で実行される最適化されたリリースビルドでのみ発生します。たとえば、2つのステートメントの間に別のメソッド呼び出しを挿入するなど、ファイナライザが実行されないような小さな変更が多数あります。つまり、 "gcnew ClassB"を別の関数に移動してオブジェクト。

gcnewステートメントの割り当て部分が並べ替えられて前のステートメントより前に実行されているようですが、この並べ替えは生成されたMSILコードには反映されません（これは別のC++/CLIコードのgenのバグ）。さらに、生成されたMSILコードを「バグ」状態と「固定」状態のいずれかと比較すると、予期せぬ構造上の変化は見られません。

私はデバッガでも生成されたx86コードを見てきましたが、これまで見た目は変わっていませんが、深く解析していないので、デバッガでこの動作を再現できません私はデバッガから取得したコードが奇妙な動作を示すコードと同じであることを100％確信していません。

これはMSIL-> x86コードである可能性があります。または、プロセッサの命令の並べ替えを行うことができます（以前のようですが、ビヘイビアが発生したときにメモリ内の正確なコードを取得することによって - これは私の次のステップです）。

質問

だから、.NETでオブジェクトの割り当てのために離婚するために、そのオブジェクトのコンストラクタ呼び出しとは別に並べ替え有効（より良い用語の欠如のために）ですか？

Answer 1

コメントに記載されているように、答えは "はい"です。ファイナライザは、コンストラクタが実行されなかった場合や完了しなかった場合に実行できます。ただし、ファイナライザは、割り当てが発生しなかった場合（コンストラクタ呼び出しとは独立しています）は実行できません。 https://github.com/dotnet/coreclr/issues/2478