1.7通用类型系统

CLR是完全围绕类型展开的,所以Microsoft指定了一个正式的规范,叫”通用类型系统”(Common Type System,CTS),它描述了类型的定义和行为.

CTS规范规定,一个类型可以包含零个或多个成员:

1.        字段(Field)  一个数据变量,是对象状态的一部分,根据名称和类型来区分

2.        方法(Method)  一个函数,能针对对象执行操作,通常会改变对象的状态.方法有一个名称、一个签名以及一个或多个修饰符

3.        属性（Property） 对于调用者,像是一个字段.对伊类型的实现者,像是一个方法(或者两个方法,成为getter和setter,或者称为取值方法和复制方法),可利用属性创建只读或只写的”字段”

4.        事件(Event) 事件在对象以及其他相关对象之间实现了一个通知机制,如按钮的事件,被单击之后通知其他对象

CTS指定了类型可视性规则以及类型成员的访问规则:

1.        private 成员只能由同一个类类型中的其他成员访问

2.        family(protected) 成员可由派生类型访问,不管是否在同一个程序集中

3.        family and asscmbly 成员只能由在同一个程序集中的派生类型访问(C#和Visual Basic不提供)

4.        assembly(internal) 成员可由同一个程序集的任何代码访问

5.        family or assembly(protected internal) 成员可由任何程序集中的派生类访问.

6.        public 成员可由任何程序集中的任何代码访问

注:括号部分为c#

“代码的语言”可以不同,但”代码的行为”都是完全一致的,因为最终是由CLR的CTS来定义类型的行为.

System.Object类型允许做下面的事情:

1.        比较两个实例的相等性

2.        获取实例的哈希码

3.        查询一个实例的真正类型

4.        执行实例的按位拷贝

5.        获取实例对象的当前状态的一个字符串表示

1.8公共语言规范

Microsoft定义了一个”公共语言规范”(Common Language Specification,CLS),它详细定义了一个最小功能集,任何编译器生成的类型要想兼容于由其他”符合CLS、面向CLR的语言”所生成的组件,就必须支持这个最小功能集.

將[assembly:CLSComplicant(true)]这个attribute应用于程序集,attribute告诉编译器检查public类型,判断是否存在任何不合适的构造,阻止了从其他编程语言中访问该类型.

1.9 与非托管代码的互操作性

CLR支持三种互操作情形:

1.        托管代码能调用DLL中的以恶搞非托管函数  托管代码可以采取一种名为P/Invoke(Platform Invoke)的机制来调用DLL中包含的函数.FCL中定义的许多类型都要在内部调用从Kernel32.dll、User32.dll等导出函数.例如,C#应用程序可调用Kernel32.dll导出的CreateSemaphore函数

2.        托管代码可使用现有的COM组件(服务器)  利用来自非托管COM组件的类型库,可创建一个托管程序集来描述COM组件,托管代码可以像访问其他任何托管类型一样访问托管程序集中的类型.

3.        非托管代码可使用托管类型(服务器)  使用托管代码可以更简单地实现非托管代码要求提供的COM组件,这就避免了所有代码都不得不喝引用计数以及接口打交道.例如,可以使用C#来创建一个ActiveX空间或者一个shell扩展.