Scala如何定义父类返回类型使其匹配调用方法的子类实例类型

你当前的写法将B类的泛型参数固定为了B，导致所有继承B的子类调用echo方法时返回类型始终是B，无法匹配子类自身的类型，才会出现你遇到的两类报错。

可以通过带自类型约束的F限界多态实现父类方法返回调用者子类类型的需求，正确写法如下：

// 泛型参数T增加上限约束，确保实现类必须将自身作为参数传入A
trait A[T <: A[T]] { self: T =>
  def echo(a: T): T
}

// 中间类B保持泛型定义，不固定参数类型，同样增加自类型约束
class B[T <: B[T]] extends A[T] { self: T =>
  override def echo(x: T): T = x
}

// 子类C传入自身类型作为泛型参数，echo返回类型自动匹配C
class C extends B[C] {
  def repeat(x: C): C = echo(x)
}

// 子类D同理，echo返回类型自动匹配D
class D extends B[D] {
  def repeat(x: D): D = echo(x)
}

val c = new C()
// 连续调用正常运行，不会出现找不到repeat方法的报错
c.repeat(c).repeat(c)

val d = new D()
// 编译正常，echo返回类型为D，符合要求
d.repeat(d)

• 泛型上限T <: A[T]约束了所有实现A的类，必须把自身类型作为泛型参数传入A，从语法层面避免参数传错
• 自类型注解self: T =>强制要求当前实例的类型必须和泛型参数T一致，进一步保证类型安全
• 中间父类B不要固定泛型参数为B本身，保持泛型传递到最终子类，就能让echo方法的返回类型和最终子类的类型完全匹配

内容的提问来源于stack exchange，提问作者Benny