scala3-trait-basic

特质概念

Scala没有提供Java中的接口概念，取而代之是一个更强大的特质概念

定义特质

和定义class类似，修饰词由class变为trait

trait A:
end A

特质里面可以包含很多成分，我们先看下方法

特质方法

特质和类类似，可以有方法，字段等，我们先看方法，特质中的方法如果给出方法体就是具体的，否则位抽象的，不用添加abstract修饰

trait Cheatable:

  // 抽象方法
  def cheat():Unit
  // 具体方法
  def beauty():Unit = println("很美")
end Cheatable

类可以选择继承特质，scala2中如果一个类没有显式继承任何类则在嵌入特质的时候第一个特质使用extends，其余的特质要使用with，scala3则直接使用extends，with可以使用,代替，不过只能应用于类的声明位置

下面看一个类

class Fox extends Cheatable:
end Fox

Fox现在这么写是编译错误的，因为特质中有抽象方法，对于Fox而言，要么全部实现，要么部分实现并将自身抽象化，我们这里选择实现。

class Fox extends Cheatable:
  override def cheat(): Unit = println("请尽情宠爱我吧！")
end Fox

如果创建Fox实例，cheat以及beauty方法都是可以调用的

val f = Fox()
f.cheat()
f.beauty()

在类型修饰上，你可以将其指定为Cheatable，因为它具备这种特质

// 合法的类型描述
val f:Cheatable = Fox()

特质中的可执行语句

trait A:
  println("A trait...")
end A


class Ins extends A:
end Ins

val i = Ins()

创建这个实例的时候，特质中的语句也会执行，所以会打印，这里有个问题，如果我们有多个特质，那么先打印谁？

顺序问题

trait A:
  println("A trait...")
end A


trait B:
  println("B trait...")
end B

trait C:
  println("C trait...")
end C

class Ins extends A,B,C:
	println("ins")
end Ins

现在创建一个Ins实例，我们 观察结果

A trait…
B trait…
C trait…
ins

从这里可以看出谁写在前面谁先执行，而class内的语句是最后执行的

特质有同方法的问题

trait A:
  println("A trait...")
  def run():Unit = println("A run")
end A


trait B:
  println("B trait...")
  def run():Unit = println("B run")
end B

trait C:
  println("C trait...")
  def run():Unit = println("C run")
end C

此时Ins必须重写run，否则它不知道调用哪个，但是实现后可以调用父类的方法，而调用方法是一个远原则，后拥有的特质将生效

class Ins extends A,B,C:
  println("ins")

  override def run(): Unit =  {
    super.run()
    println("还是自己run吧")
  }
end Ins

super.run() 这里最终打印的是C run.

如果要明确调用某个特质里面的方法需要像下面这么写

override def run(): Unit =  {
  super[A].run()
  super[B].run()
  super[C].run()
  println("还是自己run吧")

}

特质字段

特质一样拥有字段

trait Thing:
  val name:String
end Thing

class Animal extends Thing:

  override val name :String = "动物"

end Animal

特质继承特质

特质可以继承多个特质

trait Openable:
  def open():Unit
end Openable

trait Closeable:
  def close():Unit
end Closeable


trait Ioable extends Openable,Closeable:
end Ioable

就如同说，某个人有漂亮的特质，有健康特质，那么就可以定义一个健康漂亮的特质继承漂亮特质与健康特质。

特质参数

scala2中特质与抽象类不一样，抽象类可以有参数，特质不允许，现在scala3是合法的了

trait Sender(val value:String):
  def send():Unit
end Sender

class Mailer(name:String) extends Sender("邮件"):
  override def send(): Unit = println(name + "发送" + value)
end Mailer

val m = Mailer("Martin")
m.send()

实例直接加入特质

trait Speakable:
  def speak():Unit
end Speakable



class Person(val name:String,val msg:String):
end Person

这里的Person假设大部分不具有Speakable的特质，但是某个实例有这种特质，这个时候Person没有必要去加入这个特质，可以用某个实例加入这个特质

 val p =new Person("martin","hello") with Speakable {
   override def speak(): Unit = println(s"$name say $msg")
 }
 p.speak()

注意此时的new不能缺省，且后面必须使用with。

未完待续。。。