延迟初始化（再谈late）

late 关键字的本意是延迟变量的初始化。

// ex431.dart

// int x;
// Error:
// The non-nullable variable 'x' must be initialized.

late int x; // 1

void main() {
  x = 1; //2
  print(x); // Output: 1
}

1. 声明int类型的变量 x 并用 late 关键字修饰它，告诉编译器暂时不对x进行初始化；如果去掉这里的 late将引起编译错误 The non-nullable variable 'x' must be initialized ；
2. 在使用 x之前对其赋值。

什么时候使用 late

下面按应用场景对late的使用举例说明。

需要使用 non-nullable 变量，但在声明时又无法初始化（比如依赖另一个实例变量/方法 ）。

// ex432.dart
class A {
  int x;
  late int y = x + 1;
  A(this.x);

  @override
  String toString() => '($x, $y)';
}

void main() {
  print(A(2)); // Output: (2, 3)
}

此例中变量 y 由变量 x计算而成，用late修饰再方便不过了。

变量的初始化是个费时操作，希望延迟初始化它。

// ex433.dart
import 'dart:math';

class RandAvg {
  int n;
  late double avg;

  RandAvg(this.n);

  static final _rand = Random();

  void init() {
    var s = 0.0;
    for (var i = 1; i <= n; i++) {
      s += _rand.nextDouble();
    }
    avg = s / n;
  }
}

void main() {
  var a = RandAvg(1000_000);
  a.init();
  print(a.avg);
}

此例中的 avg 是 n 个随机浮点数（取值0-1）的算术平均数，其计算过程由 init() 函数完成。

变量仅在程序的部分地方用到，没用到的地方无需初始化。

// ex434.dart
import 'dart:io';

const kDebug = true;

class Logger {
  final String name;
  late String _debugInfo;

  Logger(this.name);

  void ensureDebugInfo() {
    if (kDebug) {
      _debugInfo =
          'OS=${Platform.operatingSystem} CPU cores=${Platform.numberOfProcessors}';
    }
  }

  void log(String message) {
    if (kDebug) {
      print(_debugInfo);
    }
    print('${DateTime.now()} $name: $message');
  }
}

void main() {
  var logger = Logger('main');
  logger.ensureDebugInfo();
  logger.log('Hi Dart');
}

仅当 kDebug 取值 true 时， Logger类的_debugInfo 才被 log 方法用到， 也才被初始化（由ensureDebugInfo方法完成）。

联合使用 late final

示例 ex433 中的实例变量 avg，在初始化之后便不再改变，这样的变量使用 late final 修饰更为准确，可以有效防止二次计算。

// ex435.dart
class RandAvg {
  int n;
  late final double avg;

  RandAvg(this.n);
}

最佳实践

late 在不同生命周期下的表现

全局变量 / 静态变量 (Static/Top-level)

这是 late 最能发挥威力的地方。Dart 的全局变量本身就是延迟初始化的。使用 late 可以让这种延迟语义更加明确。它避免了在 App 启动瞬间（main 函数执行前）加载大量非必要资源，从而缩短启动白屏时间。

类成员变量 (Instance Fields)

在对象实例化的生命周期内，late 会稍微增加对象的内存占用（因为需要存储初始化状态位）。性能权衡： 如果对象频繁创建且变量经常不被使用，late 是优化的；如果变量几乎总是会被立即使用，那么普通的 final 构造函数赋值性能更优，因为编译器可以进行更多的内联优化。

局部变量 (Local Variables)

Dart 编译器（尤其是 AOT 模式）通常能通过静态流分析（Definite Assignment Analysis）确认局部变量在使用前是否已赋值。在这种情况下，编译器会移除运行时的状态检查，性能等同于普通变量。

避免滥用 late

过度使用 late 的风险包括代码运行风险与代码膨胀。一方面，late可能将本该在编译期发现的错误推迟到了运行期（抛出 Error），此即运行风险。另一方面， late 是用微小的运行时开销换取了开发的灵活性，每一处 late 访问在汇编后的代码中都会多出一层逻辑判断（代码膨胀）。在绝大多数业务逻辑中，这种开销是无感的；但在每秒数百万次的计算中（高性能场景），它确不可被忽视。在高性能要求的场景下，如果能通过构造函数初始化列表（Initializer List）解决的问题，优先使用普通非空变量。

性能与安全的权衡