C＃实例构造器，类型构造器 －笔记

实例构造器: （引用类型）

 实例构造器是一种特殊的方法,他们负责将类型(Class) 的实例初始化到一个良好的状态.对于可验证的代码,CLR要求每个类(引用类型)至少定义一个实例构造器。（可以是公开或私有）

在创建一个实例时系统将执行以下三个步骤：
1）首先为改实例分配内存；
2）然后初始化对象的附加成员（即方法表指针和一个SyncBlockIndex）；
3）最后调用类型的构造器设置对象的初始状态。

在默认情况下，如果我们没有显式为其定义实例构造器，许多编译器（包括C＃）都会为我们定义一个共有的无参构造器。

 

// C# 编译器会为我们自动的定义一个默认的公有无参构造器
class  SomeType
... {
}

// 上面的类型定义等同于下面的类型定义

class  SomeType
... {
  public SomeType()
  ...{
  }
}

 

 一个类型可以定义多个实例构造器，每个构造器都必须有一个不同的签名。

多个构造器可以有不同的访问限制。

一个类的实例构造器在访问其积累的继承字段之前，必须调用基类的实例构造器。
  （许多编译器，包括C＃，都会自动产生对积累默认构造器（如果有的话）的调用代码，所以一般情况下，我们不用担心这个问题。

在少数情况下，类型实例的创建不需要调用实例构造器。例如：
1）调用Object的MemberwiseClone方法。
2）在反序列化一个对象时，通常也不会调用构造器。

class  SomeType
... {
    Int32 x=5;
    String s="Hello";
    Double d= 3.14;
    Byte b;
    
    //下面是一些构造器
    public SomeType() ...{...}
    public SomeType(Int32 x) ...{...}
    public SomeType(String s(...,d=10;)
    
}

当编译器为以上三个构造器方法产生代码时的步骤：
1）每个方法的开始出都将包括 x, s, d 的初始化的代码。
2）在这些初始化代码之后，编译器才会为各个构造器添加出现在其中的代码。
  例如：对于接受String参数的那个构造器，编译器产生的代码首先时初始化x,s,d, 然后才是将10赋值给d。

* 如果我们有一些需要初始化的实例字段，以及有许多重载的构造方法，我们应该考虑在定义字段的时候避免同时对他们进行初始化，相反，我们应该将这些公共的初始化语句放在一个初始化构造器中。然后让其他的构造器显式调用这个初始化构造器，这将有效减少生成代码的尺寸。

以上代码可以改为

class  SomeType
... {
    Int32 x;
    String s;
    Double d;
    Byte b;
    
    //下面是一些构造器
    public SomeType() 
    ...{
        x=5;
        s="Hello";
        d=3.14;
    }
    public SomeType(Int32 x) :this()
    ...{        this.x=x;    }
    
    public SomeType(String s):this()
    ...{
        this.s=s;
        d=10;
    }
    
}

实例构造器：（值类型）

1）CLR没有强制要求值类型中必须定义构造器方法。

2）CLR允许我们位置类型定义构造器。
       （注意：但C＃不允许我们为一个值类型定义无参构造器）－编译器会抛出出错提示。

3）一个值类型的实例构造器只有当被显式调用时才会执行。（与引用类型的实例构造器不同）

struct  SomeValType
... {
    Int32 x，y;
    public SomeValType(Int32 x) ...{
        this.x=this.y=x;
    }
}
// 正确的定义

class  Ra  ... {
    public SomeValType val;
    public Ra()
    ...{
        val= new SomeValType(1);
    }
}
// 必须显式使用构造器。

// 以下是错误内容

struct  SomeValType
... {
    Int32 x=5；
}
// 错误：因为C＃不允许值类型有无参构造器，在编译时会出错：结构中不能有实例字段初始值设定项

struct  SomeValType
... {
    Int32 x，y;
    public SomeValType(Int32 x) ...{
        this.x=x;
    }
}
// 错误：y没有被初始化，C＃编译器抛出错误：。。。在控制离开构造器前，字段SomeValType.y必须完全赋值。

 

类型构造器（又成为静态构造器，类构造器）

1）默认情况下，一个类型中没有定义类型构造器。

2）如果要定义类型构造器，也只能定义一个。

3）并且，类型构造器不能有任何参数

// 当SomeType第一次被访问是执行
class  SomeType
... {
    static Int32 x;    
    static SomeType()
    ...{
        x=10;
    }
}
struct  SomeType
... {
    static Int32 x;    
    static SomeType()
    ...{
        x=10;
    }
}

 

4）类型构造器必须是static,而且总是私有方式（默认只能由CLR完成，不能显式指定）

5）类型构造器中的代码只能访问类型的静态字段，并且通常他的目的就是初始化这些静态字段。

6）注意：类型构造器不应该调用其基类型的类型构造器。
    不需要这样作是因为基类型中的静态字段并没有被派生类型所继承（而只是编译时静态绑定）

7）类型构造器的生成代码的顺序与实例构造器中的处理方式完全相同