8、C 变量与类型转换全解析

C# 变量与类型转换全解析

1. 变量基础

1.1 变量传递与输出参数

变量在作为函数成员调用的输出参数传递之前，无需明确赋值。函数成员调用后，作为输出参数传递的每个变量在该执行路径中被视为已赋值。在函数成员内部，输出参数最初被视为未赋值，并且函数成员的每个输出参数在函数成员返回之前必须明确赋值。

1.2 局部变量

局部变量通过局部变量声明来定义，可出现在块、 for 语句或 switch 语句中。当控制进入包含局部变量声明的块、 for 语句或 switch 语句时，局部变量开始存在；当控制离开这些结构时，局部变量消失。局部变量不会自动初始化，没有默认值，在明确赋值检查时，初始被视为未赋值。若局部变量声明包含变量初始值设定项，则该变量在其整个作用域内被视为已明确赋值，但初始值设定项表达式内除外。在局部变量作用域内，在变量声明符之前引用该局部变量是错误的。

1.3 默认值

以下类型的变量会自动初始化为默认值：
- 静态变量
- 类实例的实例变量
- 数组元素

变量的默认值取决于其类型：
- 值类型变量的默认值与该值类型的默认构造函数计算的值相同。
- 引用类型变量的默认值为 null 。

1.4 明确赋值

在函数成员的可执行代码中的某个位置，如果编译器通过静态流分析能够证明变量已自动初始化或至少被赋值一次，则该变量被视为已明确赋值。明确赋值规则如下：