爲什麼我們需要在MSIL中顯式調用父構造函數？

Question

我剛剛花了幾個小時被NullReferenceException弄糊塗了，我認爲那裏不應該有一個。我正在建造的一類，像這樣：

public class MyClass : MyBase<Foo> 
{ 
    public MyClass() 
    { 
     base.Method(Foo.StaticField); 
    } 
} 

其中

public class MyBase<T> 
{ 
    private SomeObject bar = new SomeObject(); 

    public void Method(object o) 
    { 
     this.bar.AnotherMethod(o); // exception thrown here 
    } 
} 

基本上我的IL是以下幾點：

ctorIl.Emit(OpCodes.Ldarg_0); 
ctorIl.Emit(OpCodes.Ldsfld, staticField); 
ctorIl.Emit(OpCodes.Box, typeof(FieldType)); 
ctorIl.Emit(OpCodes.Call, parentMethod); 
ctorIl.Emit(OpCodes.Ret); 

，我終於想通它必須是bar沒有被實例化。我構建了我的類在C＃中並編譯了一下，發現唯一的區別是，下面應該是IL上述上面：

ctorIl.Emit(OpCodes.Ldarg_0); 
ctorIl.Emit(OpCodes.Call, parentCtor); 
// as above 

有了這些行，我的代碼現在將按預期。

所以我的問題是：

1. 爲什麼我們需要顯式調用基類的構造實例字段？
2. 有沒有調用基礎構造函數的合法用法？
3. ...如果沒有，爲什麼CLR接受它作爲一個有效的程序？

Answer 1

1. ，因爲它不是自動的，它可以讓編譯器和IL代碼來決定兩個當和如果調用基類的構造
2. 好，你可以真正實例類型而無需使用任何構造函數......邊緣案例，當然;但允許
3. ，因爲它允許

注意，你實際上可以在一個單一的方法發出一個簡單的構造（包括鹼基調用）：

typeBuilder.DefineDefaultConstructor();