Question

我在课程作业中遇到了这个问题＆＃34; scala专业化＆＃34; （这是简化版本，并不包含任何作业细节，它只是数组遍历）

val chars: Array[Char] = some array

def fun1(idx:Int):Int = {
    some code here (including the stop condition)

    val c = chars(idx)
    c match{
      case '(' => fun1(idx+1)
      case  _  => fun1(idx+1)
    }

}

此代码比

慢4倍

def fun2(idx: Int):Int = {
    some code here (including the stop condition)

    val c = chars(idx)
    (c == '(') match{
      case true => fun2(idx+1)
      case  _  => fun2(idx+1)
    }
}

我正在做的就是改变模式匹配（我使用ScalMeter运行它，所以我相信统计数据。）

任何人都可以解释这种行为吗？

Answer 1

我只能确认第一个match慢了约50％，而不是4x（2.11.8）。无论如何，如果查看字节码，您会发现第一个match被转换为tableswitch指令，该指令通常用于具有多个选项的Java switch语句，并且基本上是一个查找goto，而第二个被翻译为if。所以第二个match就是：

if (c == '(') fun2(idx+1) else fun2(idx+1)

Answer 2

更新以下是错误的（这些测试中的大部分时间用于生成数据，因此实际遍历时间的差异并不明显。使用常量输入运行相同的基准显示~125ms {1}}案例每1亿条目与另一案例约35毫秒。）

我没有看到你所描述的差异。不确定ScalaMeter是如何做到的，但是在repl中运行它（在让＃34;热身＆＃34;运行＆＃34;干＆＃34;几次之后），我得到几乎相同的性能：

case ')'

等。如你所见，没有相当大的差异。

Scala模式匹配性能

2 个答案: