定义受特征约束的scala上下文的简写

Question

在scala抽象类中，如果要定义上下文绑定，则可以简单地使用，例如在参数中使用[T：ClassTag]，但是在trait中是不可能的：

trait Foo[T: ClassTag]

Error:(11, 35) traits cannot have type parameters with context bounds `: ...' nor view bounds `<% ...'
trait Foo[T: ClassTag]
         ^

如果您定义：

trait Foo[T] {

  implicit def ctg: ClassTag[T] = implicitly[ClassTag[T]]
}

object Bar extends Foo[Int]

那么任何在Bar内部读取ctg的尝试都会触发StackOverflowError，因为隐式参数变为尾递归。

那么，允许在自动将子类暴露于上下文绑定的特征中定义ctg的最佳方法是什么？

Answer 1

没有一个好方法。 上下文绑定是隐式参数的简写，而特征没有参数。 也就是说，当您编写：

 class Foo[T : ClasTag]

编译器将您的代码分解为以下内容：

 class Foo[T](implicit ev: ClassTag[T])

当然，这是不可能的。 如果必须使用特质解决此问题，则可以将ClassTag抽象化，并强制对其进行扩展的类来实现它：

trait Foo[T] {
  implicit def ctg: ClassTag[T]
}

object Bar extends Foo[Int] {
  implicit val ctg = classTag[Int]
}

这略好看起来在中间的一类，这样你就不需要指定Int定义时，两次Bar ：

trait Foo[T] {
  implicit def ctg: ClassTag[T]
}

class FooImpl[T](implicit val ctg: ClassTag[T]) extends Foo[T]

object Bar extends FooImpl[Int]