在flutter源码中，为什么Dart Generics能写出这样的代码？

Question

在 Flutter 源代码中有一个名为 ContainerRenderObjectMixin 的 Mixin（在 object.dart 文件中），它使用泛型让我感到困惑？ 像这样：

class ParentData {
  ...
}

abstract class RenderObject {
  ParentData parentData;
  ...
}

mixin ContainerParentDataMixin<ChildType extends RenderObject> on ParentData {
  ...
}

mixin ContainerRenderObjectMixin<ChildType extends RenderObject, ParentDataType extends ContainerParentDataMixin<ChildType>> on RenderObject {
  bool _debugUltimatePreviousSiblingOf(ChildType child, { ChildType equals }) {
    ParentDataType childParentData = child.parentData;
    while (childParentData.previousSibling != null) {
      assert(childParentData.previousSibling != child);
      child = childParentData.previousSibling;
      childParentData = child.parentData;
    }
    return child == equals;
  }
  ...
}

不知道dart怎么确认这个code[ParentDataType childParentData = child.parentData]，为什么parentData的Type是ParentDataType？我认为 parentData 的 Type 可以是 ParentData 的任何子类。

我对 Dart 不熟悉，谁能告诉我为什么这段代码不会出错？

Answer 1

这不是“类型安全”，如果您是这样想的话。 他们将child.parentData 从ParentData 转换为ParentDataType。

但这不会引起问题，因为child.parentData 在该代码范围内是“保证to beParentDataType`。

ContainerRenderObjectMixin 合同的一部分是child.parentData 是ParentDataType。