如何最低限度地协调 Scala 的 @specialized 和 java.lang.Comparable？

Question

我有一个第三方 Java API，其方法如下（简化）：

public <C extends Comparable<C>> C jFoo(C c);

我想写一个这样的包装器：

def foo[C <: Comparable[C]](c: C): C = jFoo(c)

为了允许包装方法接受原语（因为据我了解，装箱无论如何都会发生，所以这无关紧要），我想专门化C：

def foo[@specialized(Int, Double) C <: Comparable[C]](c: C): C = jFoo(c)

但是，scalac 抱怨说，由于参数的上限，该方法不能被特化。

一种解决方案是添加一个证据参数：

def foo[@specialized(Int, Double) C, CC <: Comparable[CC]](c: C)
                                                 (implicit evComp: C => CC): CC =
    jFoo(evComp(c))

这有效，您现在可以调用：

foo(2.0)

但是，方法签名（API 的一部分）现在并不真正可读。

在方法级别是否有替代方法可以产生等效、更易读的签名，同时保持专业化？

（Scala 2.12.x 很好，Dotty 没那么多）

Answer 1

您可以通过将第二个类型参数 CC 设为特殊 EvC 类型类的类型成员来摆脱它。

以下作品：

import java.lang.Comparable

def jFoo[C <: Comparable[C]](c: C): Unit = println("compiles => ship it")

trait EvC[C] {
  type CC <: Comparable[CC]
  def apply(c: C): CC
}

def foo[@specialized(Int, Double) C](c: C)(implicit evC: EvC[C]): Unit = 
  jFoo[evC.CC](evC(c))

implicit object DoubleEvC extends EvC[Double] {
  type CC = java.lang.Double
  def apply(c: Double) = (c: java.lang.Double)
}

foo(42.0) // compiles => ship it

从某种意义上说，我只是将C => CC 部分与类型参数CC 本身粘合在一起，因此类型CC 不再出现在类型参数列表中。我不确定你是否可以完全摆脱所有这些，内置的原始类型没有实现java.lang.Comparable 仍然是一个事实。