一个 JSer 的 Dart 学习日志（二）：变量、常量

本文是“一个 JSer 的 Dart 学习日志”系列的第二篇，本系列文章主要以挖掘 JS 与 Dart 异同点的方式，在复习和巩固 JS 的同时平稳地过渡到 Dart 语言。
鉴于作者尚属 Dart 初学者，所以认识可能会比较肤浅和片面，如您慧眼识虫，希望不吝指正。
如无特殊说明，本文中 JS 包含了自 ES5 至 ES2021 的全部特性， Dart 版本则为 2.0 以上版本。

1. 关键字

（表面上的）共同点

• 变量关键字 var；
• 常量关键字 const。

不同点

1.1 var 变量的作用域

• JS 中 var 关键字声明的变量作用域是所在函数作用域，与此关联的还有一个很经典的例子（就是 for循环里 setTimeout 那个，不赘述）；
• Dart 中 var 关键字声明的变量作用域是块级作用域。

> /* JS */                          | // Dart
> function foo(){                   | foo(){
>     if(true){                     |     if(true){
>         var a = 321;              |         var a = 321;
>     }                             |     }
>     console.log(`a = ${a}`);      |     print('a = $a');
>   /* a = 321; */                  | // Getter not found: 'a'.
> }                                 | }

1.2 const 的语义不同

• JS 中， const 声明的常量可以是运行过程中临时计算得来的；
• Dart 里，const 声明的常量必须是编译时常量，即在运行前就必须确定它的值。

> /* JS */                          | // Dart
> var a = Date.now();    /* OK */   | var a = new DateTime.now();   // OK
> const b = Date.now();  /* OK */   | const b = new DateTime.now(); // NOT OK

2. 各自的特色

这里算是两种语言的特色语法大赏，因此不再列举它们的共同点。

2.1 final、late 与 let，各自的特色关键字

• JS 中引入了 let 关键字来弥补 var 的设计缺陷，但是 Dart 中的 var 本身没有这些缺陷，大概是因此，Dart 没有 let 关键字，舍不得 let 的话，可以去隔壁学习 Rust；
• Dart 中的 const 关键字声明的常量需要在编译时确定值，但是在日常编程的时候，我们有需求固定一些在运行中才能确定其值的变量，防止意外被修改，也可以给编译器提供一定的优化参考，这时候我们可以用 final，其特性可以参考 JS 中的 const；
• JS 中未指定初值的变量默认值为 undefined，而在 Dart 中虽然也有配合“空安全”的默认值 null，但是为了编写健壮性更高的代码， 可以使用 late 声明变量，表示变量没有初值，时机成熟后会为其赋值。

/* JS only */                            | /* Dart only */
> let x = 0;                             |
>                                        | final x = new DateTime.now();
> let msg;                               | late String msg;

2.2 Dart 支持声明变量类型

• Dart 是一门强类型的语言，声明变量/常量的同时也可以显式地声明其类型，但变量类型与var关键字不能并列使用。

  > var int a = 0; // 错误，`var` 与变量名不得并列使用
  > var     a = 0; // 正确，Dart 会推断类型
  >     int a = 0; // 正确，得到一个类型为 int 的变量
  >
  > const int a = 0; // 正确，得到一个类型为 int 的编译时常量
  > final int a = 0; // 正确，得到一个类型为 int 的常量
  >
  > Set<num> a = {0}; // 正确， 所得 Set 可包含 int 和 double 子项

事实上，如果不显式声明变量类型，Dart 会根据所赋的值来推断变量的类型。var a = 0中，a的类型将被推断为 int；var a = 0.1中，a 的类型则为 double。

2.3 Dart 用const确定编译时常量

Dart 中的 const 声明的变量值在编译时就已经确定了，这应该是出于性能优化考虑，将一些运行时的计算量转移到编译过程，或避免在同一程序中重复执行的额外开销。

• 编译时就能确定变量值这么好的功能，如果只有 const 能享受的话，就太浪费了，所以声明变量的值为复杂数据类型的时候，可以用 const 关键字标名这个值是一个编译时常量：

  var a = const { 123456 };
  Set<num> a = const { 123456 };

  ，但这个语法不适用于简单类型：

  var a = const 123456; // 这将无法通过编译

  。

2.4 JS 省略关键字 var

• 在 JS 中，可以省略 var ，直接命名一个变量并赋值，这个变量会自动成为一个全局变量，此即 JS 的“隐式全局变量”，这是一个名声不佳的 JS 特性，开发中应避免使用；

本文 2.2 已经提到：Dart 的 var 关键字与类型声明不能并列使用，从某种意义上来讲，也算是省略了关键字 var。

2.5 Dart 不存在变量提升

• 变量提升也是 JS 中的一个槽点，所幸 ES6+ 的 let 和 const 以“死区”的方式避免了这个槽点，证明 TC39 也不喜欢这个特性；
• Dart 是一门“正常”的语言，遵循变量先声明后使用的原则，不存在变量提升。

> /* JS */                         | // Dart
> var b = a + 1;                   | var b = a + 1;
> var a = 100;                     | var a = 100;
> console.log(`b = ${b}`);         | print('b = $b');
> // b = NaN                       | // 无法通过编译

3. 总结 & 对比

参见下表：

特性	JS	Dart
var	函数级变量关键字	块级变量关键字
const	常量关键字	编译时常量关键字
let	块级变量关键字	没有此关键字
final	没有此关键字	运行时常量关键字
late	没有此关键字	未指定初值的变量关键字
类型声明	不支持类型声明	支持类型声明，也可交由 Dart 自动推断类型