Dart泛型扩展类型推断失败：A().toB()为何无法正确推断类型？

API 探路者

2026-7-22

Dart类型推断差异：为什么B()能自动推断而A().toB()不行？

先看你的代码示例：

class A<T> {
  T? t;
}

class B<T> extends A<T> {
  B({T? t}) {
    this.t = t;
  }
}

extension EA<T> on A<T> {
  B<T> toB() => B(this.t);
}

void main() {
  B<int> b1 = B(); // 正常推断为B<int>
  B<int> b2 = A().toB(); // 错误：B<dynamic>无法赋值给B<int>
}

核心原因：类型推断的上下文作用范围差异

1. `B<int> b1 = B();` 能正常推断的原因

Dart的上下文类型推断会把变量声明的B<int>作为构造函数调用B()的上下文约束。编译器会反向推导：既然变量需要B<int>，那构造函数的类型参数T必须是int，因此可选参数t的类型也会被推断为int?，最终构造出B<int>实例。

2. `A().toB()` 无法推断的原因

这里的类型推断是分步进行的，编译器不会跨步骤反向推导：

第一步调用A()时，没有任何上下文约束A的类型参数T，所以默认会推断为A<dynamic>；
第二步调用toB()时，由于扩展EA<T>是基于A<T>的，这里的T已经被固定为dynamic，所以toB()返回的是B<dynamic>，自然无法赋值给B<int>类型的变量。

这确实是Dart类型推断系统的设计限制——它不会从最终的目标类型（B<int>）倒推前面的A()应该是什么类型，而是按代码执行顺序逐步推断。

解决方法

有两种直接的解决方式：

显式指定A的类型参数：
```
B<int> b2 = A<int>().toB();
```
直接给A()指定int类型参数，这样扩展方法的T就是int，toB()返回B<int>，完美匹配变量类型。
使用类型断言（谨慎使用）：
如果能确定运行时类型是B<int>，可以用类型断言强制转换，但这种方式会跳过编译期类型检查，存在风险：
```
B<int> b2 = A().toB() as B<int>;
```