scala - 从参数化函数中获取参数化特征的具体实现

Question

试图获得一个参数化函数，该函数将返回一个特征的指定联积。

sealed trait Tr { def x: Int }
case class Cl1(x: Int) extends Tr
case class Cl2(x: Int) extends Tr

def getTr[A <: Tr](i: Int): A = {
  ???
}

如何在 Scala 2.11 中实现这一点？

Answer 1

您可以使用 TypeTagA并将其与 and 进行Cl1比较Cl2：

import scala.reflect.runtime.universe._

def getTr[A <: Tr : TypeTag](i: Int): Tr =
  if (typeOf[A] <:< typeOf[Cl1]) Cl1(i)
  else if (typeOf[A] <:< typeOf[Cl2]) Cl2(i)
  else ??? // etc

getTr[Cl1](42) // Cl1(42)
getTr[Cl2](42) // Cl2(42)

请注意，我必须将返回类型更改为Tr. 它不能工作，A因为编译器不允许有解析为不同类型的分支A（我们不知道实际的A，但它肯定不能同时是两者Cl1）Cl2。旁注：GADT实际上对编译器进行了一些特殊处理，允许出现这种情况，例如：

object Test {
  def eval[T](e: Expr[T]): T = e match {
    case IntExpr(i) => i  // is T Int?
    case BoolExpr(b) => b // ...or is it Boolean?
  }
}

顺便问一下，你的问题是人为的例子还是真实的场景？如果是后者，我觉得应该可以用更优雅的方式来实现。