获取 Scala 类型绑定错误：未找到：类型 <%<

Question

所以我一直在尝试通过twitter Scala school 学习 Scala。但我目前被困在他们的type bound examples 之一。

特别是，它是使用<%< 类型关系运算符将类型绑定为特定类型的类型。

当我在 Scala 控制台中执行以下代码时：

scala> class Container[A](value: A) { def addIt(implicit evidence: A <%< Int) = 123 + value }

...我收到以下错误：

<console>:7: error: not found: type <%<
       class Container[A](value: A) { def addIt(implicit evidence: A <%< Int) = 123 + value }
                                                                     ^
<console>:7: error: overloaded method value + with alternatives:
  (x: Double)Double <and>
  (x: Float)Float <and>
  (x: Long)Long <and>
  (x: Int)Int <and>
  (x: Char)Int <and>
  (x: Short)Int <and>
  (x: Byte)Int <and>
  (x: String)String
 cannot be applied to (A)
       class Container[A](value: A) { def addIt(implicit evidence: A <%< Int) = 123 + value }

我的问题是，为什么 Scala 解释器会抱怨？

我一直在尝试浏览 Scala 文档，但我无法在任何地方找到该操作员的信息。我可以看到 Scala 学校是在 Scala 2.8.0 的基础上创建的，而我正在运行 Scala 2.10.0 - 所以也许这已经被删除了？如果是这样，为什么这看起来像是一个有用的运算符？

Answer 1

Scala 2.8 中的约束A <%< B 定义为

  sealed abstract class <%<[-From, +To] extends (From => To)
  object <%< {
    implicit def conformsOrViewsAs[A <% B, B]: A <%< B = new (A <%< B) {def apply(x: A) = x}
  }

所以你总是可以把它带回来。但是，我猜测它被弃用的原因是视图绑定只是要求从A 到B 的隐式函数，并且已经有一种非常好的方法可以以通用的方式表达该特定约束：

class Container[A](value: A) { def addIt(implicit evidence: A => Int) = 123 + value }

顺便说一句，值得注意的是，它不是运算符，而是中缀位置的类，从定义中可以看出。 => 也是如此，这只是引用 Function1 类型构造函数的另一种方式。

Answer 2

在 this site 上，它表示 A <%< B 在 Scala 2.9 中已被弃用。我不知道为什么，我同意这似乎有点奇怪，因为在我看来它也是一个非常有用的运算符。

Answer 3

正确的用法好像是

class Container[A](value: A) { def addIt[A <% Int] = 123 + value }

对于重载的值，scala 选择不解决歧义；在这种情况下，您必须做出决定。

• 您可以尝试调试：-Xprint:typer

• 或者您可以通过使用class Container[A](value: A) { def addIt = 123 + value.asInstanceOf[Int] } 或已经建议的class Container[A](value: A) { def addIt(implicit evidence: A => Int) = 123 + value } 来确定@​​987654324@ 确实是Int。它们是等价的。但是在这里你说A 是Int 的一种；与A 相反，可以将Int 视为<% 所做的。

第二个选项不是微不足道的。考虑以下

scala> class Container[A](value: A) { def printIt[A <% Int] = println( 123+" could be " + value) }
defined class Container

scala> val x = new Container("Love")
x: Container[String] = Container@21ebfd82

scala> x.printIt
123 could be Love

显然"love" 不是Int 的类型，因为它是String，但在这种情况下它完全没问题：这就是为什么你应该小心使用A => Int。