C变量【DOC精选】.docVIP

变量 81 5.1 变量类别 81 5.1.1 静态变量 81 5.1.2 实例变量 81 类中的实例变量 81 结构中的实例变量 82 5.1.3 数组元素 82 5.1.4 值参数 82 5.1.5 引用参数 82 5.1.6 输出参数 82 5.1.7 局部变量 83 5.2 默认值 83 5.3 明确赋值 84 5.3.1 初始已赋值变量 84 5.3.2 初始未赋值变量 85 5.3.3 确定明确赋值的细则 85 一般语句规则 85 块语句、checked 和 unchecked 语句 86 表达式语句 86 声明语句 86 if 语句 86 switch 语句 87 while 语句 87 do 语句 87 for 语句 87 0 break、continue 和 goto 语句 88 1 throw 语句 88 2 return 语句 88 3 try-catch 语句 88 4 try-finally 语句 88 5 try-catch-finally 语句 89 6 foreach 语句 90 7 using 语句 90 8 lock 语句 90 9 简单表达式的一般规则 90 0 带有嵌入表达式的表达式的一般规则 91 1 调用表达式和对象创建表达式 91 2 简单赋值表达式 91 3 表达式 92 4 || 表达式 92 5 ! 表达式 93 6 ?: 表达式 93 5.4 变量引用 94 5.5 变量引用的原子性 94 变量 变量表示存储位置。每个变量都具有一个类型，它确定哪些值可以存储在该变量中。C# 是一种类型安全的语言，C# 编译器保证存储在变量中的值总是具有合适的类型。通过赋值或使用 ++ 和 -- 运算符可以更改变量的值。 在可以获取变量的值之前，变量必须已明确赋值 (definitely assigned)（第 5.3 节）。 如下面的章节所述，变量是初始已赋值 (initially assigned) 或初始未赋值 (initially unassigned)。初始已赋值的变量有一个正确定义了的初始值，并且总是被视为已明确赋值。初始未赋值的变量没有初始值。为了使初始未赋值的变量在某个位置被视为已明确赋值，变量赋值必须发生在通向该位置的每个可能的执行路径中。 变量类别 C# 定义了 7 种变量类别：静态变量、实例变量、数组元素、值参数、引用参数、输出参数和局部变量。后面的章节将介绍其中的每一种类别。 在下面的示例中 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 是局部变量。 静态变量 用 static 修饰符声明的字段称为静态变量 (static variable)。静态变量在包含了它的那个类型的静态构造函数（第 10.11 节）执行之前就存在了，在关联的应用程序域终止时终止。 静态变量的初始值是该变量的类型的默认值（第 5.2 节）。 出于明确赋值检查的目的，静态变量被视为初始已赋值。 实例变量 未用 static 修饰符声明的字段称为实例变量 (instance variable)。 类中的实例变量 类的实例变量在创建该类的新实例时开始存在，在所有对该实例的引用都已终止，并且已执行了该实例的析构函数（若有）时终止。 类实例变量的初始值是该变量的类型的默认值（第 5.2 节）。 出于明确赋值检查的目的，类的实例变量被视为初始已赋值。 结构中的实例变量 结构的实例变量与它所属的结构变量具有完全相同的生存期。换言之，当结构类型的变量开始存在或停止存在时，该结构的实例变量也随之存在或消失。 结构的实例变量与包含它的结构变量具有相同的初始赋值状态。换言之，当结构变量本身被视为初始已赋值时，它的实例变量也被视为初始已赋值。而当结构变量被视为初始未赋值时，它的实例变量同样被视为未赋值。 数组元素 数组的元素在创建数组实例时开始存在，在没有对该数组实例的引用时停止存在。 每个数组元素的初始值都是其数组元素类型的默认值（第 5.2 节）。 出于明确赋值检查的目的，数组元素被视为初始已赋值。 值参数 未用 ref 或 out 修饰符声明的参数为值参数 (value parameter)。 值形参在调用该参数所属的函数成员（方法、实例构造函数、访问器或运算符）时开始存在，并用调用中给定的实参的值初始化。当返回该函数成员时值参数停止存在。 出于明确赋值检查的目的，值参数被视为初始已赋值。