"リターン" とScalaの

Question

で "のtry-catch-最後に" ブロックの評価次の2つのコードは、異なる結果を生成します。

def x = try{ 
    true 
} finally false 

ボークxがyがfalse

を取得 true

def y:Boolean = try{ 
    return true 
} finally { 
    return false 
} 

呼び出しを取得します

returnのバージョンはJavaと同じです。

個人的に私は決してスカラで「リターン」を使用しません。しかし、try-catch-finallyブロックの値をスカラーがどのように評価するかを知ることは良いことです。ありがとう。

Answer 1

should notはfinallyブロック内にreturn文を持っています（少なくともJavaでは技術的に許可されていますが、C＃では禁止されています）。

Scala finallyブロックが暗黙のリターンを持っていた場合、それは常に意図したリターン値を壊します。それは意味をなさない。

しかし、あなたが明示的にそれを書いておけばそれはあなたを助けることができないと思います。

Answer 2

Scalaの言語仕様によると：{B}最後にeはブロックBを評価

トライ発現試して。 b の評価で例外がスローされない場合、式eが評価されます。 eの評価中に例外 がスローされた場合、try式の評価はスローされた例外を伴う を打ち切ります。 eの評価中に例外がスローされない場合は、try式の結果として の結果が返されます。

この動作は、この仕様と矛盾しているようです。私は、 'return'はファンクションからの即時復帰を引き起こすので、tryブロックの標準動作をオーバーライドすることになります。照明の例は次のとおりz戻りfalseを呼び出す

def z : Boolean = { 
    val foo = try { true } finally { return false } 
    true 
} 

。