C# - 这两种实例化类属性的方式有什么区别？

Question

这里有基本的 C# 问题。

在声明类属性/字段时或在相关对象的构造函数中创建类属性/字段的实例有什么区别。例如：

public class MyClass
{
    public MyObject = new MyObject();
}

对

public class MyClass
{
    public MyObject;

    public MyCLass()
    {
        MyObject = new MyObject();
    }
}

Answer 1

具有初始化器的字段在调用基础构造函数之前在被初始化，而如果初始化器在主体中，则仅在调用基础构造函数之后被执行.

如果基础构造函数调用虚方法，这可能是相关的 - 但我个人会尽量避免这种情况。

示例代码：

public class Base
{
    public Base()
    {
        Dump();
    }

    public virtual void Dump() {}
}

public class Child : Base
{
    private string x = "Initialized at declaration";
    private string y;

    public Child()
    {
        y = "Initialized in constructor";
    }

    public override void Dump()
    {
        Console.WriteLine(x); // Prints "Initialized at declaration"
        Console.WriteLine(y); // Prints "" as y is still null
    }
}

Answer 2

我编译了这些 C# 代码：

public class MyClass1
{
    public MyObject MyObject = new MyObject();
}
public class MyClass2
{
    public MyObject MyObject;

    public MyClass2()
    {
        MyObject = new MyObject();
    }
}

我得到了 IL 程序集：

我的班级1：

.class public auto ansi beforefieldinit test.MyClass1
       extends [mscorlib]System.Object
{
  .field public class test.MyObject MyObject
  .method public hidebysig specialname rtspecialname 
          instance void  .ctor() cil managed
  {
    // code size:       19 (0x13)
    .maxstack  8
    IL_0000:  ldarg.0
    IL_0001:  newobj     instance void test.MyObject::.ctor()
    IL_0006:  stfld      class test.MyObject test.MyClass1::MyObject
    IL_000b:  ldarg.0
    IL_000c:  call       instance void [mscorlib]System.Object::.ctor()
    IL_0011:  nop
    IL_0012:  ret
  } // end of method MyClass1::.ctor

} // end of class test.MyClass1

我的班级2：

.class public auto ansi beforefieldinit test.MyClass2
       extends [mscorlib]System.Object
{
  .field public class test.MyObject MyObject
  .method public hidebysig specialname rtspecialname 
          instance void  .ctor() cil managed
  {
    // code size:       21 (0x15)
    .maxstack  8
    IL_0000:  ldarg.0
    IL_0001:  call       instance void [mscorlib]System.Object::.ctor()
    IL_0006:  nop
    IL_0007:  nop
    IL_0008:  ldarg.0
    IL_0009:  newobj     instance void test.MyObject::.ctor()
    IL_000e:  stfld      class test.MyObject test.MyClass2::MyObject
    IL_0013:  nop
    IL_0014:  ret
  } // end of method MyClass2::.ctor
} // end of class test.MyClass2

很明显，区别仅在于基类构造函数（System.Object::.ctor()）、MyObject 初始化程序（test.MyObject::.ctor()）和类初始化程序的调用顺序(stfld class test.MyObject test.MyClass2::MyObject)

在第一种情况下，MyClass1 初始化如下：

• MyObject 初始化器
• 类初始化器（构造函数赋值）
• 基类初始化器（基类构造器）

但是，MyClass2 按该顺序初始化：

• 基类初始化器（基类构造器）
• MyObject 初始化器
• 类初始化器（构造函数赋值）

Answer 3

您还可以使用静态构造函数，该构造函数在您可以初始化静态变量的任何其他构造函数之前被调用

public class Bus
{
   private static object m_object= null;

    // Static constructor:
    static Bus()
    {
        m_object = new object();

        System.Console.WriteLine("The static constructor invoked.");
    }

    public static void Drive()
    {
        System.Console.WriteLine("The Drive method invoked.");
    }
}

class TestBus
{
    static void Main()
    {
        Bus.Drive();
    }
}

Answer 4

重要的是要注意（在 C# 中）对字段的初始化程序分配将在调用任何基类构造函数之前发生（正如 this question 关于是否可以强制 VB 做同样的事情所证明的那样）。

这意味着您不能使用初始化语法来引用基类的字段（即您不能直接将此 VB 翻译成 C#）：

Public Class Base
    Protected I As Int32 = 4
End Class

Public Class Class2
    Inherits Base

    Public J As Int32 = I * 10
End Class