<分区>
在阅读 section 时在维基百科上的一篇关于协变和逆变的文章中，我遇到了以下加粗的句子:
First consider the array type constructor: from the type
Animalwe can make the typeAnimal[]("array of animals"). Should we treat this as
- Covariant: a
Cat[]is aAnimal[]- Contravariant: a
Animal[]is aCat[]- or neither (invariant)?
If we wish to avoid type errors, and the array supports both reading and writing elements, then only the third choice is safe. Clearly, not every
Animal[]can be treated as if it were aCat[], since a client reading from the array will expect a Cat, but anAnimal[]may contain e.g. aDog. So the contravariant rule is not safe.Conversely, a
Cat[]can not be treated as aAnimal[]. It should always be possible to put aDoginto aAnimal[]. With covariant arrays this can not be guaranteed to be safe, since the backing store might actually be an array of cats. So the covariant rule is also not safe—the array constructor should be invariant. Note that this is only a issue for mutable arrays; the covariant rule is safe for immutable (read-only) arrays.
我理解这个概念；我只想要一个示例，说明如何在 C# 中“不能保证安全”。