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] = ???