Dart中为何使用三元条件运算符会触发return_of_invalid_type错误？

问题代码 #

class A {}

class B {}

class C extends A implements B {}

class D extends A implements B {}

B func(bool b) => b ? C() : D();

报错信息 #

A value of type "Object" can't be returned from the function 'func' because it has a return type of 'B'

1. 为什么会出现这个错误？

Dart的三元表达式会先推断两个分支结果的最小上界（least upper bound）——也就是同时能覆盖两个分支类型的最具体父类型，再将整个表达式的类型判定为这个最小上界。在你的代码中，C()和D()的类型分别是C和D，它们的共同超类型包括A、B、Object，但由于A和B是完全独立的无继承关系的类，不存在一个既属于A子类又属于B子类的具体类型，因此最终推断出的最小上界是顶层父类Object。而函数func的返回类型是B，Object无法直接赋值给B，所以触发类型不匹配错误。

2. 既然C和D都实现了B，三元表达式结果为何不被视为B类型？

Dart的类型推断在计算最小上界时，优先基于继承关系而非接口实现关系。虽然C和D都实现了B接口，但B并不是它们继承链上的父类，因此推断逻辑不会自动将B作为共同类型。只有当两个分支的类型存在直接/间接继承关系，或者显式指定类型时，才会将父类/接口作为推断结果。

3. 为什么结果类型是Object而非A？

C和D确实都继承自A，但它们同时也实现了B。最小上界的推断需要找到一个能同时兼容两个分支所有超类型的最具体类型——A无法兼容B类型的赋值要求，B也无法兼容A类型的赋值要求，因此只能退而求其次选择它们共同的顶层父类Object。

4. 为什么if/else语法不会报错？

if/else语句的类型检查逻辑和三元表达式不同：它会分别验证每个分支的返回值是否符合函数的返回类型。C和D都实现了B，因此C()和D()都可以直接赋值给B类型，两个分支单独通过类型检查后，整个函数的返回逻辑就合法了，不需要先推断一个统一的表达式类型。

解决方法 #

要修复这个错误，只需要显式指定表达式的类型为B即可，常见的两种方式：

1. 对其中一个分支做类型转换：

B func(bool b) => b ? C() as B : D();

2. 显式声明变量类型再返回：

B func(bool b) {
  B result = b ? C() : D();
  return result;
}

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