0

可能重复：
<:<、<%< 和 =:= 在 Scala 2.8 中是什么意思，它们在哪里记录？

显然 <:< 和 =:= 用于断言两种类型具有子类关系或相等。但是文档并不清楚它们是如何使用的，而且在谷歌中搜索它们几乎是不可能的，因为它们完全由符号组成。（还有一个原因是为什么这样的符号-goo 名称是一个坏主意。）

另外，它们在 Predef 中的实现是如何工作的？我很惊讶地发现它们不是内置的，因为我没有意识到 Scala 允许您创建以这种方式作用于类型的运算符——Scala 中的哪个功能可以让您这样做？Predef 中的实现是完全不透明的。这里有一些编译器魔法吗？

4

0 回答 0