为什么`trait X {def append [ - ]():Unit}`编译？

Question

从这个答案的底部:https://stackoverflow.com/a/23374938/342235,有一些看起来很奇怪的代码:

trait X { 
  def append[-](): Unit 
}

为什么可以编译？我的意思[-]是奇怪的

Answer 1

这很奇怪,但在此上下文中-是类型参数的可接受标识符.这是一个较长的例子:

class Y {
  def identity[-](x: -): - = x
}
(new Y).identity(5) // returns 5

这里的-内部[-]是一个普通的类型名称,就像-下面代码中的类名一样:

class -

请注意,由于方法的类型参数不能标记为逆变,因此编译器不会将其解释-为指示逆变.另一方面,这不会解析:

class Z[-] {}