Scala 隐式视图参数
我正在关注Twitter Scala学校教程,我遇到了一个问题。在隐式视图部分的“高级类型”下,它指出方法可以为类型请求特定类型的证据 它列出了其中3种证据-Scala 隐式视图参数,scala,implicit,Scala,Implicit,我正在关注Twitter Scala学校教程,我遇到了一个问题。在隐式视图部分的“高级类型”下,它指出方法可以为类型请求特定类型的证据 它列出了其中3种证据- A =:= B A must be equal to B A <:< B A must be a subtype of B A <%< B A must be viewable as B A=:=B A必须等于B A请始终包含实际错误,不要简单地将其描述为“报告语法错误”。请始终包含实际错误,不要简单地将其描述为
A =:= B A must be equal to B
A <:< B A must be a subtype of B
A <%< B A must be viewable as B
A=:=B A必须等于B
A请始终包含实际错误,不要简单地将其描述为“报告语法错误”。请始终包含实际错误,不要简单地将其描述为“报告语法错误”。谢谢。println()只是我的一个占位符,我不打算用它做任何事情。谢谢。println()对我来说只是一个占位符,我不打算用它做任何事情。
class ContainerTwo[A](value : A) {
// A must be a subtype of Int
def addIt(implicit evidence : A <:< Int) = 123 + value
// A must be a viewable as a String
def printIt(implicit evidence : A <%< String) = println(evidence) // This line reports an error at <%< - "Cannot resolve symbol <%<"
// A must be a subtype of a String
def doSomethingWithAString(implicit evidence : A <:< String) = println(evidence)
def printIt(implicit evidence : A => String) = println(evidence(value))