C第4章.docVIP

4. 类型 C# 语言的类型划分为两大类：值类型和引用类型。 type:（类型：） value-type（值类型）reference-type（引用类型） 第三种类型是指针，只能用在不安全代码中。第 A.2 节对此做了进一步的探讨。 值类型与引用类型的不同之处在于：值类型的变量直接包含其数据，而引用类型的变量存储对其数据的引用，后者称为对象。对于引用类型，两个变量可能引用同一个对象，因此对一个变量的操作可能影响另一个变量所引用的对象。对于值类型，每个变量都有自己的数据副本，对一个变量的操作不可能影响另一个变量。 C# 的类型系统是统一的，因此任何类型的值都可以按对象处理。C# 中的每个类型直接或间接地从 object 类类型派生，而 object 是所有类型的最终基类。引用类型的值都被当作“对象”来处理，这是因为这些值可以简单地被视为是属于 object 类型。值类型的值则通过执行装箱和取消装箱操作（第 4.3 节）亦按对象处理。 4.1 值类型 一个值类型或是结构类型，或是枚举类型。C# 提供一个称为“简单类型”的预定义的结构类型集。简单类型通过保留字标识。 value-type:（值类型：） struct-type（结构类型）enum-type（枚举类型） struct-type:（结构类型：） type-name（类型名称）simple-type（简单类型） simple-type:（简单类型：） numeric-type（数值类型）bool numeric-type:（数值类型：） integral-type（整型）floating-point-type（浮点类型）decimal integral-type:（整型：） sbytebyteshortushortintuintlongulongchar floating-point-type:（浮点类型：） floatdouble enum-type:（枚举类型：） type-name（类型名） 值类型的变量总是包含该类型的值。与引用类型不同，值类型的值不可能为 null，也不可能引用派生程度较大的类型的对象。 值类型的变量赋值会创建所赋的值的一个副本。这不同于引用类型的变量赋值，引用类型的变量赋值复制的是引用而不是由引用标识的对象。 4.1.1 System.ValueType 类型 所有值类型从类 System.ValueType 隐式继承，后者又从类 object 继承。任何类型都不可能从值类型派生，因此，所有值类型都是隐式密封的（第 10.1.1.2 节）。 注意，System.ValueType 本身不是值类型。相反，它属于“类类型”，所有值类型都从它自动派生。 4.1.2 默认构造函数 所有值类型都隐式声明一个称为默认构造函数的公共无参数实例构造函数。默认构造函数返回一个零初始化实例，它就是该值类型的默认值。 对于所有“简单类型”，默认值是将其所有位都置零的位模式所形成的值： 对于 sbyte、byte、short、ushort、int、uint、long 和 ulong，默认值为 0。 对于 char，默认值为 \x0000。 对于 float，默认值为 0.0f。 对于 double，默认值为 0.0d。 对于 decimal，默认值为 0.0m。 对于 bool，默认值为 false。 对于“枚举类型”E，默认值为 0。 对于“结构类型”，默认值是通过将所有值类型字段设置为它们的默认值、将所有引用类型字段设置为 null 而产生的值。 与任何其他实例构造函数一样，值类型的默认构造函数也是用 new 运算符调用的。出于效率原因，实际上，不必故意调用它的构造函数。在下面的示例中，变量 i 和 j 都被初始化为零。 class A void F int i 0; int j new int ; 由于每个值类型都隐式地具有一个公共无参数实例构造函数，因此，一个结构类型中不可能包含一个关于无参数构造函数的显式声明。但允许结构类型声明参数化实例构造函数（第 11.3.8 节）。 4.1.3 结构类型 结构类型是一种值类型，它可以声明常数、字段、方法、属性、索引器、运算符、实例构造函数、静态构造函数和嵌套类型。有关结构类型的介绍详见第 11 节。 4.1.4 简单类型 C# 提供称为简单类型的预定义结构类型集。简单类型通过保留字标识，而这些保留字只是 System 命名空间中预定义结构类型的别名，详见下表。 保留字 化名的类型 sbyte System.SByte byte System.Byte short System.Int16 ushort System.U