scala之trait详解二:选择性混入
程序员文章站
2022-07-14 11:25:39
...
上篇文章http://fushengxu.iteye.com/blog/2301179的例子里,Friend trait混入到了Dog类里,就可以将Dog的任意实例当做Friend。也就是说,所有的Dog都是Friend。此外,还可以在实例一级对trait进行选择性混入。如下所示:
Cat并没有混入Fiend trait,所以不能把Cat的实例当做Friend。这样做,将会导致编译错误。然而,Scala确实可以为爱猫之人提供帮助,需要的话,可以专门把特殊的宠物当做Friend。创建实例时,只是简单的用with关键字标记一下即可。如下所示:
Scala给与了我们极大的灵活性:把类的所有实例当做trait,或是只选择需要的实例当做trait。如果想把trait用于事先的类上,后者就显得非常有用了。
以trait进行修饰
假设这样一个场景:申请请求,我们需要对申请者进行不同的检查——信贷,犯罪记录,可用记录等。我们并不是对所有的检查项目感兴趣。对于公寓申请者,我们关注:信贷记录和犯罪记录;就业申请者,我们关注:犯罪记录和之前的雇佣记录.....对于不同的申请者,我们只需要混入特定的检查。
这里定义一个检查类:
对于不同的检查,比如信贷,犯罪记录和雇佣记录,我们都创建像下面这样的trait;
继承了Check类,给了我们两个能力:
能力一:trait只能混入继承自Check(包括Check)的类
能力二:这些trait可以使用Check的方法
我们关注的是增强或是修饰check方法的实现,所以,需要将其修饰为override。这里check()调用使用了super.check。在trait里,通过super调用的方法会经历延迟绑定的过程。这个调用并不是对基类的调用,而是对其最左边混入的trait的调用。
举例说明:
这里CriminalRecordCheck中check的调用通过super.check传递到最左边的CreditCkeck 特质的方法,CreditCkeck(此特质在最左边)的super.check方法调用才是Check类中的check方法。
上面的三个特质(CreditCkeck,EmploymentCheck,CriminalRecordCheck),可以通过一个实例放在一起,如下:
最右边的trait开始调用check()。然后super.check()将其调用传递到最左边的trait。最左边的trait调用的是真正实例的check()。
在scala里,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是一个强有力的工具,可以用它混入横切关注点。可以以较低的成本构建出高度可扩展的代码。无需创建一个拥有大量类和接口的层次结构,就可以快速地把必要的代码投入使用。
上一篇: scala之trait详解一