Dart中在类构造函数内初始化另一个类的问题及最佳实践

问题背景 #

在类中引用另一个类时，初始化环节出现编译错误。原代码如下：

class UpperClass {
  int a;
  MyClass b; 
  UpperClass({this.a = 0, this.b = MyClass(x:0)});
} 

class MyClass {
  int x;
  MyClass({required this.x});
}

编译器报错：可选参数的默认值必须是常量，原因是MyClass(x:0)是运行时创建的对象，不属于编译常量。

将构造函数修改为以下形式后，编译错误消失：

UpperClass({a, b}) : this.a = a, this.b = b;

但Dart文档推荐的等价写法：

UpperClass({this.a, this.b});

会被编译器提示a和b可能为null。

原理分析 #

1. 可选参数默认值限制：Dart要求命名可选参数的默认值必须是编译时常量。int类型的0是编译常量，所以this.a = 0合法；但MyClass(x:0)是运行时实例化的对象，不符合常量要求，因此报错。
2. 空安全规则冲突：在Dart空安全模式下，非空类型的字段（int a、MyClass b）必须在构造函数执行前完成初始化。
   • 第一种修改写法只是绕过了编译检查，但本质上违反空安全：如果调用UpperClass()时不传入参数，a和b会被赋值为null，与非空类型矛盾，运行时会抛出空指针错误。
   • 文档推荐的写法直接触发编译器提示，是因为命名参数默认值为null，与非空字段的类型要求冲突。

当前写法是否可行？ #

不可行。这种写法只是暂时规避了编译错误，但完全违反Dart的空安全规则，运行时极易触发空指针异常，属于不安全的写法。

更优实践方案 #

根据空安全规则，推荐以下几种合法的处理方式：

方案1：将字段声明为可空类型 #

如果允许a和b为null，直接将类型改为可空：

class UpperClass {
  int? a;
  MyClass? b; 
  UpperClass({this.a, this.b});
}

调用时可省略参数，a和b默认值为null，符合空安全规则。

方案2：使用常量构造函数提供默认值 #

如果MyClass可以定义为常量构造函数，那么MyClass(x:0)就能作为常量默认值：

class MyClass {
  final int x;
  const MyClass({required this.x}); // 声明为常量构造函数
}

class UpperClass {
  int a;
  MyClass b; 
  UpperClass({this.a = 0, this.b = const MyClass(x:0)});
}

注意：MyClass的字段必须是final才能定义常量构造函数。

方案3：在初始化列表中设置默认值 #

如果不想让字段可空，也无法使用常量构造函数，可在初始化列表中通过??运算符为null参数设置默认值：

class UpperClass {
  int a;
  MyClass b; 
  UpperClass({int? a, MyClass? b}) 
      : a = a ?? 0,
        b = b ?? MyClass(x:0);
}

确保a和b始终为非空值，符合空安全要求。

方案4：将参数设为必填 #

如果a和b必须有值，直接声明为必填命名参数：

class UpperClass {
  int a;
  MyClass b; 
  UpperClass({required this.a, required this.b});
}

调用时必须传入a和b，保证字段始终被正确初始化。

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