Dart扩展重载|运算符时类型推断为dynamic如何修复

初始版本返回dynamic的根因 #

初始实现中|操作符的参数类型声明为Function(Object)，这是Dart中未明确返回值的函数类型，按照类型规则，这类未指定返回值的函数类型默认返回dynamic，因此操作符的返回值直接被推断为dynamic，完全丢失类型信息。

Object版本仅能推断为Object的原因 #

将参数类型修改为Object Function(Object)后，操作符返回值被固定为Object，虽然比dynamic的类型安全性更高，但由于没有泛型机制保留输入值的精确类型，传入多态泛型函数id时，id会被直接向上转型为Object Function(Object)，因此只能得到Object类型的返回值，无法还原输入的实际类型String。

双泛型扩展版本返回dynamic的原因 #

你尝试的extension Pipe<A, B> on A泛型写法，问题出在泛型参数的声明位置错误：

• 扩展上声明的泛型参数A、B，需要在扩展匹配阶段（即识别左操作数应用该扩展时）就完成全部推断
• 该阶段左操作数为字符串"test"，A可以顺利推断为String，但B的推断依赖右操作数id的返回类型。由于id本身是泛型函数，Dart的类型推断器不会在扩展匹配阶段跨高阶函数边界，反向推导泛型函数的实例化类型，最终B会回退为dynamic，导致返回值类型依然不正确。

将返回值对应的泛型参数从扩展声明层移动到|操作符方法的泛型参数上即可，代码实现如下：

// 扩展仅声明左操作数的泛型类型A
extension Pipe<A> on A {
  // 返回值类型R作为操作符方法的泛型参数，在方法调用阶段完成推断
  R operator |<R>(R Function(A) f) => f(this);
}

typedef Id = T Function<T>(T);
Id id = <T>(T a) => a;

// 测试代码
var t1 = id("test");  // 正确推断为String
var t2 = "test" | id; // 正确推断为String
var t3 = 123 | id;    // 正确推断为int
var t4 = "abc" | (s) => s.length; // 正确推断为int

该写法生效的核心逻辑是：方法级别的泛型参数R会在方法调用阶段执行推断，此时Dart可以将已经确定的左值类型A作为上下文，自动推导传入的泛型函数f的实例化类型——传入id时，会自动将id的泛型参数绑定为与A一致的类型，进而得到R的精确类型，不会出现类型降级或丢失的问题。

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