我可以在Predef的API文档中看到它们是泛型函数类型(从) => To的子类,但这就是全部内容。嗯,什么?也许在某个地方有文档,但是搜索引擎不能很好地处理像"<:<“这样的”名字“,所以我没能找到它。
后续问题:我应该在什么时候使用这些时髦的符号/类,为什么?
发布于 2010-08-07 14:03:35
不是一个完整的答案(其他人已经回答了这个问题),我只想注意以下几点,这可能有助于更好地理解语法:您通常使用这些“操作符”的方式,例如在pelotom的示例中:
def getStringLength(implicit evidence: A =:= String)
使用Scala的替代infix syntax for type operators。
因此,A =:= String
与=:=[A, String]
是一样的(而=:=
只是一个带有花哨名字的类或特征)。请注意,此语法也适用于“常规”类,例如,您可以这样写:
val a: Tuple2[Int, String] = (1, "one")
如下所示:
val a: Int Tuple2 String = (1, "one")
它类似于方法调用的两种语法,带有.
和()
的“正常”语法以及操作符语法。
https://stackoverflow.com/questions/3427345
复制相似问题