小编ntn*_*ntn的帖子

Scala有三个引用的字符串"""String\nString""",可以在字符串中使用特殊字符而不进行转义.Scala 2.10也添加raw"String\nString"了相同的用途.

如何raw""和""""""工作有什么区别？他们可以为同一串产生不同的输出吗？

我尝试过以下方法:

trait Evidence[H <: HList, T[_]] {}

object Evidence {
  implicit def HNilEvidence[T[_]] = new Evidence[HNil, T] {}
  implicit def HListEvidence[Head, Remaining <: HList, T[_]](implicit headEv: T[Head], remainingEv: Evidence[Remaining, T]) =
    new Evidence[Head :: Remaining, T] {}
}

只有当所有元素都匹配类型类时,这才能正确地给我一个隐含的证据.

但是,当试图像这样使用它时(一个人为的例子):

def transform[A](a: A)(implicit ev: Evidence[A :: HNil, Ordering]) =
   { List(a,a).sorted }

这给出了错误

error: No implicit Ordering defined for A.

哪个应该在那里存在 Evidence[A :: HNil, Ordering]