为什么`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[-] {}