当方法没有被重写时，为什么要使用“协变”？

Question

来自here

bool shouldReclip(covariant CustomClipper<T> oldClipper);

当你显式地重写一个方法，告诉分析器你将为它提供一个有效的类型时，就会使用关键字covariant。但是在CustomClipper类中，没有这样的覆盖，那么为什么要使用covariant呢？

Answer 1

您可以在超类中将参数标记为covariant，然后子类也会自动将其参数标记为covariant。

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

如果你看一下this subclass，你可以看到他们声明：

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

它用_DeclarationClipper (实现了CustomClipper<Path>)共同覆盖了参数类型CustomClipper<Path>，并且它们不必在这里编写covariant，因为超类为它们声明了它。