dart - 为什么没有覆盖方法时使用 'covariant'？

Question

来自 here :

bool shouldReclip(covariant CustomClipper<T> oldClipper);

AFAIK，关键字covariant 用于重写一个方法，明确告诉分析器您将为其提供一个有效类型。但是在 CustomClipper 类中，没有这样的覆盖，那么为什么要使用 covariant 呢？

Answer 1

您可以将参数标记为 covariant在父类(super class)中，然后子类自动获得标记为 covariant 的参数也是。

如果要扩展该类，这可以是为子类作者提供的服务(和文档)，以便他们知道该参数应该协变地使用。

如果你看this subclass ，你可以看到他们声明:

@override
bool shouldReclip(_DecorationClipper oldClipper) {...}

协变地覆盖参数类型 CustomClipper<Path>与 _DeclarationClipper (实现 CustomClipper<Path> )，他们不必写 covariant在这里是因为父类(super class)为他们声明了它。