如何编写Scala泛型方法接收任意Case Class的ArrayBuffer？

现有以下两个case class及对应的ArrayBuffer实例：

case class dbep1(a1: String, b1: String, ts1: Integer)
case class dbep2(a2: String, b2: String, ts2: Integer)

var dbep1D = new ArrayBuffer[dbep1]()   
dbep1D = ArrayBuffer(dbep1("Mark", "Hamlin", 2), dbep1("Kumar", "XYZ", 3), dbep1("Tom", "Poolsoft", 4)) 
var dbep2D = new ArrayBuffer[dbep2]()   
dbep2D = ArrayBuffer(dbep2("Pjotr", "Hamming", 4), dbep2("Kumar", "ABNC", 7), dbep2("Tom", "Gregory", 3)) 

我希望编写一个泛型方法，能接收任意上述case class的ArrayBuffer作为输入，但尝试的写法不正确：

import scala.collection.mutable.ArrayBuffer
def printArray[a: ArrayBuffer[T]]() = {
// do anything with ArrayBuffer[T] 
  println(a)
}

已知仅传递单个case class类型的泛型方法可以正常工作，示例如下：

def doSomeThing[T]() = {
// ...
}
case class SomeClassA(id: UUID, time: Date)
doSomeThing[SomeClassA]()

请问如何实现接收指定case class的ArrayBuffer作为输入的泛型方法？是否无法实现？

1. 通用泛型方法（支持任意类型的ArrayBuffer） #

如果不需要限定特定case class，只是要处理任意类型的ArrayBuffer[T]，直接定义带泛型参数的方法即可，写法如下：

import scala.collection.mutable.ArrayBuffer

def printArray[T](buffer: ArrayBuffer[T]): Unit = {
  // 可对buffer执行任意操作，比如遍历打印所有元素
  buffer.foreach(println)
}

调用时直接传入实例：

printArray(dbep1D)
printArray(dbep2D)

2. 限定仅接收指定case class的ArrayBuffer #

如果需要严格限制方法只能接收dbep1或dbep2类型的ArrayBuffer，有两种实现方式：

方式一：Scala 3 联合类型约束

Scala 3支持直接用联合类型限定泛型范围：

import scala.collection.mutable.ArrayBuffer

def printArray[T <: dbep1 | dbep2](buffer: ArrayBuffer[T]): Unit = {
  buffer.foreach(println)
}

这样非dbep1/dbep2类型的ArrayBuffer传入时会直接编译报错。

方式二：Scala 2/3通用的特质继承方案

先定义一个公共特质，让目标case class继承它：

trait DbEntity // 定义公共父特质
case class dbep1(a1: String, b1: String, ts1: Integer) extends DbEntity
case class dbep2(a2: String, b2: String, ts2: Integer) extends DbEntity

然后在泛型方法中限定类型为该特质的子类型：

import scala.collection.mutable.ArrayBuffer

def printArray[T <: DbEntity](buffer: ArrayBuffer[T]): Unit = {
  buffer.foreach(println)
}

这种方式兼容Scala 2和3，同样能确保只有指定case class的ArrayBuffer可以传入。

原写法错误原因 #

你尝试的代码存在两个核心问题：

• 语法误用：a: ArrayBuffer[T]是上下文边界的语法，而你实际需要的是方法参数，应该直接把buffer: ArrayBuffer[T]作为方法参数
• 泛型参数混乱：没有正确声明泛型参数T，错误地将a当作类型参数而非方法参数名

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