Scala绑定类型参数和反射

时间:2016-04-25 16:28:03

标签: scala reflection type-parameter

可以使用以下Java代码:

public <T extends Enum<T>> T foo(Class<T> clazz) {

  return clazz.getEnumConstants()[0];
}

public void bar(Class<?> clazz) {

    if (Enum.class.isAssignableFrom(clazz)) {
        System.out.println(foo(clazz.asSubclass(Enum.class)));
    } else if (String.class.isAssignableFrom(clazz)) {
        System.out.println("Meow");
    }
}

bar(MyEnum.class) // prints the first value of MyEnum
bar(String.class) // prints Meow

被翻译成Scala:

bar[MyEnum]()
bar[String]()

Enum只是遵循T extends Wrapper[T]模式的类的示例,foo可以简单地返回类的名称(或执行任何其他类型的逻辑反射数据仅在我的&#34; Wrapper&#34;类)中可用。

我尝试使用TypeTag在Scala中使用它但是失败了;我遇到了各种编译错误,例如:inferred type arguments [?0] do not conform to method foo's type parameter bounds [E <: Enum[E]]

2 个答案:

答案 0 :(得分:3)

很可能有更好的方法来实现实际需要的东西,但是:

import language.existentials
import reflect.ClassTag

def foo[T <: Enum[T]](implicit ct: ClassTag[T]) = ct

def bar[T](implicit ct: ClassTag[T]) = {
  val clazz = ct.runtimeClass

  if (classOf[Enum[_]].isAssignableFrom(clazz)) {
    println(foo(ct.asInstanceOf[ClassTag[A] forSome { type A <: Enum[A] }]))
  } else {
    println("not a enum")
  }
}

答案 1 :(得分:1)

您可以尝试类型类方法,以便在编译时解决所有问题,不涉及任何反射:

import scala.reflect.ClassTag

trait DoSomething[T] {
  def apply(): Unit
}

object DoSomething {
  implicit def enumDoSomething[E <: Enum[E]](implicit ct: ClassTag[E]) = new DoSomething[E] {
    def apply() = println(ct.runtimeClass.getEnumConstants()(0))
  }

  implicit object stringDoSomething extends DoSomething[String] {
    def apply() = println("Meow")
  }
}

object Test extends App {
  def foo[A](implicit doSomething: DoSomething[A]) = doSomething()

  foo[java.util.concurrent.TimeUnit]
  foo[String]
}

这样你就没有if-else,你可以更好地分离关注点。

如果您想要&#34;默认&#34;例如,你可以拥有一个全能的隐含。

import scala.reflect.ClassTag

trait DoSomething[T] {
  def apply(): Unit
}

object DoSomething {

  implicit def enumDoSomething[E <: Enum[E]](implicit ct: ClassTag[E]) = new DoSomething[E] {
    def apply() = println(ct.runtimeClass.getEnumConstants()(0))
  }

  implicit object stringDoSomething extends DoSomething[String] {
    def apply() = println("Meow")
  }

  implicit def catchAll[T] = new DoSomething[T] {
    def apply() = {
      println("test") // some default case
    }
  }
}

object Test extends App {
  def foo[A](implicit doSomething: DoSomething[A]) = doSomething()

  foo[java.util.concurrent.TimeUnit] // prints NANOSECONDS
  foo[String] // prints Meow
  foo[Long] // prints test
}

如果您对scala如何发现隐含感兴趣,请take a look at this