我试图在Scala的上下文中理解Mixins。特别是我想知道继承和Mixins之间的概念差异。
维基百科中对Mixin的定义如下：
一个mixin类充当父类，包含所需的功能。子类可以继承或仅重用此功能，但不能作为专门化的手段。通常，mixin将所需的功能导出到子类，而不创建严格的单一“是一个”关系。这里有一个重要的区别，即mixins和继承概念之间的区别，在于子类仍然可以继承父类的所有功能，但关于子类“是一个”父类的语义不一定适用。
在上述定义中，我不明白加粗的语句。那是什么意思呢？
我不确定我是否正确理解了你的问题，但如果我的理解是正确的，你正在问如何在继承中实现继承而不真正意味着继承。
然而，混合（Mixins）并不是继承——它实际上更类似于将一组方法动态添加到一个对象中。而继承表示“这个东西是另一个东西的一种”，混合则表示“这个对象具有另一个东西的某些特征”。你可以从用于声明混合的关键字中看到这一点：trait。
为了大胆地借用 Scala 主页上的例子：
abstract class Spacecraft {
def engage(): Unit
}
trait CommandoBridge extends Spacecraft {
def engage(): Unit = {
for (_ <- 1 to 3)
speedUp()
}
def speedUp(): Unit
}
trait PulseEngine extends Spacecraft {
val maxPulse: Int
var currentPulse: Int = 0
def speedUp(): Unit = {
if (currentPulse < maxPulse)
currentPulse += 1
}
}
class StarCruiser extends Spacecraft
with CommandoBridge
with PulseEngine {
val maxPulse = 200
}
StarCruiser并不是一个CommandoBridge或者PulseEngine；然而它拥有它们，并且获得了在这些trait中定义的方法。正如你可以看到因为它继承自那个类，它是一个 Spacecraft。trait扩展了一个class时，如果你想用那个trait去创建一些东西，它必须扩展那个类。例如，如果我有一个class Dog，我不能拥有一个Dog with PulseEngine，除非Dog扩展了Spacecraft。以这种方式来说，它并不完全像添加方法；但是，它仍然是相似的。StarCruiser的实例传递给期望CommandoBridge的方法的能力难道不是展示StartCruiser确实是CommandoBridge的典型示例吗？ - dadeCommandoBridge "从" StarCruiser 中取出呢？）当然还有其他方法，但它们都不是特别美观，所以 Scala 设计者选择了他们认为最好的方式。如果我要猜测他们的理由，我会说这是因为他们不想在可以重载现有事物时添加额外的语法。 - anon特质（与类混合时称为mixin）类似于Java中的接口（尽管存在许多差异），您可以向类添加其他功能而无需具有“is a”关系。或者您可以说，通常，特质捆绑了可以由多个独立类使用的功能。
为了给您提供Scala库的示例，Ordered[A]是一个trait，它为可以具有自然排序数据的类提供了一些基本比较操作的实现（如<，<=，>，>= ）。
例如，假设您拥有自己的类Number和子类EvenNumber和OddNumber，如下所示。
class Number(val num : Int) extends Ordered[Number] {
override def compare(that : Number) = this.num - that.num
}
trait Half extends Number {
def half() = num / 2
}
trait Increment extends Number {
def increment() = num + 1
}
class EvenNumber(val evenNum : Int) extends Number(evenNum) with Half
class OddNumber(val oddNum : Int) extends Number(oddNum) with Increment
EvenNumber 和 OddNumber 与 Number 共享“is a”关系，但 EvenNumber 既不与 Half 具有“is a”关系，也不与 OddNumber 具有“is a”关系。 另一个重要的点是，尽管类 Number 使用了 extends Ordered 语法，它意味着 Number 与 Ordered 的超类 Any 存在隐含的“is a”关系。 //All future versions of DAO will extend this
trait AbstractDAO{
def getRecords:String
def updateRecords(records:String):Unit
}
//One concrete version
trait concreteDAO extends AbstractDAO{
override def getRecords={"Here are records"}
override def updateRecords(records:String){
println("Updated "+records)
}
}
//One concrete version
trait concreteDAO1 extends AbstractDAO{
override def getRecords={"Records returned from DAO2"}
override def updateRecords(records:String){
println("Updated via DAO2"+records)
}
}
//This trait just defines dependencies (in this case an instance of AbstractDAO) and defines operations based over that
trait service{
this:AbstractDAO =>
def updateRecordsViaDAO(record:String)={
updateRecords(record)
}
def getRecordsViaDAO={
getRecords
}
}
object DI extends App{
val wiredObject = new service with concreteDAO //injecting concrete DAO to the service and calling methods
wiredObject.updateRecords("RECORD1")
println(wiredObject.getRecords)
val wiredObject1 = new service with concreteDAO1
wiredObject1.updateRecords("RECORD2")
println(wiredObject1.getRecords)
}
concreteDAO是一个特质(trait)，它扩展了AbstractDAO，这就是继承。
val wiredObject = new service with concreteDAO - 这是适当的混入行为。由于service特质要求混入AbstractDAO，因此使用Service扩展ConcreteDAO是错误的。相反，您可以创建不同混入的service实例。
extends或with，它们的语法是一样的。然而，在语义层面上，一个旨在被混入的trait通常与混入它的类没有“is a”关系，这与一个旨在被继承的trait是不同的。对我来说，一个trait是mixin还是parent是很主观的，这经常造成困惑。Dog扩展自该类（继承），那么它就是Animal的一种类型。它可以在任何适用于Animal参数的地方使用。