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

发布时间：2020-12-16 18:04:48 所属栏目：安全来源：网络整理

导读：从这个答案的底部： https://stackoverflow.com/a/23374938/342235,有一些看起来很奇怪的代码： 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[-] {}

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!