为何Dart中非空实例字段httpRequestService构造赋值仍报错？

问题（翻译后） #

我编写了如下Dart代码：

class UserService {

  HttpRequestService httpRequestService;

  // 这里报错：Non-nullable instance field 'httpRequestService' must be initialized.
  UserService({HttpRequestService? httpRequestService}) {
    this.httpRequestService = httpRequestService ?? initHttpRequestService();
  }
  
  initHttpRequestService() {
    return HttpRequestService();
  }

}

可以看到构造函数处出现错误提示：Non-nullable instance field 'httpRequestService' must be initialized（非空实例字段'httpRequestService'必须初始化）。但我已经在构造函数中对httpRequestService进行了初始化，请问为何会出现这个错误？

Dart的非空安全规则明确要求：所有非空实例字段必须在实例创建完成前完成初始化。你当前是在构造函数体内部给httpRequestService赋值，但构造函数体是在实例已经创建（此时所有字段必须处于有效状态）之后才执行的，编译器会判定该字段在实例创建时未被初始化，因此抛出错误。

有三种常用的修复方式：

1. 使用初始化列表（推荐） #

将字段初始化逻辑移到构造函数的初始化列表中——初始化列表在实例创建前执行，符合Dart的非空安全要求：

class UserService {
  HttpRequestService httpRequestService;

  UserService({HttpRequestService? httpRequestService}) 
      : httpRequestService = httpRequestService ?? HttpRequestService();
}

如果需要保留initHttpRequestService的复杂初始化逻辑，需将其改为静态方法（初始化列表中无法调用实例方法，此时实例尚未创建）：

class UserService {
  HttpRequestService httpRequestService;

  UserService({HttpRequestService? httpRequestService}) 
      : httpRequestService = httpRequestService ?? initHttpRequestService();
  
  static HttpRequestService initHttpRequestService() {
    // 这里可以编写复杂初始化逻辑
    return HttpRequestService();
  }
}

2. 使用late关键字 #

用late标记字段，告诉编译器该字段会在首次使用前完成初始化，从而绕过实例创建时的初始化检查：

class UserService {
  late HttpRequestService httpRequestService;

  UserService({HttpRequestService? httpRequestService}) {
    this.httpRequestService = httpRequestService ?? initHttpRequestService();
  }
  
  HttpRequestService initHttpRequestService() {
    return HttpRequestService();
  }
}

这种方式适合初始化逻辑必须放在构造函数体内的场景，但需确保字段在使用前一定被初始化，否则会触发运行时错误。

3. 给构造函数参数设置默认值 #

如果HttpRequestService支持无参构造，可以直接给可选参数设置默认值：

class UserService {
  HttpRequestService httpRequestService;

  UserService({HttpRequestService httpRequestService = const HttpRequestService()});
}

注意：这种方式要求HttpRequestService拥有const构造函数，若初始化逻辑不支持const则无法使用。

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