dotty编译器语法特性之一幽灵类型

最新推荐文章于 2024-09-05 19:45:02 发布

weixin_33721427

最新推荐文章于 2024-09-05 19:45:02 发布

阅读量146

点赞数

文章标签： scala python

原文链接：https://my.oschina.net/jackywyz/blog/915419

版权

2019独角兽企业重金招聘Python工程师标准>>>

什么是幽灵类型？

一个幽灵类型是在运行时表现为没有副作用的抽象类型。因为他们在运行时没有副作用，所以一旦它显示明确类型之后，会被编译器从结果集中擦除。

如果一个函数接受一个幽灵类型，那么他的返回值将不会受他的参数影响。

定义一个幽灵类型

幽灵类型是通过一个object 继承 scala.Phantom来定义的，这个对象表示幽灵类型的一个领域，是完全区别开scala.Any或者其他的幽灵类型的领域。

package scala
trait Phantom { // only an `object` can extend this trait
  protected final type Any // not a subtype of scala.Any
  protected final type Nothing // subtype of every subtype of this.Any
  protected final def assume: this.Nothig
}
object MyPhantoms extends Phantom

转载于:https://my.oschina.net/jackywyz/blog/915419