“？？” ("if null") 运算符类型解析问题

Question

考虑下面的代码：

mixin M {}

abstract class I {}

class A = I with M;

class B = I with M;

void main() {
  final A? a = A();
  final B? b = B();

  final I? i1 = a ?? b; // compilation error saying "A value of type 'Object?' can't be assigned to a variable of type 'I?'"
}

你能帮我理解为什么我在使用“??”时遇到编译错误吗？ 操作员。

Dart 2.19.0

Answer 1

a?? b a?? b表达式需要找出一个单一的类型来表示两个可能的结果值，一个类型A或一个类型B? .

而不是同时检查A和B? 可以分配给I? ，它试图找出a?? b的结果类型 a?? b作为结合A和B? ，这意味着找到A和B的超类型。

为此，它使用语言指定的“最小上限”算法计算上限。 （我引用这个名字，因为它找到了一个上限，有时是最小上限，但并非总是如此。）

这两种类型是：

• A具有直接超类型I和M ，两者都具有直接超类型Object ，其中超类型Object? （以及所有其他顶级类型）。
• B? 与超类型I? ， M? 和他们的超类型Object? .

这里的问题是，虽然它可以看到I和I? 发生在那些类型中，因此它可以决定I? 是上界，它也找到M和M? 并决定M? 是上界，并且这两种类型在其他方面完全等价，它们具有相同的超类链长度，最大为Object ，并且彼此不相关。 两者都不是最小上限。 因此算法会忽略它们并寻找既共享又不具有另一种类型的相等“来自Object的深度”的东西。 它找到了Object? . 哪个不能分配给I 。

这是 Dart 中最小上限算法的一个已知缺点（在几个缺点中），但这是一个难以优化解决的问题，因为 class 引入一些内部私有超类非常非常容易，有时该类型会变成两个公共子类的最小上限，让用户摸不着头脑。

有人要求做得更好，例如不忽略上下文类型，但必须非常小心地更改类型推断。 它可以破坏已针对当前行为进行微调的现有代码。

这里没有很好的解决方法，但有一些实用的方法。

您将不得不重写代码以确保两个分支的 static 类型不会同时包含不必要的M类型。 而不是将结果向下转换为I? 最后，需要进行运行时类型检查，我会向上转换原始值：

final I? i3 = a ?? (b as I?); // ignore: unnecessary_cast

这应该是完全免费的向上转换，但可能（将）导致您必须忽略的分析器警告。

Answer 2

在这种情况下，编译器似乎无法识别对象a和b是继承自I的类。 所以语法是一样的，但在第一种情况下需要转换方面的帮助。

final I? i1 = (a ?? b) as I?; 

这不会报错。