Scala嵌套泛型多态适配：内部泛型子类兼容外层泛型的实现方案

该场景是Scala泛型变型设计中的高频通用场景，完全不需要拆分类到外部Helper，Scala原生支持协变类内部定义带类型下界的实例方法，可同时满足多态支持、类内方法封装两个核心设计目标。

实现原理 #

• 外层泛型类保留协变定义，为内部泛型体系提供多态向上赋值能力
• 类内成员方法不直接绑定类的协变泛型作为入参类型，而是为方法单独定义带类型下界的泛型参数，绕过协变位置校验规则，同时严格保证类型安全

完整可运行代码 #

// 外层类保留协变定义，支持InnerShell体系的多态赋值
class OuterShellClass[+Generic] {
  // 方法内部独立定义泛型，用下界约束保证入参与自身类型的兼容关系
  def doSomething[U >: Generic](param: OuterShellClass[U]): OuterShellClass[U] = this
}

abstract class InnerShellClass[Type]

class InnerShellSubclass[Type] extends InnerShellClass[Type]

class Wrapper {
  // 保留原生需求的多态赋值能力
  val obj: OuterShellClass[InnerShellClass[String]] = new OuterShellClass[InnerShellSubclass[String]]
  // 类内方法可直接正常调用，无需拆分到外部Helper类
  val res = obj.doSomething(new OuterShellClass[InnerShellClass[String]])
}

合规性说明 #

• 无类型不匹配报错：类上定义的+Generic协变规则，天然允许OuterShellClass[InnerShellSubclass[String]]向上转型为OuterShellClass[InnerShellClass[String]]
• 无协变位置校验报错：方法内的U是独立于类协变泛型的参数，协变类型Generic仅出现在U >: Generic的下界声明位置，不属于逆变入参位置，完全符合Scala的变型校验规则
• 不破坏类封装：所有关联业务方法都保留在原外层类内部，相比拆分到Helper类的临时方案，代码内聚性更强。

该写法是Scala官方类库的通用标准实践，比如不可变集合List的拼接、元素添加方法，全部使用了相同的“协变类+泛型下界方法”的实现模式。

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