特牛网址导航

Scala之特质中的自身类型(七)_scala中特质的自身类型-CSDN博客

网友收藏
文章浏览阅读332次。简介当特质扩展类时,编译器能够保证的一件事是所有混入该特质的类都认这个类作超类;在Scala中还有另外一套机制可以保证这一点,就是使用自身类型。定义方式当特质以如下代码开始定义时this: 类型 =>它便只能混入指定类型的子类案例操作trait Logger { this: Exception => def log(): Unit = { println(getMessage) }}注意该特质Logger并不扩展Exception类,而是有一个自身类型E_scala中特质的自身类型