使用类类型参数中的上下文绑定

Question

我的印象是上下文边界只适用于方法:

trait Target[T]

class Post {
  def pinTo[T : Target](t:T)
}

显然,上下文界限也可用于class(并且可能trait):

trait Target[T]

class Post[T:Target] {
  def pintTo[T](t:T) 
}

现在我对如何提供证据感到困惑Post？

class Business
implicit object ev extends Target[Business] // is implicit necessary here ?

val p = new Post[Business] // ?? how do I provide ev ? 

与建模两种类型之间的二元关系有关

Answer 1

A: Foo上下文边界的表示法只是询问类型的隐式值参数的快捷方式Foo[A].由于traits没有构造函数值参数,因此不能将其与特征一起使用:

trait Foo[A]

trait Bar[A: Foo] // "error: traits cannot have type parameters with context bounds..."

而在课堂上它是可能的:

class Bar[A: Foo] {
  def foo: Foo[A] = implicitly[Foo[A]]
}

这只是一种不同的写作方式

class Bar[A](implicit foo: Foo[A])

您提供的证据就像您在任何其他常规方法调用中所做的那样:

new Bar[Int]()(new Foo[Int] {})  // explicitly

要么:

implicit val iFoo = new Foo[Int] {}

new Bar[Int]  // implicitly