C#学习笔记二 （资源托管，泛型，数组和元组，运算符和类型强制转换）

 托管和非托管资源

1.托管资源是指GC管理的内存空间，非托管资源是指文件句柄，网络连接，数据库连接等。

2.方法中临时申请的变量，被存放在栈中。栈存储非对象成员的值数据。例如在方法中有B b=new B(); b的值在栈中，new B()的数据在堆中，相当于指针与目标数据的关系。

3.GC工作的主要方式是将不被引用的内存进行释放，然后进行数据移动，从而使得被引用的内存空间总是连接成片的。例如某个对象的位置被移动后，new B()的结果的实例的数据被移动，那么b的值也会变动，从而始终指向new B()结果的实例的位置。

4.强应用就是如b=new B()；弱引用的意义是运行被引用的对象被GC释放，比如如果b对new B()是弱引用的，某个时间点new B的结果被释放，那么b的结果就会变成null，具体如何使用现在用不到，不写了。

5.释放非托管资源的方式，可以是析构函数，finallize终结器和实现System.IDisposable接口。但无法确定析构函数何时执行，或者由于多个终结器同时运行会造成性能问题，因此最好使用IDisposable接口。

6.关于C#的指针代码，以后再学。

7.平台调用，即如果用C#调用dll中的api等，用到的时候再学。

 泛型

1.从值类型转换为引用类型成为装箱。如果方法需要把一个对象作为参数，同时传递一个值类型，装箱就会自动进行。装箱的值类型可以使用拆箱操作转换为值类型，在拆箱时，需要使用类型强制转换运算符。

2.在JIT编辑器把泛型类编译为本地代码时，会给每个类型创建一个新类。引用类型共享同一个本地类的所有共同的实现代码。这是因为引用类型在实例化的泛型类中只要4个字节的内存地址，就可以引用一个引用类型。值类型包含在实例化的泛型类的内存中，同时因为每个值类型对内存的要求都不相同，所以要为每个值类型实例化一个新类。

3.Default用于给泛型指定默认值，where用于对泛型T做出约束，如果某个方法对泛型T有要求，也可以用where的做约束;对于泛型的继承，还可以直接指定类型，如 public class B:A<int>{...}，这里直接让泛型的类型为int。

4.协变和抗变，主要和类型转换限制有关，协变<out T>，抗变<in T>。具体的懒得写。

 数组和元组

1.数组是引用类型，所以必须给它分配堆上的内存，使用new运算符。

2.锯齿数组，在初始化锯齿数组时，只在第一对方括号中设置该数组包含的行数。定义各行中元素个数的第二个方括号设置为空，因为这类数组的每一行包含不同的元素个数。 例如：int[][] jaged=new int[3][];    jaged[0]=new int[2];    jaged[1]=new int[3];    jaged[2]=new int[1];

3.用方括号声明数组是C#中使用Array类的表示法。也就是本质上是派生自Array类。可以使用Array的静态方法CreateInstance()创建数组。

4.克隆数组用Clone()，排序用Sort()方法。使用自定义的，并且使用排序，那么就必须实现IComparable接口，实现方法CompareTo()。

5.将数组作为参数，数组的协变只能用于引用类型，不能用于值类型。

6.结构ArraySegment<T>可以用来表示数组中的某一段。并且这种表示是引用方式的，即可以修改原来数组中这一段的值。

7.foreach本质使用的是IEnumerator接口的方法和属性来迭代集合中的所有元素。C#2.0添加了yield语句，以便于创建枚举器，yield return返回集合的一个元素，并移动到下一个元素上，yield break可停止迭代。对于yield迭代块即迭代器内部类的使用，以及IEnumerator的使用，参见193。

8.元组：数组合并了相同的类型的对象，二元组合并了不同类型的对象，元组使用参见197。

 运算符和类型强制转换

1.特殊运算符：check和uncheck用于判断是否越界，如byte在最大值继续加一可能变成0。is和as参见前面；sizeof用于获得字节大小；typeof用于获取类型，这里大多用于反射。nameof用于返回方法名或者类名等；？可空运算符，如int？a=null，这里主要涉及数据库中int等数据可以为空；??空合并运算符；空传播运算符，如person?.name；如果person为空，那么返回null。

2.基础类型转换：短边长，隐式转换；长变短，显式转换。但是这里短变长并不适用于基类转换为派生类。

3.装箱和拆箱可以把值类型转换为引用类型，并把引用类型转换为数据类型。

4.比较相等性：ReferenceEquas()用于比较两个类是否引用了同一个实例，Equals用于比较值类型，==运算符可以看作中间项。

5.与C++不同，C#不允许重载“=”运算符。

6.自定义索引运算符，即数组的方括号中的索引不一定是int型，可以自定义。这可以用与属性非常相似的语法来实现。如字典Dictionary就是使用非int，具体方式参考228。

7.用户可以实现类之间的隐式转换implicit和显式转换explicit，具体方式参见230。一旦在一个类的内部定义了类型强制转换，就不能在另一个类中定义相同的类型强制转换，否则转换时编译器不知道该选择哪个类型进行转换。