[C#1] 6-方法

1.实例构造器[.ctor]

默认情况下，对于引用类型，如果我们没有显示的定义实例构造器，则C#编译器会为我们定义一个无参的公有实例构造器。 一个类的实例构造器在访问基类的继承字段之前，必须调用基类的实例构造器，C#编译器会自动产生对基类默认构造器的调用代码。

特殊情况下类型实例的创建不会调用实例构造器：反序列化一个对象时、调用Object的MemberwiseClone方法克隆对象时。

C#值类型不允许定义无参的构造器，CLR允许这么做

2.类型构造器[.cctor]

类型构造器又称静态构造器。C#只允许一个静态构造器，不允许有访问修饰符[默认private]不能有参数。 静态构造器由CLR负责，一旦被调用，那么在整个应用程 序域[AppDomain]的生命周期内就不再被用；静态构造器不应该调用基类的静 态构造器，不需要这样做是因为基类的静态成员并不被派生类所继承。但是我们看 到的是派生类内部引用可基类的静态字段，事实上这不是继承而是编译时静态绑定， 其他的静态成员也是如此的。

3.操作符重载方法[operator]

CLR对操作符一无所知，它就不认识什么是操作符。但是却规范了编程语言应 该怎么重载操作符，对CLR而言，重载操作符仅仅是一些方法。如下代码:

class MyType
{
    public static MyType operator +(MyType mt1, MyType mt2)
    {
        //....
    }
}

编译器会产生一个名为op_Addition的方法，该方法上有一个specialname标记，表 示这是一个特殊的方法。当编译器看到源代码中的“+”时，就会去看其中的操作数据 类型中有哪一个定义了参数类型和操作类型兼容的、名为op_Addition的specialname 方法。如果存在就产生调用该方法的代码，如果不存在就出现编译错误了。

一些核心 的FCL类型并没有定义任何操作符重载方法（Decimal除外），因为 CLR直接提供了IL 指令支持直接操作这些类型。可以避免些性能的损失，因为如果提供了方法，最终还是 调用的IL指令，所以FCL的核心类型（如 int,byte...）就省去了这些操作符重载方法

4.转换操作符方法[implicit、explicit]

有些时候，我们需要将一个类型的对象转化为另一个类型的对象。当源类型和 目标类型都是编译器认识的基元类型时，编译器将知道产生必要的代码来执行这样 的转化[如Byte转为Int32]。但是当有一个类型不是编译器认为的基元类型时 [MyType转为Int32]，编译器将不知道怎样执行转化。为了试这些转化成为可能，须写如下代码：

class MyType
{
    private double _value;
    public MyType() { }
    public MyType(int value)
    {
        this._value = value;
    }
    public MyType(double value)
    {
        this._value = value;
    }
    public int ToInt()
    {
        return checked((int)this._value);
    }
    public double ToDouble()
    {
        return this._value;
    }
    //由int隐式转换为MyType
    public static implicit operator MyType(int value)
    {
        return new MyType(value);
    }
    //由double隐式转换为MyType
    public static implicit operator MyType(double value)
    {
        return new MyType(value);
    }
    //由MyType显示返回一个int
    public static explicit operator int(MyType myType)
    {
        return myType.ToInt();
    }
    //由MyType显示返回一个double
    public static explicit operator double(MyType myType)
    {
        return myType.ToDouble();
    }
    public override string ToString()
    {
        return this._value.ToString();
    }
}

测试代码：

static void Main(string[] args)
{
    MyType mt1 = 100;//int隐式转为MyType
    MyType mt2 = 100.06d;//double隐式转为MyType
    Console.WriteLine(mt1);
    Console.WriteLine(mt2);
    int imt1 = (int)mt1;//将MyType显式转为int
    double imt2 = (double)mt2;//将MyType显式转为double
    Console.WriteLine(imt1);
    Console.WriteLine(imt2);
}

结果如下：

转换操作符方法必须为public和static.上述四个静态方法会被编译成如下代码：

方法明总是为op_Implicit和op_Explicit.但是我们发现前两个方法签名除了返回类型不同之外其他完全相同。 这是因为CLR支持一个类型定义多个只有返回值类型不同的方法，然而很少有语言可以提供如此的能力,C#就不支持这样做。

转换学习模 版[System.Decimal类]。

5.引用参数

默认情况下。CLR对所有的方法参数都是按值传递的[值类型传值的副本，引< 用类型传引用的副本]。CLR当然也支持按引用的方式传递参数，C#中用out和ref 关键字来支持。这两个关键字告诉编译器产生额外的元数据来表示指定的参数是按 引用的方式传递的[参数的地址，而不是参数本身的值]。

从IL或者CLR的角度，out和ref实际是一样的。两者的不同是编译器会选择不同 的机制来检测我们代码。out修饰的参数在调用前可以不初始化，并且被调方法不能

接读取该参数的值，必须在方法返回之前为参数赋值。ref修饰的参数调用前则必须初 始化。

可以根据out和ref参数进行方法重载，但是它们两个之间[也就是只区分out和ref]不能构成重载。

6.可变数目参数：[params]

声明例子：

//关键字params[System.ParamArrayAttribute的简写]
//完整写法：[System.ParamArrayAttribute] string[] items
public static void Show(int num, params string[] items)
{
    //...
}

当编译器检测到方法调用时，会根据指定的方法名检查所有不含ParamArrayAttribute的方法，如果符合条件，调用该方法。如果没有找到符合条件的， 就会查找有ParamArrayAttribute特性的方法看其是否满足调用需求。 如果满足，首先会产生一系列指令来构造数据以及用指定的元素填充数据，完成上述操作后才调用该方法。

注意只有方法的最后一个参数才可以用params修饰。

7.虚方法

virtual关键字修饰的方法称为虚方法，此方法允许派生类型重写该方法。虚方法的重写[override、new]：new表示子类重写了父类的方法，但是它隐藏掉了重写的这一事实[就像是子类重新引入的方法一样，和父类没有任何关系了。显得比较"猥琐",重写了还不要让人知道]。override则显得比较"光明正大"...