《详析c#中的变量.docxVIP

5. 变量5.1 变量类型5.1.1 静态变量5.1.2 实例变量5.1.3 数组元素5.1.4 数值参数5.1.5 引用参数5.1.6 输出参数5.1.7 局部变量5.2 默认值5.3 明确赋值5.3.1 初始赋值变量5.3.2 非初始赋值变量5.4 变量引用变量变量代表数据的实际存储位置。每各变量所能存储的数值由它本身的类型决定。C＋＋语言是一种类型安全语言(type－safe language，TSL)，而且C＋＋编译器保证每一个数值被保存在相应的变量中。变量的数值可以通过赋值或者＋＋或--运算符改变。在变量被赋值以前，变量自身的类型必须被明确地声明。在下面的章节中我们会提到，变量或者被初始化的或者未初始化的。一个初始化的变量在被定义时被赋予了一个确定的初始值，而未初始化的变量在定义时并未被赋予确定的初始值。对于一个在程序某处被认为具有确定数值的IUA，必然在指向这一位置的所有可能的执行路径上存在赋值操作。 5.1 变量类型C＋＋共有七种变量类型：静态变量，实例变量，数组元素，数值参数，引用参数，输出参数和局部变量。下面的部分将分别对每一种变量类型做相关描述。例子： class A { public static int x; int y; void F(int[] v, int a, ref int b, out int c) { int i=1; c=a+b++; } } x是一个静态变量，y是一个实例变量，v[0]是一个数组元素，a是数值参数，b是引用参数，c是一个输出参数，i是一个局部变量。5.1.1 静态变量使用static修饰符定义的变量称为静态变量。静态变量在被创建并加载后生效，当被卸载后失效。静态变量的初始值为此类型变量的默认值（参见§错误！未找到引用源。节）。为了方便明确赋值检查，静态变量被认为是初始化过的。 5.1.2 实例变量 一个没有static修饰符声明的域被称为实例变量。5.1.2.1 类中的实例变量当创建某类的一个实例的时候，隶属于该类的实例变量也被生成，当不再有关于这个实例的引用而且实例的析构函数执行了以后，此实例变量失效。类中实例变量的初始值为这种类型变量的默认值（§5.2）。为了方便进行明确赋值检查，类中的实例变量是初始化过的。 5.1.2.2 结构体中的实例变量一个结构体中的实例变量与隶属与该结构体的结构体变量寿命相同。换句话说，结构体中的实例变量和其中的其他变量一样被同时创建，并且同时失效。而且该结构体中的实例变量的初始赋值状态和其中的其余变量一致。当一个结构体变量被是初始化过的,结构体的实例变量也是如此；反之如果一个结构体变量是未经初始化的时,结构体的实例变量也是未经初始化的。 5.1.3 数组元素 当任意一个数组实例被创建时，这个数组的元素也被同时创建，当不再有任何正对这个数组实例的引用时，它的元素也就此失效。 数组中每个元素的初始值为该数字元素类型的默认值。为了方便明确赋值检查，所有的数字元素都被认为是初始化的。 5.1.4 数值参数 当一个不带有ref或out修饰参数被声明时，我们称它为数值参数。 当被隶属的函数子句function member（method, constructor, accessor, operator）调用时，数值参数自动生成，同时被赋以调用中的参数值。当函数成员返回后，数值参数失效。 为了方便明确赋值检查，所有的数值参数都被认为是初始化过的。 5.1.5 引用参数 当一个带有ref修饰语的参数被声明时，我们称之为引用参数。 引用参数本身并不创建新的存储空间。同时，引用参数指向函数子句调用中作为参数给出的相关变量表征的存储空间。这样，此形式参数的数值总是等于它所指向的变量。 下面时关于引用参数的赋值规则。请注意它们同§5.1.6节中所给出的输出参数相关规则的区别。 ??在一个变量被传递给函数子句调用中相关引用参数之前，它自身必须被明确赋值，详见§5.3。 ??在函数子句界定的范围内，引用参数被认为是初始化过的。 在结构体类型的方法实例或存取程序实例中，关键字this就象是此结构体类型的引用参数，详见§7.5.7。 5.1.6 输出参数 当一个带有out修饰语的参数被声明时，我们称之为输出参数。 输出参数本身并不创建新的存储空间。同时，输出参数指向函数子句调用中作为参数给出的相关变量表征的存储空间。这样，此输出参数的数值总是等于它所指向的变量。 下面时关于输出参数的赋值规则。请注意它们同§5.1.5节中所给出的形式参数相关规则的区别。 ?? 在一个变量被传递给函数子句调用中相关输出参数之前，它自身不需要被明确地赋值，详见§5.3节。 ?? 在函数子句调用中，每个被传递给输出参数的变量被认为在该执行路径中已被赋值。 ?? 在函数子句界定的范围内，输出参数