scala - 2 种可能状态下的参数类型 T

Question

假设我们有一个方法

def foo[T](param: T): Array[String] = {
  //preform smth
}

我们如何确保类型 T 有 2 个或多个可能的变体。例如，在我的特殊情况下，我希望 T 为 String 或我的自定义类型 Bar

Answer 1

参见 "does Scala have type disjunction (union types)"特别是 my answer .这种技术允许你写

def size[T : (Int |∨| String)#λ](t : T) = t match {
  case i : Int => i
  case s : String => s.length
}