javascript - 为什么协变/逆变意味着只读/只写？

Question

如果你看一下the flow docs on covariant/contravariant接口(interface)中的字段，协变意味着只读，逆变意味着只写。但是，我真的不明白为什么。 In their docs on variance ，它们被定义为

协方差

• Covariance does not accept supertypes.
• Covariance does accept subtypes.

逆变

• Contravariance does accept supertypes.
• Contravariance does not accept subtypes.

但在我看来，这并没有真正映射到只读/只写。谁能更深入地解释为什么会这样？

Answer 1

我不熟悉这门语言的语法，所以这个答案是伪代码。

假设我们有三种类型，Siamese < Cat < Animal , 并定义一个接口(interface)

interface CatCage {
    cat: Cat
}

并写一些方法

get_cat_in_cage (CatCage c) -> Cat {
    c.cat
}

put_cat_in_cage (Cat c, CatCage cage) {
    cage.cat = c
}

协方差

如果我们使字段协变，我们可以定义一个实例

SiameseCage < CatCage {
    cat : Siamese
}

但如果我们这样做

put_cat_in_cage (aCat, aSiameseCage)

aSiameseCage.cat 的值是多少？在这种情况下？ SiameseCage认为它应该是 Siamese , 但我们刚刚能够使它成为 Cat - 显然，该字段不能在接口(interface)上可写并且同时是协变的。

逆变

如果我们使字段逆变，我们可以定义一个实例

AnimalCage < CatCage {
    cat : Animal
}

但是现在我们做不到

get_cat_in_cage (anAnimalCage)

作为anAnimalCage.cat的值不保证是 Cat .因此，如果该字段是逆变的，则无法在界面上读取该字段。

您可以通过返回 Object 使其在界面上可读，或任何基本类型，但可能不会有任何实际用例，因此语言在决定反对它时是明智的。