scala学习笔记11 特质

本章要点：
一个类扩展自一个或者多个特质，以便使用这些特质提供的服务。特质可能会要求它的类支持某个特定的特性，和java接口不同，scala特质可以给出这些特性的缺省实现。

• 类可以实现任意数量的特质

• 特质可以要求实现他们的类具有特定的字段，方法或者超类

• 和java接口不一样，scala特质可以提供方法和字段的实现

• 当你将多个特质叠加在一起时，顺序很重要－－－方法先被执行的特质排在后面

1、为什么没有多重继承？
scala和java一样，不允许类从多个超类继承，因为如果多重继承的类具有某些共通的方法或字段，就会出现无法辨明使用哪个方法或者字段。
接下来，假设student和employee都继承自同一个超类person
class Person {
var name:String= _
}
class student extends Person{}
class Employee extends Person{}
这就引入了菱形继承问题。在teachassistant中我们只想一个name字段，而不是两个。（java的类可以实现任意的数量的借口，但借口只能包含抽象方法，不能包含字段）

特质可以同时具有抽象方法和具体方法，而类可以实现多个特质。

2、当作接口使用的特质
trait Logger {
def log(msg:String) //抽象方法，特质中未被实现的方法默认是抽象的
}
class  ConsoleLogger extends Logger {
def log(msg:String) {println(msg)} //不需要override
}
比起java的借口，特质和类更为相似。
如果你需要的特质不止一个，可以用with关键字来添加额外的特质：
class  ConsoleLogger extends Logger with Cloneable with Serializable
这里使用java类库的两种接口，所有的java接口都可以当成scala特质使用。
总结：scala类只能有一个超类但是可以有任意数量的特质。

3、带有具体实现的特质
trait ConsoleLogger{
 def log(msg:String) {}
}
以下是如何使用这个特质的示例

savingaccount从consolelogger特质得道一个log方法，java接口不能做到。
4、带有特质的对象

trait Logged {

def log(msg:String){}

}

上面的类看上去毫无意义，但是在构造具体对象时可以混入一个更好的日志记录器的实现。

trait ConsoleLogger extends logged｛
   override def log（msg:String） ｛｝
｝
可以在构造对象时加入特质：
val acct＝new savingaccount with consolelogger

还可以在另一个对象上加入不同的特质

val acct2=new savingaccount with filelog

5、叠加在一起的特质

  你可以为类或者对象添加多个互相调用的特质，从最后一个开始。

  首先，加时间戳

注意上述的log方法将每一个修改过的消息传递给super.log。

对于特质而言，super.log并不想类那样拥有相同的含义。（实际上，logged中的log函数毫无用处）实际上，super.log调用的是特质层级下一个特质。

可以利用super[consolelogger].log(...)规定哪一个特质的方法被调用。

这篇文章里的例子很好：http://blog.csdn.net/o1101574955/article/details/51815018

6、在特质中重写抽象方法

先引入一个没有被实现的logger特质

trait Logger {

  def  log(msg:String) }

现在使用时间戳特质来扩展它

trait TimestampLogger extends Logger {

 override def log(msg:String){

 super.log(new java.util.Date()+" "+msg) }

}

但是在编译时会将super.log标记为错误。因为根据正常的继承规则，Logger.log没有被实现，我们无法知道哪个log最终被调用。scala认为TimestampLogger仍旧是抽象的，它需要混入一个具体的log方法，所以需要在方法上打上abstract关键字和override关键字。

7、当作富接口使用的特质

特质可以包含大量工具方法，而这些工具方法可以依赖一些抽象方法来实现，例如scala的Iterator特质就利用抽象的next和hasNext定义了几十个方法。

trait Logger {

 def log(msg:String)

 def info(msg:String) { log("INFO:"+msg)}

 def warn(msg:String) { log("WARN:"+msg) } 

 def severe(msg:String) {  log("SEVERE:"+msg) }

}

这样一来，我们可以使用logger特质任意调用这些log的方法：

8、特质中的具体字段

特质中的字段可以是具体的，也可以是抽象的，如果你给出了初始值，那么字段就是具体的。

trait ShortLogger extends Logged {

val maxLength =15 }

混入该特质的类自动获得一个maxlebgth字段。通常，对于特质中的每个字段，使用该特质的类都会获得一个字段与之对应，这些字段不是被继承的，只是简单的被加到子类中。

class SavingAccount extends Account  with ConsoleLogger with ShortLogger {

var intesest=0.0

...

}

class Account {

var balance=0.0

}

savingaccount类以正常的方式继承了balance字段。但是对于maxlength字段，则不一样。

9、特质中的抽象字段

特质中未被初始化的字段在具体的子类中必须被重写。

如下maxLength字段是抽象的：

trait ShortLogger extends Logged  {

  val maxLength:Int 

  override def log(msg:String) {

     super.log(if (msg.length<=maxLength))  msg  else mag.substring(0,maxLength-3)+"...")

}

...}

当你在一个具体的类中使用该特质时，必须提供maxlength字段。

class SavingAccount extends Account with ConsoleLogger with ShortLogger {

 val maxLength=20  //不需要override

...}

这种提供特质参数的方式十分的方便，比如：

val acct＝new SavingAccount with ConsoleLogger with ShortLogger {

  val maxLength=20

}  //注意下文11，这种方法似乎存在问题？？

10、特质构造顺序

和类一样，特质也可以有构造器，由字段的初始化和其它特质体中的语句构成。例如：

trait FileLogger extends Logger {

  val  out=new PrintWriter("app.log")

  out.println("#"+new Date().toString)   //这是特质构造器的一部分

  def log(msg:String) { out.println(msg) ; out.flush() } //这是特质构造器的一部分

}

这些语句在任何混入该特质的对象在构造时都会被执行。

构造器以如下顺序执行：

举例来说，考虑如下一个类的构造顺序

class SavingAccount extends Account with FileLogger with ShortLogger

11、初始化特质中的字段

特质不能有构造器参数，每个特质都有一个无参数的构造器。

注意点：缺少构造器参数是特质与类之间唯一的技术差别。除此之外，特质可以具备类的所有特性，比如具体的和抽象的字段以及超类。

val acct=new SavingAccount with FileLogger("myapp.log")

//错误：特质不能够使用构造器参数

trait FileLogger extends Logger {

 val filename:String

val out＝new printwriter（filename）

....}

使用该特质的类可以重写filename字段，不过下面的方案并不可行：

val  acct＝new SavingAccount with FileLogger {

 val filename = "myapp.log"  //错误

}

12、扩展类的特质

trait a extends b ｛｝

class c extends a｛｝

如上，假设一个特质a继承一个类b，类c继承a，则b自动成为c的超类。但是如果c还extends另外一个类，怎么办？

只要这两个类是b的子类就行。

13、背后发生了什么？

scala需要将特质翻译成jvm的接口和类