标签： scala type-systems variance
我正在阅读“scala编程”一书，发现差异的位置很难理解。
trait Cat[-T, +U] { def meow[W]() }
它说W的位置是否定的。
W
“消极”是什么意思？对于W类型，我可以做什么，做什么不能做什么？