模式匹配與Scala專業

Question

我有一個必須使用Double和Float的類。 由於性能要求(Double, Float)我使用帶有@specialized注釋的泛型(Double, Float) 。 我需要調用兩個第三方功能。 ffunc(x: Float)接受Float ， dfunc(y: Double)接受Double 。 在某些時候，我必須調用ffunc或dfunc 。 我為此目的使用scala模式匹配。 我的代碼如下：

class BoxingTest[@specialized(Double, Float) T] {
  def foo(p: T): Unit = {
    p match {
      case dp: Double => dfunc(dp)
      case df: Float => ffunc(df)
    }
  }
}

但是，scala編譯器為專用版本提供了非優化的字節碼。 當我查看專用類的字節碼時，我看到了非優化的匹配代碼，它將我的專用類型轉換為對象。 還有額外的裝箱/拆箱如下：

41: invokestatic  #21                 // Method scala/runtime/BoxesRunTime.boxToDouble:(D)Ljava/lang/Double;
44: invokestatic  #39                 // Method scala/runtime/BoxesRunTime.unboxToDouble:(Ljava/lang/Object;)D

你能否建議用優化的代碼替換匹配代碼，避免裝箱/拆箱？

Answer 1

這出現了。 我認為最好的辦法是覆蓋專門的方法：

scala> class X[@specialized(Int, Double) A] { def f(a: A): String = ??? }
defined class X

scala> trait T { def f$mcI$sp(i: Int): String = "my int" }
defined trait T

scala> val x = new X[Int] with T
x: X[Int] with T = $anon$1@6137cf6e

scala> x.f(42)
res0: String = my int

那可能是在SO上。