为何Dart泛型工厂无法重定向到特定子类？

你的代码报错核心在于泛型类的工厂函数类型约束：

工厂函数MyValue.bool/MyValue.num属于泛型类MyValue<ValueT>，Dart要求工厂函数的返回值必须是MyValue<ValueT>的子类型。但MyBool是MyValue<bool>，MyNumber是MyValue<num>——只有当调用时ValueT恰好等于bool/num时，返回的子类才匹配，而泛型类的ValueT由调用上下文推导，并非固定值。

举个极端例子：如果有人写MyValue<int>.bool(true)，按你的逻辑会返回MyBool（即MyValue<bool>），但上下文期望的是MyValue<int>，这显然类型冲突。Dart的类型检查器提前拦截了这种潜在风险，所以抛出错误。

你用as MyValue<ValueT>强制转换能编译，本质是绕过类型检查，存在运行时隐患——上述反例会编译通过但运行时抛出类型转换异常。

如果你需要的是包含bool和num的类型联合，且支持switch穷举所有分支，推荐以下两种方式：

方式1：无泛型密封类（最简洁） #

利用Dart 3的密封类+模式匹配特性，直接让子类封装对应类型的值：

sealed class MyValue {}

final class MyBool extends MyValue {
  final bool value;
  const MyBool(this.value);
}

final class MyNumber extends MyValue {
  final num value;
  const MyNumber(this.value);
}

// 使用示例：自动检查穷举完整性
void processValue(MyValue value) {
  switch (value) {
    case MyBool(:final value):
      print("处理布尔值: $value");
    case MyNumber(:final value):
      print("处理数值: $value");
    // 密封类特性：漏写分支会直接编译报错，无需default
  }
}

// 创建const实例
const boolVal = MyBool(true);
const numVal = MyNumber(3.14);

方式2：带约束的泛型基类（保留泛型能力） #

如果需要保留基类的泛型特性，可通过显式约束确保类型安全，同时支持const实例：

sealed class MyValue<ValueT> {
  final ValueT value;

  const MyValue(this.value);

  // 工厂函数与子类泛型绑定，调用时需明确泛型类型
  factory MyValue.bool(bool value) = MyBool;
  factory MyValue.num(num value) = MyNumber;
}

final class MyBool extends MyValue<bool> {
  const MyBool(super.value);
}

final class MyNumber extends MyValue<num> {
  const MyNumber(super.value);
}

// 正确调用（需显式指定泛型，或让Dart自动推导）
const boolVal = MyValue<bool>.bool(true);
const numVal = MyValue<num>.num(42);

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