pythonの例外処理

Question

https://blog.pyq.jp/entry/Python_kaiketsu_190124_1
こちらに"Pythonの場合、例外は外に伝播してくれます。"
とあります。
javaの場合呼び出し元の関数に例外を伝播させるにはthrowsを使うと思うのですが、pythonは呼び出し元に例外を伝搬させる際に
そういったことは不要なのでしょうか？

Answer 1

原文は、

Pythonの場合、例外は外に伝播してくれます。

もし関数の引数として期待しない値が来た場合や、ファイルが存在しない場合はPython自体をエラーにしてしまおうと言う場合は、try...exceptせずにそのまま例外を外に伝播させるほうが良いでしょう。

ですね。
Javaも、try～catchしない場合、自動的に外に伝播していきます。同じです。

Comments

[yonchome]

ありがとうございます。
DBアクセスが失敗した時などは
明示的にraiseしなくてもDBアクセスが失敗した＝raiseされたと捉えていいのですかね？

[yonchome]

Javaも、try～catchしない場合、自動的に外に伝播していきます。同じです。
ということですが、ではなぜ外に例外を伝播させるためのthrowsが存在するのでしょうか？

[ppaul]

>明示的にraiseしなくてもDBアクセスが失敗した＝raiseされたと捉えていいのですかね？
例外というものは、プログラミング言語の概念ではなく、元はハードウェア、通常はOSの概念です。
例外(exception)、割り込み(interrupt)は同じ意味で、signalやfaultも似た意味で使われます。
ハードウェア的に発生する例外の他に、ソフトウェアで例外を発生させることもできます。これをソフトウェア例外と呼びます。
ソフトウェア例外を発生させることをpythonではraise、C/C++やjavaではthrowと呼びます。
pythonがC/C++のライブラリを利用いている場合、そこからthrowされた例外をpythonでtry-exceptで捕捉することもできますので、raiseされたといっても良いですが、例外が発生したという書き方にしておいたほうが他の人にわかりやすいです。

[otn]

> ではなぜ外に例外を伝播させるためのthrowsが存在するのでしょうか？

例外のうち、Javaには「検査例外」という概念があり、検査例外はcatchまたはthrowsする事が文法で決められているので、必要があれば書かないといけません。
「例外を伝搬させるため」というよりは、「例外を伝搬させていることを明示するため」と考えた方が良いかと思います。検査例外でない例外は、普通に伝搬するので。

Answer 2

pythonは呼び出し元に例外を伝搬させる際にそういったことは不要なのでしょうか？

Python だと throw に該当するのは raise です。
raise 例外クラス() で例外を送出できます。

例:
raise ValueError("error!!")

例外を補足するには呼び出し元で try~except 節を使います。

try:
    hoge()
except ValueError:
    print("例外を補足")

Comments

[yonchome]

呼び出し元で try~exceptしなければさらにその呼び出し元まで自動的に伝搬するのでしょうか？

[tiitoi]

はい、捕捉しない限りどんどん上位に伝播していきます

[yonchome]

ありがとうございます。ではjavaにあるthrowsはなんのためにあるのでしょうか？

[tiitoi]

以下の質問が参考になるのではないでしょうか？

(Java)throwとthrowsの違いについて
https://teratail.com/questions/70456

throws は関数内で発生する可能性がある例外を明示するための構文です。
例外を補足するには、呼び出した関数内でどのような例外が発生する可能性があるのかを関数の利用者側が知る必要があります。
throws で関数宣言に発生する例外の情報を記載しておけば、利用者側はその例外を補足するコードを書けばいいとわかります。

ちなみに Python にはそれに対応する機能は存在しません。
ライブラリのドキュメントなどをみて、その関数でどんな例外が発生するのか調べて、それを補足すればよいです。

https://www.python.org/dev/peps/pep-0484/#exceptions

> No syntax for listing explicitly raised exceptions is proposed. Currently the only known use case for this feature is documentational, in which case the recommendation is to put this information in a docstring.

まとめると

Java の throw ⇔ Python の raise
Java の try-catch ⇔ Python の try-except
Java の throws ⇔ 対応する構文なし

Answer 3

参考情報

• Python チュートリアル - 例外処理

https://www.delftstack.com/ja/tutorial/python-3-basic-tutorial/python-exception-handling/

• 例外処理（try文）とexception一覧

https://excel-ubara.com/python/python018.html