scala – 为什么`trait X {def append [ – ]():Unit}`编译?

前端之家收集整理的这篇文章主要介绍了scala – 为什么`trait X {def append [ – ]():Unit}`编译?前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
从这个答案的底部https://stackoverflow.com/a/23374938/342235,有一些看起来很奇怪的代码

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

为什么可以编译?我的意思是[ – ]很奇怪

解决方法

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

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

– []这里是一个普通的类型名称,就像 – 作为以下代码中的类名:

class -

请注意,因为方法的类型参数不能标记为逆变,所以编译器不会将 – 解释为 – 表示逆变.另一方面,这不会解析:

class Z[-] {}

猜你在找的Scala相关文章