为啥我觉得你是在钻牛角尖。case的最好优化结果就是jmp table，最坏优化结果就是等价的if else。

【 在 philbloo 的大作中提到: 】
: 当然，pattern match __可以__  应用在泛型上，但这个问题的本质与泛型无关，开始那个链接里的例子就完全与泛型无关。因为这个问题在于要找出所有 case 是否 exhaustive，以及是否存在不可解的 contradiction，换句话说，是做 constraints  based analysis 。
: 而你的这个 if-else 的复杂度等于 pattern match 的推论也是错的。因为 if-else 的编译不需要 exhaustive ，也不需要分析 contradict，但 pattern match 需要。
:
: ...................
--
FROM 222.212.168.*