变量初始化

尽管听起来，初始化是一件不复杂的事情，事实上初始化在不同编程语言里各藏玄机。

初始化形式

初始化无非就是变量名、初始值和类型(可选)的组合，不同编程语言提供了截然不同的形式。这里把声明也当做初始化的“前期“来分析，变量声明的格式就是变量初始化去掉初始化值。

• C/ObjC/C++/Java/C#
  • 类型 变量 [= 初始值] [, 变量 = 初始值] ... ;
    • int a = 1;
  • C++11之前C++初始化(...)和{...}都可以，C++11之后统一用{}格式初始化
    • int a{10}; 或者 int arr[] {1, 2, 3}; 特别的，{}默认初始化为0.
  • C++20引入指派初始化器，可指定结构或类某个成员的初始化，其实C99早就有结构体指定初始化的方式。
    • Student s{.sex = 'M', .age = 28};
• Python
  • 不需要类型，使用 "变量 = 初始值"
    • a = 1
• Go
  • var 变量 [类型] = 初始值
    • var a int = 1
• Rust
  • let 变量 [: 类型] = 初始值;
    • let a: i32 = 1;
• JS
  • let | var 变量 = 初始值;
    • var不推荐，推荐用let.
      let today = new Date();
• Swift
  • let | var 变量 [: 类型] = 初始值;
    let a = 1
• Shell
  • 因支持命令和参数，变量名后面不能跟空格，需要用a=11, 不能用a = 11.
• 仓颉
  • var | let 变量 [: 类型] = 初始值;
• VB
  • Dim 变量名 As 数据类型 = 初始值
    可以在变量名后面加上类型，例如name$代表字符串类型。
  • VB还支持隐式声明，默认是变体类型，这种很不安全。可以在VB IDE环境菜单 --> "工具" --> "选项" --> "编辑器"中选择"要求变量声明"强制变量显式声明。
  • VB还支持字符串定长初始化，例如 Dim str As String * 8 代表str字符串长度最大为8.
• Fortran
  • <variable_type> :: <variable_name>
    integer :: sum
• Pascal
  • var 变量 : 类型 = 初始值
    多个同类型可以一起声明，但一旦有初始化就只能是一个变量：var i, j : integer = 1 是不行的。
• Kotlin
  • var | val 变量 [: 类型] = 初始值
  • val 类型的变量不能被赋值超过1次。

字符串初始化

• C/C++把字符串字面量当做指针，char *s = “hello”其实是把"hello"字符串的地址给变量s. "hello"一般存放在全局数据段或只读段。编译器需要计算出地址，当然这里没有字符串拷贝动作。
• C++ string对象初始化将发生对象构造，可能涉及到内存空间分配和拷贝。动态内存分配只发生在堆对象，栈对象内存分配栈自动完成。
• Java String对象永远是引用堆内存。

特定语句中初始化

• C++ 初始化器简化了局部代码变量初始化代码
  • Modern C++允许在if语句中包括一个初始化器，变量只能在if/elseif/else body内使用。
  • 如上，switch语句也可包含初始化。
  • C++20增加了for循环范围初始化器
    • for (std::array arr{1, 2, 3}; int i : arr) { std::cout << i << std::endl; }
  • 结构化绑定，允许将一个数组或结构体或pair的元素依次赋值给一些变量
    • std::array arr{1, 2};
    • auto [i, j]{arr}; // i == 1, j == 2

多变量初始化

• Python和Go语言提供多变量统一在赋值表达式右侧初始化，例如：
  Go语言：x, y := 1, 2

变量初始化省略缺省类型?

• 对于支持缺省类型的编程语言，初始化可以用缺省类型，编译器可以根据数值推断默认类型。但如果是声明，缺省类型就不能缺少。
  • 例如Kotlin 就遵循此规则。