scala - 如何在仅接受子类的 scala 中进行结构输入？

Question

与其用语言描述问题，不如让我向您展示一个 Scala Interpreter 会话，它显示了我想要做什么。

    scala> class A extends Parent{
         | def name = "Alex"
         | }
    defined class A

    scala> class B extends Parent{
         | def name = "Bernardo"
         | }
    defined class B

    scala> def addFamilyName[T <: Parent](fn:String, c:T{def name():String}) = c.name + " " + fn
    addFamilyName: [T <: Parent](fn: String, c: T{def name(): String})java.lang.String

    scala> addFamilyName( "Martins", new A())
    <console>:11: error: type mismatch;
     found   : A
     required: ?{def name(): String}
           addFamilyName( "Martins", new A())
                             ^

所以基本上我想在一个参数中定义一个类型，它既是某种类型的子类，又包含一个带有签名的方法 def name():String。

注意：我正在尝试这样做，因为我的类层次结构已经很复杂了。鉴于此，我宁愿不添加 aParentWithName abstract class或者trait是否可以避免。

Answer 1

信不信由你，问题出在方法签名的括号中。这有效：

def addFamilyName[T <: Parent](fn:String, c:T{def name:String}) =
    c.name + " " + fn

虽然我应该补充一点，您实际上并不需要类型参数。这同样好：

def addFamilyName(fn:String, c:Parent{def name:String}) =
    c.name + " " + fn