Dart泛型列表调用泛型方法时运行时错误的原因与解决方案

问题重现 #

以下代码在访问列表元素的convert函数时会触发运行时类型错误：

class A<T> {
  final T data;
  final T Function(T) convert;

  A(this.convert, this.data);

  Type get genericType => T;
}

void main(List<String> args) {
  final list = <A>[
    A<int>((i) => i + i, 0),
    A<String>((i) => i + i, '0'),
  ];

  print(list[0].data);    // 正常输出
  print(list[0].convert); // 运行时错误: type '(int) => int' is not a subtype of type '(dynamic) => dynamic'
}

错误原因 #

1. 未指定泛型参数的List<A>等价于List<A<dynamic>>，所有存入的A<int>、A<String>都会被当作A<dynamic>处理。
2. Dart函数类型遵循逆变参数、协变返回值的子类型规则：int Function(int)无法安全转型为dynamic Function(dynamic)——因为后者允许传入任意类型参数，而前者只能处理int类型，运行时类型检查会拒绝这种不安全的转换。
3. data字段可以正常访问是因为int/String可以安全向上转为dynamic，不存在类型安全风险。

现有临时解决方案 #

显式类型转换 #

将列表元素显式转换为具体泛型类型后，可正常访问convert：

final first = list[0] as A<int>;
print(first.convert); // 正常运行

分支判断类型 #

通过genericType获取运行时类型，分支处理不同泛型实例：

final t = list[0].genericType;
if (t == int) {
  final first = list[0] as A<int>;
  print(first.convert);
} else if (t == String) {
  final first = list[0] as A<String>;
  print(first.convert);
}

注意：直接使用变量作为泛型参数（A<t>）的写法不被Dart支持，会触发编译错误。

更优解决方案 #

封装类型安全的调用逻辑 #

在A<T>类内部封装convert的调用逻辑，避免外部处理类型转换：

class A<T> {
  final T data;
  final T Function(T) convert;

  A(this.convert, this.data);

  Type get genericType => T;

  // 内部安全调用convert，外部无需关心类型
  T applyConvert() => convert(data);
}

外部调用时直接使用封装方法：

print(list[0].applyConvert()); // 正常运行，无类型错误

Dart 3.0+模式匹配简化分支 #

利用Dart 3.0的模式匹配特性，无需手动判断类型即可安全处理不同泛型实例：

void main(List<String> args) {
  final list = <A>[
    A<int>((i) => i + i, 0),
    A<String>((i) => i + i, '0'),
  ];

  for (final item in list) {
    switch (item) {
      case A<int>(convert: final convert, data: final data):
        print(convert(data));
      case A<String>(convert: final convert, data: final data):
        print(convert(data));
      default:
        print('不支持的类型');
    }
  }
}

这种方式既保留了编译时类型检查，又简化了类型判断逻辑。

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