如何访问隐含的"隐含",即定义[A:B]或定义[A <%B]？

Question

例如,我需要在函数中访问清单def a[A:ClassManifest]以获取擦除类.我可以使用Predef.implicitly函数,但在这种情况下,我的代码将与我使用完整形式一样长def a[A](implicit b:ClassManifest[A]).那些隐式参数是否有方便的生成名称？

Answer 1

有三种预定义的方法Predef,将做到这一点对ManifestS,ClassManifestS和OptManifestS: manifest[T],classManifest[T]和optManifest[T]分别.您可以根据相同的模式为其他类型类编写自己的"隐式getter".这是例如manifest[T]:

def manifest[T](implicit m: Manifest[T]) = m

所以这就是你如何写自己的:

trait UsefulTypeclass[A] {
  def info = 42 // sample method
}

// the “implicit getter”
def usefulTypeclass[A](implicit tc: UsefulTypeclass[A]) = tc

// a method that uses the implicit getter
def foo[A: UsefulTypeclass] =
  usefulTypeclass[A].info