Scala跨包暴露特质内部类遇类型不匹配问题求助

问题根源 #

Scala中特质的内部类属于路径依赖类型——每个NRC实例（比如Exposed对象、e1: WrappedDataset实例）的内部类Singleton、TupleExpr、BagExpr都是彼此独立的类型。直接用Exposed.Singleton接收e1.TupleExpr，或者返回Exposed.BagExpr给需要e1.BagExpr的上下文，自然会触发类型不匹配。

方案1：通过外部工具类创建对应实例的Singleton #

不要让Exposed继承NRC，而是让它提供一个通用方法，根据传入的NRC实例，创建该实例对应的Singleton对象，确保类型完全匹配：

// 原NRC特质保持不变
trait NRC {
  type TupleExpr
  type BagExpr
  final case class Singleton(e: TupleExpr) extends BagExpr {
    val tp: BagType = BagType(e.tp)
  }
}

// 重构Exposed为工具类，不继承NRC
object Exposed {
  // 接收NRC实例和对应TupleExpr，返回该实例的BagExpr
  def singleton[N <: NRC](n: N)(expr: n.TupleExpr): n.BagExpr = {
    n.Singleton(expr)
  }
}

// 使用方式
val e1: WrappedDataset = ds.wrap()
val r1 = e1.customMap(x => Exposed.singleton(e1)(x))

这种方式完全利用Scala的路径依赖类型推导，不需要任何强制转换，类型安全且简洁。

方案2：将内部类改为非路径依赖（顶层/包级） #

如果Singleton不需要依赖NRC的实例成员，可以将它移到包级，通过类型参数绑定TupleExpr和BagExpr：

// 把Singleton移到包级，用类型参数关联依赖
final case class Singleton[TE <: TupleExpr, BE <: BagExpr](e: TE) extends BE {
  val tp: BagType = BagType(e.tp)
}

// NRC特质不再包含Singleton
trait NRC {
  type TupleExpr
  type BagExpr
}

// Exposed可以提供便捷创建方法
object Exposed {
  def apply[TE <: TupleExpr, BE <: BagExpr](e: TE): BE = Singleton(e)
}

// 使用方式
val e1: WrappedDataset = ds.wrap()
val r1 = e1.customMap(x => Singleton[x.TupleExpr, x.BagExpr](x))
// 或借助Exposed的便捷方法（如果类型推导足够）
val r1 = e1.customMap(x => Exposed(x))

这个方案彻底消除路径依赖，但需要确保TupleExpr和BagExpr的继承关系足够清晰，让编译器能正确推导类型。

方案3：在WrappedDataset中集成Singleton创建逻辑 #

如果WrappedDataset是你可控的类，可以直接在它内部添加创建Singleton的方法，避免外部工具类：

class WrappedDataset extends NRC {
  // ... 原有逻辑 ...
  def createSingleton(expr: TupleExpr): BagExpr = Singleton(expr)
}

// 使用方式
val e1: WrappedDataset = ds.wrap()
val r1 = e1.customMap(x => e1.createSingleton(x))

这种方式最直接，把创建逻辑封装在WrappedDataset内部，调用方无需关心路径依赖细节。

内容的提问来源于stack exchange，提问作者B-Brennan