无缝编织特质

Question

我想自动将扩展特征 Ext 引入的新函数 say 的定义编织到抽象类 A 中：

class Base {
    abstract class A
    class B extends A
    case class C extends A   
}

trait Ext extends Base {
    trait A extends super.A {
        def say = "hello"
    }
}

object Test extends Base with Ext {
    val b = new B
    b.say
}

但是，我得到出现以下错误：

<console>:12: error: value say is not a member of Test.B
           b.say

有什么办法吗？

Answer 1

您似乎正在尝试使用虚拟类，这是 Scala 中不提供的功能。

一旦 A 和 B 被定义，它们就不能被重新定义（就像方法覆盖一样）。

abstract class A
class B extends A

另一方面，根据您的示例，您的目标可以通过简单的 mixin 来实现。这里有一些重写：

class Base {
    abstract class A
    class B extends A
    case class C extends A   
}

trait Ext extends Base {
    trait CanSay extends A {
        def say = "hello"
    }
}

object Test extends Base with Ext {
    val b = new B with CanSay
    def apply = b.say
}

Test.apply

不确定它是否真的有帮助，但至少会帮助你理解正在发生的事情。

Answer 2

好吧，正如我在评论中所说，目前尚不完全清楚您要在这里做什么，所以我不能真正尝试建议方法。但是，您目前使用的方法不起作用。

考虑这种情况下的类层次结构。在基础上，我们有 A，然后使用 B（在 Base 中）和 Ext.A 进行子类化>。它们与共享超类型的保存无关，因此您永远不会在 B 实例上找到 say 方法。

混淆可能是由于使用“抽象”一词而引起的。类（甚至是内部类）上的 Abstract 修饰符不会使其成为父类的抽象成员，但表示它本身可以具有抽象成员。有多种方法可以为类提供抽象类成员 - 通过类型参数或类型成员。不幸的是，你无法从这些 AFAIK 中得出结论。