scala类型系统：6) 复合类型与with关键字

上次上海scala聚会回来，把《快学scala》借给王福强看了几天，他写过一篇”scala for the impatient琐碎记录”，其中多Trait与继承的解读

class A extends B with C with D with E

应做类似如下形式解读：

class A extends (B with C with D with E)

这正是《scala for the impatient》这本书上的内容，我下面的理解也基本源于这本书。

T1 with T2 with T3 …

这种形式的类型称为复合类型(compound type)或者也叫交集类型(intersection type)。

跟结构类型类似，可以在一个方法里声明类型参数时使用复合类型：

scala> trait X1; trait X2;

scala> def test(x: X1 with X2) = {println("ok")}
test: (x: X1 with X2)Unit

scala> test(new X1 with X2)
ok

scala> object A extends X1 with X2

scala> test(A)
ok

也可以通过 type 声明：

scala> type X = X1 with X2
defined type alias X

scala> def test(x:X) = println("OK")
test: (x: X)Unit

scala> class A extends X1 with X2

scala> val a = new A

scala> test(a)
OK

在上一篇介绍结构类型时也提到过复合类型中也可包含结构类型：

scala> type X = X1 with X2 { def close():Unit }
defined type alias X

《scala类型系统：6) 复合类型与with关键字》上有9个想法

scala2.10.3 不能用是有特别原因
object TypeSystemCompundType extends App {
//class A extends (B with C with D with E)
trait X1; trait X2;
val o = new X1 with X2
type X = X1 with X2

// val o2 = new X//出错
// object T extends X//出错 class type required but hongjiang.info.TypeSystemCompundType.X1 with hongjiang.info.TypeSystemCompundType.X2 found

// trait XX extends X//出错

}

回复 ↓

hongjiang在2014-03-14 11:27说道：

没明白你的意思？

回复 ↓

你好，我最近看akka 的文档中微内核部分，发现他有一个akka-sbt-plugin 插件，用来创建一个dist包，但是我google好久都不知道在哪个仓库上去下载相应的akka-sbt-plugin,很多版本都试过，请问是这个插件被废弃了吗还是重新更改了名字？

回复 ↓

lcn在2014-09-21 00:29说道：

参考http://stackoverflow.com/a/21451982/2073130，这个akka-sbt-plugin已经废弃了，现在使用SBT Native Packager。

回复 ↓
- wujiahua在2014-09-21 12:43说道：
  
  好的，谢谢~
  
  回复 ↓