Dart常量表达式自依赖循环依赖问题及解决方案咨询

1. 用null作为默认参数，在构造函数初始化列表处理 #

通过将默认参数设为null，再在初始化列表中补全实例，绕开默认参数必须为常量的限制：

class A {
  final B b;
  A({B? b}) : b = b ?? B(a: A()); // 注意：直接无参调用会触发无限递归，实际需允许传入已有实例
}

class B {
  final A a;
  B({A? a}) : a = a ?? A(b: B());
}

提示：直接无参调用A()或B()会因无限创建新实例导致栈溢出，实际使用时需让用户传入已有的关联实例，或结合单例优化。

2. 结合工厂构造函数与单例模式 #

通过私有构造函数创建静态单例，避免循环创建新实例，同时满足默认参数需求：

class A {
  final B b;
  static final _instance = A._(B._instance);
  
  factory A({B? b}) => A._(b ?? B._instance);
  A._(this.b);
}

class B {
  final A a;
  static final _instance = B._(A._instance);
  
  factory B({A? a}) => B._(a ?? A._instance);
  B._(this.a);
}

此方案通过共享单例实例，彻底解决循环依赖的无限递归问题，完全符合Dart语法规范。

3. 使用late final延迟初始化 #

若成员允许延迟初始化，可通过late final绕过构造时的初始化限制，直接传递当前实例：

class A {
  late final B b;
  
  A({B? b}) {
    this.b = b ?? B(a: this);
  }
}

class B {
  late final A a;
  
  B({A? a}) {
    this.a = a ?? A(b: this);
  }
}

此方案无需额外创建单例，直接在构造函数体内完成实例关联，但需确保后续访问成员时已完成初始化，避免未初始化错误。

Dart目前没有类似部分语言中的forwardref（前置引用）机制，其类型系统要求编译时明确类型依赖关系。但通过上述几种方案，可绕过循环依赖导致的语法错误问题。

若当前Dart版本无法通过代码逻辑完全规避循环依赖，你采取的「保留依赖限制场景」的方案也是一种务实的选择，可将问题交由工具使用者自行处理运行时的潜在风险。

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