Scalaのパターンマッチングの可能性についての完全な仕様はありますか？

Question

のScalaのパターンマッチングの可能性のための完全な仕様はありますか？

私は、次のコードを修正することができません：

something match { 
    case e @ (sae: ServerApiException if sae.statusCode == 401 | _: UnauthorizedException) => { 
     doSomething(e) 
    } 
    ... 
    } 

（これは2.8.1でコンパイルされません。）

Answer 1

私はこの方法でコードを書くだろうかわかりません。 （元の形式で作業していないことに加えて）フォローするのは難しいです。

私はむしろコードの重複を避けるために

def doSomething(e: Exception) = { /* whatever */ } 
something match { 
    case sae: ServerApiException if (sae.statusCode == 401) => doSomething(sae) 
    case ue: UnauthorizedException => doSomething(ue) 
} 

ような何かのために行くと思います。または、オプションを使用することもできます：

(something match { 
    case sae: ServerApiException if (sae.statusCode == 401) => Some(sae) 
    case ue: UnauthorizedException => Some(ue) 
    case _ => None 
}).foreach(e => /* do something */) 

後でメソッドを書きたい場合は、オプションを使用できます。しかし、私は最初の方法はおそらく最も明白だと思います。

Answer 2

Chapter 8 of the Scala Language Spec? (pdf)。

より具体的には、this answerは、いくつかの助けになることがあり、それはあなたが何か行うことができるはずです。

case e: Exception if e.isInstanceOf[UnauthorizedException] || (e.isInstanceOf[ServerApiException] && e.asInstanceOf[ServerApiException].statusCode == 401) => { 
    doSomething(e) 
} 

Answer 3

最後に、私はScalaの言語仕様（Scalaの構文の要約）の助けを借りていることを管理：

を

something match { 
    case e: Exception if (e match { 
     case sae: ServerApiException if sae.statusCode == 401 => true 
     case _: UnauthorizedException => true 
     case _ => false 
    }) => { 
     doSomething(e) 
    } 
    ... 
    }