scala - 模式匹配与专门的 Scala

标签 scala pattern-matching bytecode boxing specialized-annotation

我有一个必须使用 Double 和 Float 的类。由于性能要求,我对 (Double, Float) 使用带有 @specialized 注释的泛型。我需要调用两个第三方函数。 ffunc(x: Float) 接受Floatdfunc(y: Double) 接受Double。在某些时候,我必须调用 ffuncdfunc。为此,我使用 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

您能否建议将匹配代码替换为将被优化并避免装箱/拆箱的代码?

最佳答案

这是之前提出来的。我认为最好的办法是覆盖专门的方法:

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 上。

关于scala - 模式匹配与专门的 Scala,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34958961/

相关文章:

scala - Akka 消息传递时序

list - (Scala) 可以包含列表作为元素的列表

scala - scala 是否支持多个模式匹配的一个默认子句?

python - 基于特定模式和编辑字符串的拆分

java - icont_x 的用途

Java字节码iconst_0 iadd序列

Java 8 : Merge String[] and int[] into Object[] when verifying bytecode

scala - 播放 2.2.1 SimpleResult 4xx 响应主体是否可以通过 CORS XHR?

google-app-engine - 使用 scala 和 GAE 玩框架

regex - 使用 htaccess 在 ? 之前强制使用尾部斜线用查询字符串?