突变会像打破协方差一样破坏违反性吗？

Question

变异的协变容器是不健全的。

例如，在不使用任何特定语言的情况下，

interface Pet;
class Cat extends Pet { meow(); }
class Dog extends Pet { woof(); }

class Box[T] {
  value: T;
}

var dog: Box[Dog] = new Box(new Dog);
var pet: Box[Pet] = dog;
pet.value = new Cat;
dog.woof();  // uh oh!

反变体类型是否存在类似的不合理性？

我的直觉是不会。粗略地说，上述不合理之处来自于这样一个事实：Box[T]“包含”对 T 的引用，但是像 Predicate[T] 这样的逆变类型 根本不“包含”任何东西。

但是，我在这个主题上找不到太多内容。