欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页

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

程序员文章站 2022-07-14 11:25:39
...
    上篇文章http://fushengxu.iteye.com/blog/2301179的例子里,Friend trait混入到了Dog类里,就可以将Dog的任意实例当做Friend。也就是说,所有的Dog都是Friend。此外,还可以在实例一级对trait进行选择性混入。如下所示:
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
}   

    继承了Check类,给了我们两个能力:
   
    能力一:trait只能混入继承自Check(包括Check)的类
    能力二:这些trait可以使用Check的方法

    我们关注的是增强或是修饰check方法的实现,所以,需要将其修饰为override。这里check()调用使用了super.check。在trait里,通过super调用的方法会经历延迟绑定的过程。这个调用并不是对基类的调用,而是对其最左边混入的trait的调用。
举例说明:
val application=new Check with CreditCkeck with EmploymentCheck  with  CriminalRecordCheck

    这里CriminalRecordCheck中check的调用通过super.check传递到最左边的CreditCkeck 特质的方法,CreditCkeck(此特质在最左边)的super.check方法调用才是Check类中的check方法。
    上面的三个特质(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()。
    在scala里,trait是一个强有力的工具,可以用它混入横切关注点。可以以较低的成本构建出高度可扩展的代码。无需创建一个拥有大量类和接口的层次结构,就可以快速地把必要的代码投入使用。