变量

内容

空安全
默认值
延迟变量
final 和 const

以下是创建变量并对其进行初始化的示例

dart

var name = 'Bob';

变量存储引用。名为 name 的变量包含对值等于“Bob”的 String 对象的引用。

name 变量的类型推断为 String，但你可以通过指定类型来更改该类型。如果对象不限于单一类型，请指定 Object 类型（或必要时指定 dynamic）。

dart

Object name = 'Bob';

另一种选择是显式声明将推断出的类型

dart

String name = 'Bob';

Dart 语言强制执行健全的空安全性。

空安全性可防止因意外访问设置为 null 的变量而导致的错误。该错误称为空引用错误。当访问属性或调用对 null 求值的表达式的某个方法时，就会发生空引用错误。此规则的例外情况是当 null 支持该属性或方法时，例如 toString() 或 hashCode。通过空安全性，Dart 编译器可在编译时检测到这些潜在错误。

例如，假设你想查找 int 变量 i 的绝对值。如果 i 为 null，则调用 i.abs() 会导致空引用错误。在其他语言中，尝试这样做可能会导致运行时错误，但 Dart 的编译器禁止执行这些操作。因此，Dart 应用不会导致运行时错误。

空安全性引入了三个关键更改

当你为变量、参数或其他相关组件指定类型时，你可以控制该类型是否允许 null。要启用可空性，请在类型声明的末尾添加 ?。
dart
```
String? name  // Nullable type. Can be `null` or string.

String name   // Non-nullable type. Cannot be `null` but can be string.
```
你必须在使用变量之前对其进行初始化。可空变量默认为 null，因此它们默认初始化。Dart 不会为不可空类型设置初始值。它会强制你设置初始值。Dart 不允许你观察未初始化的变量。这可以防止你访问属性或调用方法，其中接收者的类型可以为 null，但 null 不支持所使用的属性或方法。
你无法访问属性或调用具有可空类型的表达式的某个方法。当属性或方法为 null 支持的方法或属性（例如 hashCode 或 toString()）时，也会应用相同的例外情况。

声音空安全更改潜在的运行时错误为编辑时分析错误。空安全在以下情况标记非空变量：

未用非空值初始化。
分配了null值。

此检查允许你在部署应用之前修复这些错误。

具有可空类型的未初始化变量具有null的初始值。即使是数字类型的变量最初也是 null，因为数字（与 Dart 中的其他所有内容一样）都是对象。

dartint? lineCount;
assert(lineCount == null);

使用空安全，你必须在使用非空变量之前初始化其值

dart

int lineCount = 0;

你无需在声明局部变量时对其进行初始化，但你需要在使用之前为其分配一个值。例如，以下代码有效，因为 Dart 可以检测到在将lineCount传递给print()时它是非空的

dartint lineCount;

if (weLikeToCount) {
  lineCount = countLines();
} else {
  lineCount = 0;
}

print(lineCount);

顶级变量和类变量是惰性初始化的；初始化代码在首次使用变量时运行。

late修饰符有两种用例

声明在声明之后初始化的非空变量。
惰性初始化变量。

通常，Dart 的控制流分析可以检测到在使用之前何时将非空变量设置为非空值，但有时分析会失败。两种常见情况是顶级变量和实例变量：Dart 通常无法确定它们是否已设置，因此不会尝试。

如果你确定在使用变量之前已设置该变量，但 Dart 不同意，你可以通过将变量标记为late来修复错误

dartlate String description;

void main() {
  description = 'Feijoada!';
  print(description);
}

当你将变量标记为late但在其声明时对其进行初始化时，初始化器会在首次使用该变量时运行。这种惰性初始化在以下几种情况下很方便

变量可能不需要，并且初始化它很昂贵。
你正在初始化实例变量，并且其初始化器需要访问this。

在以下示例中，如果从未使用temperature变量，则永远不会调用昂贵的readThermometer()函数

dart// This is the program's only call to readThermometer().
late String temperature = readThermometer(); // Lazily initialized.

如果您从不打算更改变量，请使用 final 或 const，它们可以替代 var 或与类型一起使用。final 变量只能设置一次；const 变量是编译时常量。（Const 变量隐式为 final。）

下面是创建和设置 final 变量的示例

dartfinal name = 'Bob'; // Without a type annotation
final String nickname = 'Bobby';

您无法更改 final 变量的值

✗ 静态分析：失败dartname = 'Alice'; // Error: a final variable can only be set once.

对您希望成为编译时常量的变量使用 const。如果 const 变量位于类级别，请将其标记为 static const。在您声明变量的位置，将值设置为编译时常量，例如数字或字符串文字、const 变量或对常数字进行算术运算的结果

dartconst bar = 1000000; // Unit of pressure (dynes/cm2)
const double atm = 1.01325 * bar; // Standard atmosphere

const 关键字不仅仅用于声明常量变量。您还可以使用它来创建常量值，以及声明创建常量值的构造函数。任何变量都可以具有常量值。

dartvar foo = const [];
final bar = const [];
const baz = []; // Equivalent to `const []`

您可以从 const 声明的初始化表达式中省略 const，就像上面的 baz 一样。有关详细信息，请参阅不要冗余使用 const。

您可以更改非 final、非 const 变量的值，即使它以前具有 const 值

dart

foo = [1, 2, 3]; // Was const []

您无法更改 const 变量的值

✗ 静态分析：失败dartbaz = [42]; // Error: Constant variables can't be assigned a value.

您可以定义使用类型检查和强制转换（is 和 as）、集合 if和展开运算符（...和 ...?）的常量

dartconst Object i = 3; // Where i is a const Object with an int value...
const list = [i as int]; // Use a typecast.
const map = {if (i is int) i: 'int'}; // Use is and collection if.
const set = {if (list is List<int>) ...list}; // ...and a spread.

有关使用 const 创建常量值的更多信息，请参阅列表、映射和类。

变量

空安全

默认值

延迟变量

final 和 const