Dart空安全下修复非空字段初始化报错，用late还是可空类型？

报错信息：Non-nullable instance field '_page' must be initialized. Try adding an initializer expression, or add a field initializer in this constructor, or mark it "late"

这个报错的本质是Dart空安全规则要求：所有非空类型的实例字段，必须在构造方法执行完成前完成初始化。以下是两种常见解决方案的优劣和适用场景说明：

方案1：使用late修饰字段 #

实现逻辑 #

late修饰符的作用是告知Dart编译器，该字段会在首次被访问前完成赋值，跳过编译阶段的初始化强制校验。
在JSON转模型的场景下，只要传入的parsedJson符合约定格式，所有字段都会在构造方法执行完成前完成赋值，不会出现未初始化就访问的问题。
示例代码：

class ItemModel {
  late int _page;
  late int _total_results;
  late int _total_pages;
  late List<_Result> _results = [];

  ItemModel.fromJson(Map<String, dynamic> parsedJson) {
    // debugPrint(parsedJson['results'].length);
    _page = parsedJson['page'];
    _total_results = parsedJson['total_results'];
    _total_pages = parsedJson['total_pages'];
    List<_Result> temp = [];
    for (int i = 0; i < parsedJson['results'].length; i++) {
      _Result result = _Result(parsedJson['results'][i]);
      temp.add(result);
    }
    _results = temp;
  }

  List<_Result> get results => _results;
  int get total_pages => _total_pages;
  int get total_results => _total_results;
  int get page => _page;
}

优劣势 #

• 优势：代码简洁，无需额外做空判断处理，getter可以直接返回非空类型，没有冗余逻辑
• 风险：如果运行时字段未完成赋值就被访问，会直接抛出LateInitializationError运行时异常

方案2：声明为可空类型 #

实现逻辑 #

将字段定义为可空类型（如int? _page），允许字段初始化时为null，符合空安全的初始化规则。
你后续遇到的报错A value of type 'int?' can't be returned from the function 'page' because it has a return type of 'int'，本质是getter声明的返回类型为非空int，和可空字段类型不匹配，需要补充空处理逻辑才能解决，例如：

// 方案A：强制断言非空，确认业务上一定有值时使用
int get page => _page!;
// 方案B：为空时返回缺省值
int get page => _page ?? 0;

优劣势 #

• 优势：编译期会强制要求处理空情况，避免未赋值访问的运行时异常
• 劣势：需要额外编写空处理逻辑，在可以保证字段一定有值的场景下属于冗余代码

选型建议 #

在你当前的JSON转模型场景下，使用late修饰符是更优的选择。只要你能保证传入的JSON参数符合约定格式，所有字段都会在构造方法内完成赋值，不会出现late未初始化的问题，同时代码更简洁高效。

适用场景划分 #

• late修饰符适用场景：
  • 可以100%保证字段在首次访问前一定会被赋值的场景，比如JSON转模型、Flutter State类中在initState里赋值的字段、依赖注入完成后赋值的字段
  • 字段没有合理默认缺省值的场景
• 可空类型适用场景：
  • 业务逻辑上字段本身就允许为null的场景
  • 无法保证字段一定会在使用前被赋值，需要编译期提醒做空处理的场景

内容的提问来源于stack exchange，提问作者Vu Thanh