C#语法杂谈

1. 值类型和引用类型

1.1 值类型

比如int，float，struct等，和C/C++中的变量差不多，但编译器会强制你必须先初始化再使用，避免一不小心使用了未初始化的变量。

1.2 引用类型

class是引用类型，其默认行为类似于引用或指针（?但可以通过重载函数改变其默认行为?）。

注：尽管教科书上一般将class归为引用类型，但我倾向于将它们看作指针类型，一方面是因为它们的行为更像是指针，另一方面是便于与函数引用参数ref区分开。

比如你定义了一个class MyClass，现在想要一个MyClass类型的变量，那么必须这样：

MyClass myClass = new MyClass();

而不能简单地MyClass myclass完事。

又如语句MyClass anotherMyClass = myClass，其效果等价于指针赋值。

1.3 总结

不管是值类型还是引用类型，编译器都强制必须先初始化后使用，因此在定义和初始化上两者并无明显区别。它们的主要区别在于赋值运算符和函数参数传递时。

2. 变量初始化

因为编译器强制变量必须初始化后再使用，因此如下代码是无法通过编译的：

int i;
if(condition) {
    i = 1;
}
Console.WriteLine(i);

由于condition的不确定，编译器无法确认i是否得到了初始化。但下面代码可以：

int i;
if(true) {
    i = 1;
}
Console.WriteLine(i);

上面的代码中，编译器可以确定i得到了初始化。类似下面的代码也是可以的：

int i;
for(;;)
{
    i = 1;
    break;
}
Console.WriteLine(i);

 P.S. 因为这个强制初始化要求，所以函数参数必须能够具备out属性用于传递一个未经初始化的变量，以避免不必要的初始化。

又P.S. 从上面代码中可以看出，圣书《C#入门经典》关于for循环体中变量作用域的解释并不正确，至少第五版是如此。书中那段不能通过编译的代码，主要原因是编译器无法确认for循环是否一定执行（尽管程序员可以确认），也就无法确认变量是否在for循环中得到了初始化，而不是因为书中那段估计作者自己都看不明白的解释（中文版第五版，正文p123-124）。

3. 数组

3.1 如上所述，数组也必须初始化后再使用，例如int[] array = new int[3]。但是可以省略数组每个元素的初始化：编译器会将它们初始化为默认值。

3.2 多维数组

其含义等价于C语言的多维数组，但语法不同，例如int[,] array = new int[3,4]。

3.3 数组的数组

数组的数组可以理解为指针数组，数组的每个元素都是个“指针”，指向另一个数组。所以初始化也分两级。例如：

int[][] array = new int[][] { new int[3], new int[4] };

4. 函数参数

void test(MyClass myClass)
{
    myClass.dosomething();
    myClass = new MyClass();
}

void test(ref MyClass myClass)
{
    myCLass.dosomething();
    myClass = new MyClass();
}

如上文所述，class的行为像指针。所以形参myClass上的dosomething()是作用于实参上的。非ref参数的test函数中，myClass=new MyClass()会覆盖形参但不会影响实参；而ref参数的test函数中，myClass=new MyClass()会同时覆盖掉实参。

5. 委托

简单情况下，委托的定义类似于class，使用起来类似于函数指针。

// 1. 定义一个委托“类”
//     下面这条语句一般位于那些可用来放置class定义的地方
delegate void MyDelegate();
// 2. 声明（并在需要时初始化）一个委托“类”的实例
MyDelegate myDelegate = MyFunction;
// 3. 使用该“类”的实例：通过委托调用函数
myDelegate();

6. virtual、override和new

如果你想要多态，在基类中使用virtual，在继承类中使用override；

如果你想要重新实现，在继承类中使用new。

7. 属性

举个栗子：很多论坛对长贴提供直接输入分页进行跳转的功能，基于C/C++/C#程序员的骄傲，在代码内部分页总是从0开始计数，但显示值总是从1开始计数：

class MyClass
{
    private int _page;
    public int page
    {
        get
        {
            return _page + 1;
       }
        set
        {
            _page = value - 1;
        }
    }
}

属性功能上类似于下面代码，但让你可以用访问成员变量的语法去访问属性。

// C#伪代码
public int get_page()
{
    return _page + 1;
}
public void set_page(int value)
{
    // value实际上是C#关键字，
    // 在set方法中使用。
    _page = value - 1;
}