为什么在需要 RichLong 超类型的情况下不应用从 Long 到 RichLong 的隐式转换？

Question

Scala 2.8 规范在第 7.3 节中说（突出显示是我的）：

隐式参数和方法还可以定义称为视图的隐式转换。 从类型 S 到类型 T 的视图由具有函数类型的隐式值定义 S=>T或(=>S)=>T或者通过可转换为该类型的值的方法。 视图在两种情况下应用。

1. 如果表达式 e 属于 T 类型，并且 T 不符合表达式的 预期类型 pt。在这种情况下，搜索隐式 v，适用于 e 且其结果类型符合 pt。搜索将按照以下情况进行 隐式参数，其中隐式范围是 T => 之一角如果有这样一个 找到视图，表达式 e 转换为 v(e)。

[...]

鉴于上述和以下事实：

1. Long 不是 java.lang.Comparable[Long] 的子类型，即不符合< /strong> 键入 T，其中 T <: java.lang.Comaparable[Long]
2. Predef 包含 隐式 def longWrapper (x : Long) : RichLong
3. RichLong 是 java.lang.Comparable[Long] 的子类型，即符合类型 T 其中 T <: java.lang.Comaparable[Long]

我希望在遇到 Long 且其子类型为预期为 java.lang.Comparable[Long]。但是：

scala> def test[T <: java.lang.Comparable[Long]](c: T) = println(c)
test: [T <: java.lang.Comparable[Long]](c: T)Unit

scala> test(12L)
<console>:7: error: inferred type arguments [Long] do not conform to method test's type parameter bounds [T <: java.lang
.Comparable[Long]]
       test(12L)
       ^

如果显式转换值，结果符合预期：

scala> test(longWrapper(12L))
12

为什么不隐式应用转换函数？

Answer 1

您需要使用视图绑定 (<%) 来让编译器查找并应用隐式转换。

scala> def test[T <% java.lang.Comparable[Long]](c: T) = println(c)
test: [T](c: T)(implicit evidence$1: (T) => java.lang.Comparable[Long])Unit

scala> test(12L)
12

您可以在此页面上阅读有关视图绑定的更多信息（Ctrl+F “视图绑定”）。