ロジックを動かして機能が変化するのはなぜですか？

Question

意図したとおり、この1でもassert(!balance("())(".toList))で、動作します。

def balance(chars: List[Char]): Boolean = { 
    def balanceR(chars: List[Char], depth: Int): Boolean = { 
    if (chars.isEmpty) 
     depth == 0 

    else if (chars.head == '(') balanceR(chars.tail, depth + 1) 
    else if (chars.head == ')') { 
     if (depth == 0) false else balanceR(chars.tail, depth - 1) 
    } 
    else balanceR(chars.tail, depth) 
    } 
    balanceR(chars, 0) 
} 

はしかし、「深さが負になった場合はfalseを返す」ためのロジックの配置を変更すると、失敗する同じアサーションが発生します。

def balance(chars: List[Char]): Boolean = { 
    def balanceR(chars: List[Char], depth: Int): Boolean = { 
    if (depth < 0) 
     false 

    if (chars.isEmpty) 
     depth == 0 

    else if (chars.head == '(') balanceR(chars.tail, depth + 1) 
    else if (chars.head == ')') balanceR(chars.tail, depth - 1) 
    else balanceR(chars.tail, depth) 
    } 
    balanceR(chars, 0) 
} 

chars.headが")"のときの再帰呼び出しがbalanceR("(", -1)であるときに、2番目の関数が"())("に対してfalseを返さないのはなぜですか？これはScalaのコーセラからのものであり、そのトピックにここにMODのコメントを見ること

注：あなたが効果的に何もしないスタンドアロン式を作成しましたScala way to program bunch of if's

Answer 1

。

if (depth < 0) 
    false 

これは（ない他の分岐がありませんので）AnyValに評価され、その後破棄されます。 balanceRここには戻りません。おそらく、2番目のifブランチがelse ifであることを意味します。