Scala泛型样例类无法自动推断Dataset[Row]类型问题

你的WrapDataset[T]的类型参数T和构造参数in: Dataset[Row]没有任何类型关联，Scala编译器无法从构造参数的类型推导出T的具体值，只能用Scala类型系统中最底层的Nothing来填充这个未确定的类型参数。

反观Seq的情况，比如Seq(1)，Seq的伴生对象apply方法定义是def apply[A](elems: A*): Seq[A]——这里的类型参数A和传入的元素类型直接绑定，编译器可以从元素1的类型Int直接推断出A=Int，自然不会出现Nothing的情况。

要实现类型自动推断，核心是让类型参数T和构造参数或上下文产生关联，常见的几种方式：

1. 让类型参数与构造参数类型绑定 #

调整WrapDataset和WrappedDataframe的定义，让T与构造参数的类型直接关联：

// 调整特质定义，让Rep的类型参数与T绑定
trait Rep[T]
trait WrappedDataframe[T] extends Rep[Dataset[T]]
case class WrapDataset[T](in: Dataset[T]) extends WrappedDataframe[T]

// 使用时自动推断
val ds: Dataset[Row] = simpleDs()
val wrapped = WrapDataset(ds) // 此时wrapped类型为WrapDataset[Row]

2. 通过上下文类型推断 #

如果保留原有的特质继承关系，可以通过显式指定变量类型让编译器反向推断T：

val ds: Dataset[Row] = simpleDs()
val wrapped: WrapDataset[Dataset[Row]] = WrapDataset(ds) // 编译器自动匹配T=Dataset[Row]

3. 给类型参数添加约束（适用于特定场景） #

如果T必须和Dataset[Row]有固定关系，可以添加隐式约束辅助推断：

case class WrapDataset[T](in: Dataset[Row])(implicit ev: T <:< Dataset[Row]) extends WrappedDataframe[T]

// 使用时，若上下文期望T为Dataset[Row]，编译器会自动推断
val ds: Dataset[Row] = simpleDs()
val wrapped: WrapDataset[Dataset[Row]] = WrapDataset(ds)

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