Scala - 提取任一类型参数

Question

是否可以像这样在 Scala 中提取类型参数:

def some[T <: Either[A, B]](implicit ta: TypeTag[A], tb: TypeTag[B]): T = {
  // A =:= String
  // B =:= Int
  // ...
}

some[Either[String, Int]]()

?

Answer 1

你可以像这样重写你的方法:

def some[A, B](implicit ta: TypeTag[A], tb: TypeTag[B]): Either[A, B] = ???