23.10.15 《CLR via C#》 笔记6

第八章 方法

1. 实例构造器方法（引用类型）
   1. 分配内存->初始化附加字段(类型对象指针、同步块索引)->调用类型实例构造器
   2. 调用实例构造器之前,内存被归零(使没有显示重写的字段获得0或者null值)
   3. 实例构造器不能被继承
   4. 一个类型可以定义多个实例构造器;在访问基类的字段前必须先调用基类的构造器
   5. 在不调用构造器的前提下创建实例:使用Object.MemberwiseClone(初始化附加字段,然后拷贝字节数据到新对象);使用运行时序列化器反序列化对象
   6. 不要在构造器中调用虚方法(未完成继承层次结构中所有字段的初始化,即开始执行派生类型对虚方法的实现)
   7. 内联方式初始化的字段,会生成构造器中的代码来执行(有多个构造器方法,则会生成多次).优化:使用公有的构造器执行公共初始化,其它构造器显式调用这个构造器
2. 实例构造器方法(值类型)
   1. CLR总是允许创建值类型,值类型不需要定义构造器;C#编译器也不会创建默认的无参构造器
   2. 值类型定义了构造器时,只有显式调用才会执行
   3. C#不允许值类型定义无参构造器(字段被初始化为0或null)
   4. 不能在值类型中内联实例字段的初始化
   5. 值类型的构造器中必须初始化全部字段(访问类型的任何字段时,需要对全部字段赋值)
3. 类型构造器方法(静态构造器,类构造器,类型初始化器)
   1. 默认没有定义,如果定义:只能定义一个,必须无参,必须标记为static,不能有访问修饰符,不能被显式调用(调用由CLR负责,类型被首次访问时,执行代码)
   2. 为保证类型构造器在每个AppDomain只被执行一次,CLR用到了互斥线程同步锁;如果两个类型构造器包含互相引用的代码,可能会出现A未完成执行时调用B的情况
   3. 值类型的类型构造器可能不会被执行
   4. 类型构造器适合初始化单例对象
   5. 类型构造器中的代码只能访问类型的静态字段,不应该调用基类的类型构造器(不可能从基类继承静态字段)
4. 操作符重载方法
   1. 操作符重载方法必须是public和static,且至少有一个参数的类型与当前定义这个方法的类型相同;编译器为操作符重载生成对应CLS方法名(如+ ->op_Addition -> Add)
   2. 定义操作符重载:public static A operator+(A x, A y)
   3. 并不是所有语言都支持操作符重载,就算提供了形如op_Addition方法,也不能使用+运算符调用
5. 转换操作符方法(将对象从一种类型转换成另一种类型)
   1. 要将A类型转换成B类型,B应提供一个只有一个参数(类型是A)的构造器,并定义无参的公共实例方法ToA
   2. 转换操作符:public static impliccit operator B(A a)
6. 扩展方法(C#特有)
   1. 允许定义一个静态方法,并用实例方法的语法调用(方法:在第一个参数前加this关键字)
   2. 编译器检查实例方法语法的调用时,先检查该实例的类和基类是否提供相同参数、名称的类,如果没有,再是否有任何静态类定义了相同名称的方法(第一个参数用this标识,且与实例类型匹配)
   3. 规则和原则
      1. C#只支持扩展方法(也能为接口和委托定义扩展方法),不支持扩展属性,事件,操作符等
      2. 扩展方法必须在非泛型的静态类中声明,但是类名叫什么都可以
      3. 在静态类中查找扩展方法时,静态类必须具有文件作用域(不能是其他类中嵌套的静态类)
      4. 为增强性能,C#中,必须using 命名空间后才能"导入"扩展方法
      5. 如果存在两个或多个相同扩展方法会报错(允许这样定义),此时应指定静态类名,显式调用
      6. 不要将Object作为扩展方法的第一个参数(否则这个方法在所有类型上都能用)
      7. 使用时应注意版本控制的问题
   4. 扩展方法是调用一个静态方法,所以不会对调用方法的表达式的值进行null检测
   5. 编辑器会为扩展方法应用特性ExtensionAttribute(任何静态类或程序集中只要包含了扩展类就会应用这个特性(为了加速编译,提高搜索速度))
7. 分部方法
   1. 使用partial关键字,在某个源文件中声明分部方法,无主体;在另一个源文件中实现分部方法(同样使用partial关键字标记),有主体;如果没有实现分部方法,则不会产生代表分部方法的元数据
   2. 解决什么问题:一部分代码是工具生成的代码,此时开发人员要重写一个方法,首先要定义一个新的类(如果仅仅是为了重写一个方法,会产生少量系统资源浪费),如果方法是静态的或者类是密封的,则不能重写.若使用分部方法,首先工具在新的源代码文件中生成新的源码,不会使开发人员的代码收到影响(在单独的源文件中),且可以用于密封类,静态类和值类型
   3. 规则和原则
      1. 只能在分部类和结构中声明
      2. 返回类型必须是void,参数不能用out,因为方法在运行时可能不存在
      3. 分部方法的声明和实现必须使用相同的签名,如果两者都应用了定制特性,会合并方法或参数的特性
      4. 如果没有实现,则不用用委托引用这个方法
      5. 分部方法总被视为private,但是不能显式标记