C#创建类型

类（Class）

最常见的一种引用类型

class YourClassName
{
}

class前面可以加上一些关键字，比如public、private、abstract、static、readonly

class后面是这个类的名称，类型名称后面也可以跟一些东西，比如泛型类、继承的父类等

字段（Fields）

是Class或Struct的成员，它是一个变量

class Octopus
{
    string name;
    public int Age = 10;
}

readonly修饰符

• readonly修饰符防止字段在构造之后被改变
• readonly字段只能在声明的时候被赋值，或在构造函数里被赋值

字段的初始化

• 字段可以可选的初始化
• 未初始化的字段有一个默认值
• 字段的初始化在构造函数之前运行

同时声明多个字段

static readonly int legs = 8, eyes = 2;

方法

• 一个方法通常有一些语句组成，执行某个动作
• 参数
• 返回类型
• void
• ref/out

方法的签名

类型类方法的签名必须唯一

签名：方法名、参数类型（含顺序，但与参数名称和返回类型无关）

Expression-bodied methods (C# 6)

int Foo (int x)
{
    return x * 2;
}

int Foo (int x) => x * 2;

void Foo (int x) => Console.WriteLine (x);

第一个是一个常规的写法，第二个就是第一个的Expression-bodied方法的形式。当然没有返回类型的也可以这样写，这种写法只适用于一些简单的方法，单表达式的方法。

方法的重载（Overloading methods）

类型里的方法可以进行重载（允许多个同名的方法同时存在），只要这些方法的签名不同就行

void Foo (int x) {...}
void Foo (double x) {...}
void Foo (int x, float y) {...}
void Foo (float x, int y) {...}

在看一个特殊点的方法的例子

void Foo (int x) {...}
float Foo (int x) {...} // 编译时报错，签名相同，因为签名不包含方法的返回类型
void Goo (int[] x) {...}
void Goo (params int[] x) {...} // 编译时错误，签名相同，因为签名不包含参数类型的修饰符（params去掉就是一样的）

按值传递 和 按引用传递

参数是按值传递的还是按引用传递的，也是方法签名的一部分

void Foo (int x) {...}
void Foo (ref int x) {...} // 是可以的

因为参数的传递方式是不同的，一个是值类型，一个是引用类型，所以签名不一致，是可以的，下面这样就不行了：

void Foo (int x) {...}
void Foo (ref int x) {...} // 是可以的
void Foo (out int x) {...} // 编译时错误

后两个方法的参数类型和方法名都是一样的，而且都是按引用传递，所以后两个的签名是一样的

本地方法（C# 7）

一个方法在另一个方法的里面，就叫本地方法（Local methods）

void WriteCubes()
{
    Console.WriteLine (Cube (3));
    Console.WriteLine (Cube (4));
    Console.WriteLine (Cube (5));
    int Cube (int value) => value * value * value;
}

• 本地方法仅对封闭方法可见，Cube仅在WriteCubes方法内可见
• 本地方法可以出现在其他函数类型中，例如属性访问器、构造函数等
• 本地方法也可以是迭代器或异步方法
• static修饰符对于本地方法是无效的

构造函数

• 运行class或struct的初始化代码
• 和方法差不多，方法名和类型一致，返回类型也和类型一致，但不写了

 看一个构造的例子：

public class Panda
{
    string name; // 定义字段
    public Panda (string n) // 定义构造函数
    {
        name = n; // 初始化代码
    }
}

……
Panda p = new Panda ("Petey"); // 调用构造函数

构造函数允许以下修饰符

• 访问修饰符： public internal private protected
• 非托管代码修饰符： unsafe extern

从C#7开始，允许单语句的构造函数写成expression-bodied成员的形式，上面的Panda类的构造函数可以写成如下形式：

public Panda (string n) => name = n;

构造函数的重载

• class和struct可以重载构造函数
• 调用重载构造函数时使用this

看下例子：

public class Wine
{
    public decimal Price;
    public int Year;

    public Wine (decimal price) 
    {
        Price = price;
    }

    public Wine (decimal price, int year) : this (price)
    {
        Year = year;
    }
}

• 当同一个类型下的构造函数A调用构造函数B的时候，B先执行

看下下面的例子：

public class Wine
{
    public decimal Price;
    public int Year;

    public Wine (decimal price) 
    {
        Price = price;
        Console.WriteLine("1");
    }

    public Wine (decimal price, int year) : this (price)
    {
        Year = year;
        Console.WriteLine("2");
    }
}

调用构造函数var wine = new Wine(25m, 1988);

结果是先输出1，再输出2

• 可以把表达式传递给另一个构造函数，但表达式本身不能使用this引用，因为这时候对象还没有被初始化，所以任何方法的调用都会失败，但是可以使用static方法。

无参构造函数

• 对于class，如果你没有定义任何构造函数，那么C#编译器会自动生成一个无参的public构造函数
• 但是如果你定义了构造函数，那么这个无参的构造函数就不会被编译器生成了

构造函数和字段的初始化顺序

• 字段的初始化发生在构造函数执行之前
• 字段按照声明的先后顺序进行初始化

非public的构造函数

构造函数可以不是public的，看个例子：

public class Class1
{
    Class1() {} // 私有的构造函数
    
    public static Class1 Create (...)
    {
        // 在这里执行自定义的逻辑来返回Class1的实例
        ...
    }
}

那么获取类的实例则无法在通过new关键字获取了，而是通过类内部的创建实例的静态方法获取：var instance = Class1.Create();

单例模式则可以这么写

Deconstructors (C# 7)

C#7引入了deconstructor模式，作用基本和构造函数相反，它会把字段反赋给一堆变量

有一些要求，比如方法名必须是Deconstruct，有一个或多个out参数

class Rectangle
{
    public readonly float Width, Height;
    public Rectangle (float width, float height)
    {
        Width = width;
        Height = height;
    }
    public void Deconstruct (out float width, out float height)
    {
        width = Width;
        height = Height;
    }
}

调用析构函数，我们可以下面的方式

var rect = new Rectangle (3, 4);
(float width, float height) = rect; // Deconstruction
Console.WriteLine (width + " " + height); // 3 4

第二行就是调用析构函数，当然，它也可以这么写，似乎更好理解一点

float width, height;
rect.Deconstruct (out width, out height);

或者以下的方法都是可以的：

rect.Deconstruct (out var width, out var height);
//或者这样
(var width, var height) = rect;
//或这样
var (width, height) = rect;
//或这样
float width, height;
(width, height) = rect;

析构函数，可以重载，也可以是扩展方法，扩展方法这里就不展开说了

对象初始化器（Object Initializers）

对象任何可访问的字段/属性在构造之后，可通过对象初始化器直接为其进行设定值

下面是一个Bunny类，包含一个无参的构造函数和一个有参的构造函数

public class Bunny
{
    public string Name;
    public bool LikesCarrots;
    public bool LikesHumans;
    public Bunny () {}
    public Bunny (string n) { Name = n; }
}

使用对象初始化器实例化Bunny对象

// 无参的构造函数可以省略掉小括号
Bunny b1 = new Bunny { Name="Bo", LikesCarrots=true, LikesHumans=false };
Bunny b2 = new Bunny ("Bo") { LikesCarrots=true, LikesHumans=false };

上面的这个对象初始化器的代码，就相当于下面的这段代码：

Bunny temp1 = new Bunny(); // temp1 是编译器生成的名称
temp1.Name = "Bo";
temp1.LikesCarrots = true;
temp1.LikesHumans = false;

Bunny b1 = temp1;

Bunny temp2 = new Bunny ("Bo");
temp2.LikesCarrots = true;
temp2.LikesHumans = false;

Bunny b2 = temp2;

临时变量是为了确保如果在初始化过程中发生了异常，那么不会以一个初始化了一半的对象而结束

对象初始化器与可选参数

如果不使用初始化器，上面例子中的构造函数也可以使用可选参数：

public Bunny (string name, bool likesCarrots = false, bool likesHumans = false)
{
    Name = name;
    LikesCarrots = likesCarrots;
    LikesHumans = likesHumans;
}

那么在调用的时候可以这么调用，name是必须的，后面两个参数可传可不传：

Bunny b1 = new Bunny (name: "Bo", likesCarrots: true);

可选参数方式有个优点，可以做到让Bunny类的字段/属性只读，也有个缺点，每个可选参数的值都被嵌入到了调用栈（calling site），C#会把构造函数的调用翻译成下面的形式：

Bunny b1 = new Bunny ("Bo", true, false);

其实我们使用了两个参数，最后一个值我们没有用，但是它把这个值嵌入进去（默认值）

这个可选参数的缺点，有时候可能会引起一些问题，比如，我们在另一个程序集里实例化这个类，然后为这个Bunny再添加了一个参数，变成4个参数了，这个时候就可能有问题，因为如果另一个程序集没有重新编译，那么调用的就还是原来的三个参数的构造函数，然后一运行运行时就会报错了；还有一种情况是，如果改变了其中一个可选参数的值，那么其他程序集的调用者调用的还是会使用原来旧的参数值，直到那些程序集被重新编译。

this 引用

this引用指的是实例的本身

public class Panda
{
    public Panda Mate;
    public void Marry (Panda partner)
    {
        Mate = partner;
        partner.Mate = this;
    }
}

this引用可以让你把字段与本地变量或参数区分开

public class Test
{
    string name;
    public Test (string name)
    {
        this.name = name;
    }
}

只有class/struct的非静态成员才可以使用this

属性（Properties）

从外部来看，属性和字段很像，但从内部看，属性含有逻辑，就像方法一样

Stock msft = new Stock();
msft.CurrentPrice = 30;
msft.CurrentPrice -= 3;
Console.WriteLine (msft.CurrentPrice);

我们从外面看不出来CurrentPrice是属性还是字段

属性的声明

属性的声明和字段的声明很像，但是多了一个get、set块

public class Stock
{
    decimal currentPrice; // The private "backing" field

    public decimal CurrentPrice // The public property
    {
        get { return currentPrice; }
        set { currentPrice = value; }
    }
}

属性的get set

• get/set代表属性的访问器
• get访问器会在属性被读取的时候运行，必须返回一个该属性类型的值
• set访问器会在属性被赋值的时候运行，有一个隐式的该类型的参数value，通常你会把value赋值给一个私有字段

属性与字段的区别

尽管属性的访问方式与字段的访问方式相同，但不同之处在于，属性赋予了实现者对获取和赋值的完全控制权。这种控制允许实现者选择任意所需的内部表示，不向属性的使用者公开其内部实现细节。

只读和计算的属性

如果属性只有get访问器，那么它就是只读的

如果属性只有set访问器，那么它就是只写的（很少这样用）

属性通常拥有一个专用的“幕后”字段（backing field），这个幕后的字段用来存储数据

decimal currentPrice, sharesOwned;
public decimal Worth
{
    get { return currentPrice * sharesOwned; }
}

Expression-bodied 属性

从C#6开始，你可以使用Expression-bodied形式来表示只读属性

public decimal Worth => currentPrice * sharesOwned;

C#7，允许set访问器也可以使用这种形式

public decimal Worth
{
    get => currentPrice * sharesOwned;
    set => sharesOwned = value / currentPrice;
}

自动属性

属性最常见的一种实践是：setter和getter只是对private field进行简单的直接的读写。自动属性声明就告诉编译器来提供这种实现

public class Stock
{
    ...
    public decimal CurrentPrice { get; set; }
}

编译器会自动生成一个幕后的私有字段，其名称不可引用

set访问器也可以是private或protected

属性初始化器

从C#6开始，你可以为自动属性添加属性初始化器

public decimal CurrentPrice { get; set; } = 123;

只读的自动属性也可以使用（只读自动属性也可以在构造函数里被赋值）

public int Maximum { get; } = 999;

get 和 set 的访问性

get和set访问器可以拥有不同的访问级别，典型的用法：public get，internal/private set

public class Foo
{
    private decimal x;
    public decimal X
    {
        get { return x; }
        private set { x = Math.Round (value, 2); }
    }
}

注意，通常属性的访问级别更宽松一些，访问器的访问级别更严一些（上面例子中的属性X的public和set的private）

CLR的属性实现

C#的属性访问器内部会编译成get_XXX 和 set_XXX

public decimal get_CurrentPrice {...}
public void set_CurrentPrice (decimal value) {...}

简单的非virtual属性访问器会被JIT编译器进行内联（inline）操作，这会消除访问属性与访问字段之间的性能差异。内联是一种优化技术，它会把方法调用换成直接使用方法体。

索引器

索引器提供了一种可以访问封装了列表值或字典值的class/struct的元素的一种自然的语法

string s = "hello";
Console.WriteLine (s[0]); // 'h'
Console.WriteLine (s[3]); // 'l'

语法很像使用数组时用的语法，但是这里的索引参数是可以是任何类型的

索引器和属性拥有同样的修饰符

可以按照下列方式使用null条件操作符：

string s = null;
Console.WriteLine (s?[0]);

实现索引器

需要定义一个this属性，并通过中括号指定参数

class Sentence
{
    string[] words = "The quick brown fox".Split();
    public string this [int wordNum] // 索引器
    {
        get { return words [wordNum]; }
        set { words [wordNum] = value; }
    }
}

使用索引器

Sentence s = new Sentence();
Console.WriteLine (s[3]); // fox
s[3] = "kangaroo";
Console.WriteLine (s[3]); // kangaroo

多个索引器

一个类型可以声明多个索引器，它们的参数类型可以不同

一个索引器可以有多个参数

public string this [int arg1, string arg2]
{
    get { ... } set { ... }
}

只读索引器

如果不写set访问器，那么这个索引器就是只读的

在C#6以后，也可以使用Expression-bodied语法

public string this [int wordNum] => words [wordNum];

CLR的索引器实现

索引器在内部会编译成get_Item和set_Item方法

public string get_Item (int wordNum) {...}
public void set_Item (int wordNum, string value) {...}

常量

• 一个值不可以改变的静态字段，在编译时值就已经定下来了
• 任何使用常量的地方，编译器都会把这个常量替换为它的值
• 常量的类型可以是内置的数值类型、bool、char、string或enum
• 使用const关键字声明，声明的同时必须使用具体的值来对其初始化

一个常量的例子：

public class Test
{
    public const string Message = "Hello World";
}

常量与静态只读字段

常量比静态只读字段更严格：

体现在两个方面，一个是可使用的类型，第二个是字段初始化的语义上

常量是在编译时进行值得估算的

public static double Circumference (double radius)
{
    return 2 * System.Math.PI * radius;
}

编译成下面的形式：

public static double Circumference (double radius)
{
    return 6.2831853071795862 * radius;
}

有一点需要注意，当值有可能改变，并且需要暴露给其它程序集的时候，静态只读字段是相对较好的选择

public const decimal ProgramVersion = 2.3;

如果Y 程序集引用了X程序集并且使用了这个常量，那么在编译的时候，2.3这个值就会固化在Y程序集里，这意味着，如果后来X重新编译了，这个常量变成了2.4，如果Y不重新编译的话，Y仍将使用2.3这个值，直到Y被重新编译，它的值才会变成2.4.静态只读字段就会避免这个问题的发生。

常量不仅仅可以作为类型的字段，它还可以作为本地常量，在方法里声明常量，例如：

static void Main()
{
    const double twoPI = 2 * System.Math.PI;
    ...
}

静态构造函数

• 静态构造函数，每个类型执行一次
• 非静态构造函数，每个实例执行一次
• 一个类型只能定义一个静态构造函数，并且必须无参、方法名与类型一致

class Test
{
    static Test()
    {
        Console.WriteLine ("Type Initialized");
    }
}

• 在类型使用之前的一瞬间，编译器会自动调用类型的静态构造函数：

一个是实例化一个类型之前，一个是访问类型的一个静态成员之前

• 只允许使用unsafe 和 extern 修饰符

如果静态构造函数跑出来未处理的异常，那么这个类型在该程序的剩余生命周期内将无法使用了

静态构造函数和字段初始化顺序

• 静态字段的初始化器在静态构造函数被调用之前的一瞬间运行
• 如果类型没有静态构造函数，那么静态字段初始化器在类型被使用之前的一瞬间执行，或者更早，在运行时突发奇想的时候就执行了
• 静态字段的初始化顺序与它们的声明顺序一致

class Foo
{
    public static int X = Y; // 0
    public static int Y = 3; // 3
}

因为是按照声明的顺序初始化的，所以X的时候Y还没有，所以是0。

class Program
{
    static void Main() { Console.WriteLine (Foo.X); } // 3
}
class Foo
{
    public static Foo Instance = new Foo();
    public static int X = 3;
    Foo() { Console.WriteLine (X); } // 0
}

在类Program里，输出的是3，因为在使用Foo类之前这个类型就已经初始化完成，所以是3，而在Foo类里面，则按照什么的先后顺序分别初始化静态构造函数，然后是静态字段，所以静态构造函数输出的是0，X还没有初始化。

静态类

类也可以是静态的，但是有个要求，就是其成员也必须全是静态的，不可以有子类。

例如：System.Console 、System.Math 等

终结器（Finalizers）

Finalizer是class专有的一种方法，在GC回收未引用对象的内存之前运行，其实就是对object的Finalize()方法重写的一种语法

这个很少用，例子：

class Class1
{
    ~Class1()
    {
        ...
    }
}

编译生成的是这样的

protected override void Finalize()
{
    ...
    base.Finalize();
}

C#7可以这样写：

~Class1() => Console.WriteLine ("Finalizing");