为何Dart穷尽switch表达式需显式向下转型？

问题复现 #

以下代码编译时会报错：

void main() {
  A<num> someA = B();
  A value = switch (someA) {
      B() => B(),
      C() => C(),
  };
}

sealed class A<T extends num> {}
final class B extends A<int> {}
final class C extends A<double> {}

错误提示：

A value of type 'Object' can't be assigned to a variable of type 'A<num>'. Try changing the type of the variable, or casting the right-hand type to 'A<num>'.

疑问点：为什么编译器不自动推断switch两个分支的公共父类型（当前默认推断为Object）？比如类似var myThing = true ? 1.5 : 7;的场景，Dart能正确推断myThing的类型为num，但此处却不生效？

临时解决方法 #

给每个分支的返回值添加显式转型as A即可解决：

void main() {
  A<num> someA = B();
  A value = switch (someA) {
      B() => B() as A,
      C() => C() as A,
  };
}

sealed class A<T extends num> {}
final class B extends A<int> {}
final class C extends A<double> {}

另外，移除泛型参数<T extends num>时不会出现此问题，说明泛型是影响类型推断的核心因素。

列表表达式与switch表达式的行为差异 #

以下代码进一步体现了两者的类型推断差异：

void main() {
  // `values_var` 被推断为 `List<Object>`
  var values_var            = [B(), C()];
  // 以下两行均可正常编译
  List<A> values_List1      = [B(), C()];
  List<A<num>> values_List2 = [B(), C()];

  A<num> someA = B();
  
  // 编译失败
  A value = switch (someA) {
      B() => B(),
      C() => C(),
  };

  // 编译成功
  List<A> value = switch (someA) {
      B() => [B()],
      C() => [C()],
  };
}

原因解析 #

1. 泛型参数化类型的公共超类型逻辑：B的实际类型是A<int>，C是A<double>，这两个是同一泛型类的不同参数化版本。在Dart的类型系统中，它们的最小公共超类型默认是Object，而非A<num>——因为A<int>和A<double>是不兼容的参数化类型，编译器不会自动做协变推断，必须显式声明或转型。

2. 目标类型引导的差异：

   • 列表赋值时，比如List<A> values_List1 = [B(), C()]，编译器会根据左侧的目标类型List<A>（省略泛型参数时默认是List<A<dynamic>>），自动将B()和C()向上转型为A，因此可以正常编译。
   • 无列表的switch表达式中，若左侧变量类型A没有提供足够的引导信息，编译器会取两个分支返回值的最小公共超类型Object，导致无法赋值给A类型变量。
   • 带列表的switch表达式List<A> value = switch(...)，因为左侧目标类型是List<A>，每个分支的列表会被推断为List<A>，因此可以通过编译。

3. 非泛型场景的对比：var myThing = true ? 1.5 :7;能推断为num，是因为int和double本身就是num的直接子类型，它们的最小公共超类型就是num，不存在泛型参数化带来的类型不兼容问题。

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