scala之trait详解二：选择性混入

上篇文章[url]http://fushengxu.iteye.com/blog/2301179[/url]的例子里,Friend trait混入到了Dog类里,就可以将Dog的任意实例当做Friend。也就是说，所有的Dog都是Friend。此外，还可以在[b][size=large]实例一级[/size][/b]对trait进行[b][size=large]选择性混入[/size][/b]。如下所示：

def useFriend(friend:Friend)= Friend listen
val alf=new Cat("ALF")
val friend:Friend=alf  //ERROR
useFriend(alf)   //ERROR

Cat并没有混入Fiend trait,所以不能把Cat的实例当做Friend。这样做，将会导致编译错误。然而，Scala确实可以为爱猫之人提供帮助，需要的话，可以专门把特殊的宠物当做Friend。创建实例时,只是简单的用with关键字标记一下即可。如下所示：

def userFriend(friend Friend)=friend listen
val snowy=new Cat("Snowy") with friend
val friend : Friend=snowy
friend.listen     //输出：Your friend Snowy is listening
useFriend(snowy)  //输出：Your friend Snowy is listening

Scala给与了我们极大的灵活性：把类的所有实例当做trait,或是只选择需要的实例当做trait。如果想把trait用于事先的类上，后者就显得非常有用了。
以trait进行修饰
假设这样一个场景：申请请求，我们需要对申请者进行不同的检查——信贷，犯罪记录，可用记录等。我们并不是对所有的检查项目感兴趣。对于公寓申请者，我们关注：信贷记录和犯罪记录；就业申请者，我们关注：犯罪记录和之前的雇佣记录.....对于不同的申请者，我们只需要混入特定的检查。
这里定义一个检查类：

abstract class Check{
    def check():String="Checked Application Details..."
}

对于不同的检查，比如信贷，犯罪记录和雇佣记录，我们都创建像下面这样的trait;

trait CreditCheck extends Check{
    override def check():String ="Check Credit..."+super.check
}
trait EmploymentCheck extends Check{
    override def check():String="Check Employment..."+super.check
}
trait CriminalRecordCheck extends Check{
    override def chech():String="Check CriminalRecord Records..."+super.check
}   

[size=large]继承了Check类，给了我们两个能力：[/size]
[size=large][b]
能力一：trait只能混入继承自Check（包括Check）的类
能力二：这些trait可以使用Check的方法[/b][/size]
我们关注的是增强或是修饰check方法的实现，所以，需要将其修饰为override。这里check（）调用使用了super.check。[size=large][b][color=red]在trait里，通过super调用的方法会经历延迟绑定的过程。这个调用并不是对基类的调用，而是对其最左边混入的trait的调用。[/color][/b][/size]
举例说明：

val application=new Check with CreditCkeck with EmploymentCheck  with  CriminalRecordCheck

[size=large]这里CriminalRecordCheck中check的调用通过super.check传递到最左边的CreditCkeck 特质的方法，CreditCkeck（此特质在最左边）的super.check方法调用才是Check类中的check方法。[/size]
上面的三个特质（CreditCkeck,EmploymentCheck,CriminalRecordCheck），可以通过一个实例放在一起，如下：

val apartmentApplication=new Check with CreditCheck with CriminalRecordCheck
apartmentApplication.check
//输出：Check Criminal Records ... Check Credit ... Checked Application Details
val employmentApplication=new Check with CriminalRecordCheck with EmploymentCheck
employmentApplication.check
//输出：Check Employment... Check Criminal Records...  Checked Application Details...

最右边的trait开始调用check()。然后super.check()将其调用传递到最左边的trait。最左边的trait调用的是真正实例的check（）。
[size=large][b]在scala里，trait是一个强有力的工具，可以用它混入横切关注点。可以以较低的成本构建出高度可扩展的代码。无需创建一个拥有大量类和接口的层次结构，就可以快速地把必要的代码投入使用。[/b][/size]