为什么“K <：T”中的T不能是协方差？

Question

Scala 代码：

class Cat[T] {
    def meow[K <: T] = ""
}

class Cat[-T] {
    def meow[K <: T] = ""
}

它们可以被编译。

但是当T为协方差时，以下代码无法编译：

class Cat[+T] {
    def meow[K <: T] = ""
}

编译器打印：

error: covariant type T occurs in contravariant position in type  <: T of type K
       def meow[K <: T] = ""
                ^

<:右边的类型一定不能协变？为什么？

Answer 1

这样不好

与Jazz <: Music，Classical <: Music，但Jazz和Classical之间没有关系，

meow[K <: T] 表示Cat[Music] 可以喵喵叫Jazz、Classical 或任何类型的选择。

另一方面，Cat[Classical] 喵不能是Jazz。

但是如果你有协变的Cat[+T]，那么一个Cat[Classical] <: Cat[Music]，那么一个Cat[Classical]，也是一个不拘一格的Cat[Music]，应该可以喵喵叫Jazz。

矛盾。