Pythonの例外処理についての質問

Question

以下の処理についての質問です

Python
def warikan(total, num):
    try:
        siharai = total // num
        message = '一人あたり{}円です。'.format(siharai)
        if total % num > 0:
            return message + '{}円の余りが生じています'.format(total % num)
        return message
    except ZeroDivisionError:
        print('ゼロ除算が発生しました。')            # 実行1
        message = '0人で割り勘しないでください！'
        return message                              # 実行3
    finally:
        print('finally')                            # 実行2

print(warikan(1000, 0))

実行結果：
ゼロ除算が発生しました。
finally
0人で割り勘しないでください！

---

実行の順番としては
・ゼロ除算が発生しました。
・0人で割り勘しないでください！
・finally
try節でエラーの発生する場合、try節を中断しexcept節で例外処理を行ったあとに、finally節の処理が実行されると思っていました。
しかし実行結果を見る限り、finally節の後にreturn messageが実行されているように見えます。
しかも同じexcept節内のprintは先に実行されています。
なぜこの順番で実行されるのでしょうか？

ご存知の方、よろしければ教えてください。
よろしくお願いします。

Comments

[y_waiwai]

これではコードが読めないので、質問を編集し、<code>ボタン、出てきた’’’の枠の中にコードを貼り付けてください

[退会済みユーザー]

ご指摘ありがとうございます。修正しました

Answer 1

try -> except -> finally の順に実行されています。
ただし return 文を除きます。

except節の一部のみを実行してfinally節を実行し、
except節の残りを実行するという流れが不自然に見えるのですが、
そういうものなのでしょうか...

「return 文」そのものは、実行されません。しかし
「return 文の中に書かれた式」は、実行されます。

この２つを区別することが、
理解へのポイントかなと感じています。

def sample():
    try:
        raise
    except:
        return print_(1) # 実行1 print_ 関数、「式」は実行されますが、
                         #      return 「文」は実行されず
                         #      finally に移行します。
    finally:
        print(2)         # 実行2 finally が終わったら return 「文」が実行されます。

def print_(s):
    print(s)
    return s + 2

print(sample())          # 実行3

$ python3 sample.py 
1
2
3
$ 

Comments

[退会済みユーザー]

「return 文」そのものは、実行されません。しかし
「return 文の中に書かれた式」は、実行されます。

なるほど！それは全く知りませんでした。
ご教授ありがとうございました。

[nico25]

恐れいります！

Answer 2

finally節というのは、必ず実行されるブロックです
returnで終了する場合も、それで関数が終了する前に、それに先立ってfinally節が実行されます。

Comments

[退会済みユーザー]

回答ありがとうございました！

Answer 3

returnが先に実行されます。
return print("return") or message
に変更すれば、finallyより先にreturnが表示されるのでわかると思います。

return実行後に、呼び出し元に戻る途中で、finally節が実行されます。

Comments

[退会済みユーザー]

ゼロ除算が発生しました。
return
finally
0人で割り勘しないでください！
------------------------
と実行されました。
やはりfinally節が最後になりませんでした。

[otn]

??
funcの中では最後ですよね。

> 0人で割り勘しないでください！
の出力はは、funcから戻った後なので。

[退会済みユーザー]

回答ありがとうございました！

Answer 4

なぜこの順番で実行されるのでしょうか？

「言語仕様でそう定めているから」でしょうか・・・

8.4. try 文
の

try...finally 文の try スイート内で return 文、 break 文、 continue 文のいずれかが実行されたときは、'抜け出る途中で' finally 節も実行されます。

参考記事：finally節の中にreturnを書いてはいけない

---

except節の一部のみを実行してfinally節を実行し、except節の残りを実行するという流れが不自然に見えるのですが、そういうものなのでしょうか...

リファレンスにある通り、"抜ける途中"でfinaly節を実行します。
例えば以下のようなコードの場合

def func_in_return(str):
    print('func_in_return({})を実行しました'.format(str))
    return str;


def func():
    try:
        raise ZeroDivisionError
    except:
        print("funcのexcept節に入りました")
        return func_in_return("funcの戻り値")
    finally:
        print("funcのfinally節に入りました")

print(func())

出力は

funcのexcept節に入りました
func_in_return(funcの戻り値)を実行しました
funcのfinally節に入りました
funcの戻り値

になります。

このことからreturn文の式が評価されていることがわかります。
そしてexcept節の途中でreturn文を実行したことで「tryスイートを抜ける」「関数から戻る」の順に処理が実施されます。「tryスイートを抜ける」過程でfinally節が実行されます。

Comments

[退会済みユーザー]

except節の一部のみを実行してfinally節を実行し、except節の残りを実行するという流れが不自然に見えるのですが、そういうものなのでしょうか...