内容

变量

以下是如何创建变量并初始化它的示例

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 的绝对值。如果 inull,则调用 i.abs() 会导致空解引用错误。在其他语言中,尝试这样做可能会导致运行时错误,但 Dart 的编译器禁止这些操作。因此,Dart 应用不会导致运行时错误。

空安全引入了三个主要变化

  1. 当您为变量、参数或其他相关组件指定类型时,您可以控制该类型是否允许 null。要启用可空性,您需要在类型声明的末尾添加一个 ?

    dart
    String? name  // Nullable type. Can be `null` or string.
    
    String name   // Non-nullable type. Cannot be `null` but can be string.
  2. 您必须在使用变量之前初始化它们。可空变量默认为 null,因此它们默认初始化。Dart 不会为不可空类型设置初始值。它强制您设置初始值。Dart 不允许您观察未初始化的变量。这可以防止您访问属性或调用方法,其中接收者的类型可以为 null,但 null 不支持使用的方法或属性。

  3. 您不能访问具有可空类型的表达式的属性或调用其方法。相同的例外情况适用于 null 支持的属性或方法,例如 hashCodetoString()

健全的空安全将潜在的**运行时错误**更改为**编辑时**分析错误。当非空变量已被以下情况之一影响时,空安全会对其进行标记

  • 未初始化为非空值。
  • 已分配 null 值。

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

默认值

#

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

dart
int? lineCount;
assert(lineCount == null);

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

dart
int lineCount = 0;

您不必在声明局部变量时初始化它,但您需要在使用它之前为其分配一个值。例如,以下代码有效,因为 Dart 可以检测到在传递给 print() 之前 lineCount 为非空

dart
int lineCount;

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

print(lineCount);

顶级变量和类变量是延迟初始化的;初始化代码在第一次使用该变量时运行。

延迟变量

#

late 修饰符有两个用例

  • 声明在声明后初始化的不可空变量。
  • 延迟初始化变量。

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

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

dart
late 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

#

如果您不打算更改变量,请使用 finalconst,代替 var 或除了类型之外。final 变量只能设置一次;const 变量是编译时常量。(Const 变量隐式为 final。)

以下是如何创建和设置 final 变量的示例

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

您不能更改 final 变量的值

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

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

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

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

dart
var 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 变量的值

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

您可以定义使用 类型检查和转换isas)、集合 if扩展运算符......?)的常量。

dart
const 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创建常量值的更多信息,请参阅列表映射