方法

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

构造器（constructor）是允许将类型的实例初始化为良好状态的一种特殊方法。  创建一个引用类型的实例时，首先为实例的数据字段分配内存，然后初始化对象的附加字段（类型对象指针和同步索引块），最后调用类型的实例构造器来设置对象的初始状态。   和其他方法不同，实例构造器永远不能被继承。

类的实例构造器在访问从基类继承的任何字段之前，必须先调用基类的构造器。如果派生类的构造器没有显式的调用一个基类构造器，C#编译器会自动生成对默认的基类构造器的调用。

    internal sealed class SomeType{

       private Int32 m_x=5;

       private String m_s="Hello";

       private Double m_d=3.14159;

       private Byte m_b;

       //以下是一些构造函数

       public SomeType() {...}

       public SomeType(Int32 x) {...}

       public SomeType(String s){...;m_d=10;}

 }

编译器为这三个构造器方法生成代码时，在每个方法的开始位置，都会包含用于初始化m_x，m_s，m_d的代码。在这些初始化代码之后，编译器会插入对基类构造器的调用。再然后，会插入构造器自己的代码。例如，对于获取一个String参数的构造器，编译器生成的代码首先初始化m_x，m_s，m_d，再调用基类Object的构造器，再执行自己的代码，最后用值10覆盖m_d原先的值。注意，即使没有代码显式初始化m_b，m_b也保证会被初始化为0。

 

实例构造器和结构（值类型）

CLR总是允许创建值类型的实例，并且没有办法阻止值类型的实例化。值类型并不需要定义构造器，C#编译器根本不会为值类型生成默认的无参构造器（事实上，C#编译器根本不允许为值类型定义无参构造器）。

值类型的实例构造器只有在显式调用时才会执行。

 

类型构造器（静态构造器）

类型构造器的作用是设置类型的初始状态。类型默认没有定义类型构造器，如果定义，也只能定义一个。此外，类型构造器永远没有参数。   C#会自动把它们标记为private，这是为了阻止任何开发人员写的代码调用它，对它的调用总是由CLR负责的。    类型构造器中的代码只能访问类型的静态字段，并且它的常规用途就是初始化这些字段。

 

http://blog.csdn.net/kendezhu/article/details/4915129（操作符重载方法  转换操作符重载方法）

操作符重载方法

C#中允许一个类型定义操作符该如何操作该类型的实例。CLR对操作符重载一无所知，是编程语言定义了每个操作符的含义，以及当这些特殊符号出现时应该生成什么样的代码。例如，向基元类型的数字应用+时，编译器会生成将两个数加在一起的代码，而向String应用+时，编译器会生成将连个字符串连接到一起的代码。

CLR规范要求操作符重载方法必须是public和static方法，要求重载方法至少有一个参数的类型与当前定义该重载方法的类型相同（为了使编译器在合理的时间内找到要绑定的操作符方法）

转换操作符重载方法

CLR规范要求转换操作符重载方法必须是public和static方法，要求重载方法的参数类型和返回类型必有其一与定义该方法的类型相同（为了使编译器在合理的时间内找到要绑定的操作符方法）

 

分部类，分部方法

一个源代码文件如下:

internal sealed partial class Base{

   private String m_name;

   partial void OnNameChanging(String value);       //分部方法的声明

}

另一个源代码文件如下:

internal sealed partial class Base{

   partial void OnNameChanging(String value){     //分部方法的实现

    if(String.IsNullOrEmpty(value))

        throw new ArgumentNullException("value");

   }

}

分部方法的声明，要用partial关键字标记，无主体。

分部方法的实现，要用partial关键字标记，有主体。

如果没有实现分部方法，编译器不会生成任何代表分部方法的元数据。编译器不会生成任何调用分部方法的IL指令。

分部方法只能在分部类或结构中声明。

分部方法的返回类型始终是void，任何参数都不能用out修饰符来标记。

分部方法总是被视为private方法。