'finally'は常にPythonで実行されますか?

135
Stevoisiak 2018-03-14 07:30.

Pythonで可能なtry-finallyブロックについて、finallyブロックが常に実行されることが保証されていますか?

たとえば、exceptブロック内に戻ったとします。

try:
    1/0
except ZeroDivisionError:
    return
finally:
    print("Does this code run?")

または多分私は再上げますException

try:
    1/0
except ZeroDivisionError:
    raise
finally:
    print("What about this code?")

テストではfinally、上記の例で実行されることが示されていますが、私が考えていなかった他のシナリオがあると思います。

finallyブロックがPythonで実行に失敗する可能性があるシナリオはありますか?

5 answers

220
user2357112 supports Monica 2018-03-14 07:48.

「保証」は、どの実装にfinally値するよりもはるかに強力な言葉です。保証されているのは、実行がtry-finally構文全体から流出した場合、実行が通過するfinallyことです。保証されていないのは、実行がtry-から流出することですfinally

  • finallyオブジェクトが最後まで実行されない場合、ジェネレーターまたは非同期コルーチンのAは実行されない可能性があります。発生する可能性のある方法はたくさんあります。これが1つです:

    def gen(text):
        try:
            for line in text:
                try:
                    yield int(line)
                except:
                    # Ignore blank lines - but catch too much!
                    pass
        finally:
            print('Doing important cleanup')
    
    text = ['1', '', '2', '', '3']
    
    if any(n > 1 for n in gen(text)):
        print('Found a number')
    
    print('Oops, no cleanup.')
    

    この例は少し注意が必要です。ジェネレーターがガベージコレクションされると、PythonfinallyGeneratorExit例外をスローしてブロックを実行しようとしますが、ここでその例外をキャッチしてから、yieldPythonが警告を出力します(「ジェネレーターはGeneratorExitを無視しました")そしてあきらめます。詳細については、PEP 342(拡張ジェネレーターを介したコルーチン)を参照してください。

    発電機やコルーチンが結論に実行されない場合があります他の方法は、オブジェクトがちょうど(でもCPythonとで、可能だと、はい)GC'edされることはありません場合は、include、または場合async with awaitにおけるsの__aexit__場合、またはオブジェクトawaitのかyieldによfinallyブロック。このリストは網羅的なものではありません。

  • finallyデーモン以外のすべてのスレッドが最初に終了した場合、デーモンスレッド内のAは実行されない可能性があります。

  • os._exitfinallyブロックを実行せずにプロセスをすぐに停止します

  • os.forkfinallyブロックが2回実行される可能性があります。共有リソースへのアクセスが正しく同期されていない場合、2回発生することから予想される通常の問題だけでなく、これにより同時アクセスの競合(クラッシュ、ストールなど)が発生する可能性があります。

    以来multiprocessing用途はフォークせずに-execのワーカープロセスを作成するために使用するときフォークstartメソッドその後、(Unixではデフォルト)、および呼び出し、os._exit労働者のジョブが完了すると、作業者に、finallyそしてmultiprocessing相互作用が問題にすることができます()。

  • finally経営幹部レベルのセグメンテーション違反は、ブロックの実行を妨げます。
  • kill -SIGKILLfinallyブロックが実行されないようにします。SIGTERMまた、シャットダウンを自分で制御するハンドラーをインストールしない限りSIGHUPfinallyブロックが実行されないようにします。デフォルトでは、PythonはSIGTERMまたはを処理しませんSIGHUP
  • の例外によりfinally、クリーンアップが完了しない場合があります。ユーザーがコントロール-Cに当たった場合は、1つ特に注目に値するケースがあるだけで、我々が実行し始めているとして、finallyブロックを。Pythonはを上げてKeyboardInterruptfinallyブロックの内容のすべての行をスキップします。(KeyboardInterrupt-safeコードを書くのは非常に難しいです)。
  • コンピューターの電源が切れた場合、またはコンピューターが休止状態でウェイクアップしない場合、finallyブロックは実行されません。

finallyブロックは、トランザクションシステムではありません。アトミック性の保証などは提供しません。これらの例のいくつかは明白に思えるかもしれませんが、そのようなことが起こり得ることを忘れがちでありfinally、過度に依存しています。

69
wim 2018-03-14 07:40.

はい。 最後に常に勝ちます。

それを打ち負かす唯一の方法は、実行finally:する機会を得る前に実行を停止することです(たとえば、インタープリターをクラッシュさせる、コンピューターの電源を切る、ジェネレーターを永久に一時停止する)。

私が考えていなかった他のシナリオがあると思います。

ここにあなたが考えていなかったかもしれないもういくつかがあります:

def foo():
    # finally always wins
    try:
        return 1
    finally:
        return 2

def bar():
    # even if he has to eat an unhandled exception, finally wins
    try:
        raise Exception('boom')
    finally:
        return 'no boom'

インタプリタを終了する方法によっては、最終的に「キャンセル」できる場合もありますが、次のようにはなりません。

>>> import sys
>>> try:
...     sys.exit()
... finally:
...     print('finally wins!')
... 
finally wins!
$

不安定なものを使用するos._exit(これは私の意見では「インタプリタをクラッシュさせる」に該当します):

>>> import os
>>> try:
...     os._exit(1)
... finally:
...     print('finally!')
... 
$

私は現在このコードを実行しており、宇宙の熱的死後も最終的に実行されるかどうかをテストしています。

try:
    while True:
       sleep(1)
finally:
    print('done')

しかし、私はまだ結果を待っているので、後でここに戻って確認してください。

10
jayce 2018-03-14 09:24.

Pythonのドキュメントによると:

以前に何が起こったとしても、コードブロックが完了し、発生した例外が処理されると、finalブロックが実行されます。例外ハンドラーまたはelse-blockにエラーがあり、新しい例外が発生した場合でも、final-blockのコードは実行されます。

また、finallyブロックに1つを含む、複数のreturnステートメントがある場合、finallyブロックのreturnが実行される唯一のステートメントであることに注意してください。

8
Serge Ballesta 2018-03-14 07:38.

ええ、はい、いいえ。

保証されているのは、Pythonが常にfinallyブロックを実行しようとすることです。ブロックから戻るか、キャッチされない例外を発生させる場合、finallyブロックは、実際に例外を返すか発生させる直前に実行されます。

(質問のコードを実行するだけで自分で制御できたもの)

私が想像できる唯一のケースは、finallyブロックが実行されない場合です。たとえば、Cコード内で、または停電が原因で、Pythonインタープリター自体がクラッシュした場合です。

1
Blair Houghton 2019-03-31 04:03.

ジェネレーター関数を使用せずにこれを見つけました:

import multiprocessing
import time

def fun(arg):
  try:
    print("tried " + str(arg))
    time.sleep(arg)
  finally:
    print("finally cleaned up " + str(arg))
  return foo

list = [1, 2, 3]
multiprocessing.Pool().map(fun, list)

スリープは、一貫性のない時間実行される可能性のある任意のコードにすることができます。

ここで発生しているように見えるのは、最初に終了する並列プロセスがtryブロックを正常に終了した後、関数からどこにも定義されていない値(foo)を返そうとするため、例外が発生することです。その例外は、他のプロセスが最終ブロックに到達することを許可せずにマップを強制終了します。

また、bar = bazztryブロックでsleep()呼び出しの直後に行を追加した場合。次に、その行に到達する最初のプロセスが例外をスローし(bazzが定義されていないため)、それ自体のfinallyブロックが実行されますが、マップが強制終了され、他のtryブロックがfinallyブロックに到達せずに消えます。また、returnステートメントに到達しない最初のプロセス。

これがPythonマルチプロセッシングにとって意味することは、プロセスの1つでも例外が発生する可能性がある場合、すべてのプロセスのリソースをクリーンアップする例外処理メカニズムを信頼できないということです。マルチプロセッシングマップ呼び出しの外部で、追加の信号処理またはリソースの管理が必要になります。

Related questions

MORE COOL STUFF

「水曜日」シーズン1の中心には大きなミステリーがあります

「水曜日」シーズン1の中心には大きなミステリーがあります

Netflixの「水曜日」は、典型的な10代のドラマ以上のものであり、実際、シーズン1にはその中心に大きなミステリーがあります.

ボディーランゲージの専門家は、州訪問中にカミラ・パーカー・ボウルズが輝くことを可能にした微妙なケイト・ミドルトンの動きを指摘しています

ボディーランゲージの専門家は、州訪問中にカミラ・パーカー・ボウルズが輝くことを可能にした微妙なケイト・ミドルトンの動きを指摘しています

ケイト・ミドルトンは、州の夕食会と州の訪問中にカミラ・パーカー・ボウルズからスポットライトを奪いたくなかった、と専門家は言う.

一部のファンがハリー・スタイルズとオリビア・ワイルドの「非常に友好的な」休憩が永続的であることを望んでいる理由

一部のファンがハリー・スタイルズとオリビア・ワイルドの「非常に友好的な」休憩が永続的であることを望んでいる理由

一部のファンが、オリビア・ワイルドが彼女とハリー・スタイルズとの間の「難しい」が「非常に友好的」な分割を恒久的にすることを望んでいる理由を見つけてください.

エリザベス女王の死後、ケイト・ミドルトンはまだ「非常に困難な時期」を過ごしている、と王室の専門家が明らかにする 

エリザベス女王の死後、ケイト・ミドルトンはまだ「非常に困難な時期」を過ごしている、と王室の専門家が明らかにする 

エリザベス女王の死後、ケイト・ミドルトンが舞台裏で「非常に困難な時期」を過ごしていたと伝えられている理由を調べてください.

セントヘレナのジェイコブのはしごを登るのは、気弱な人向けではありません

セントヘレナのジェイコブのはしごを登るのは、気弱な人向けではありません

セント ヘレナ島のジェイコブズ ラダーは 699 段の真っ直ぐ上る階段で、頂上に到達すると証明書が発行されるほどの難易度です。

The Secrets of Airline Travel Quiz

The Secrets of Airline Travel Quiz

Air travel is far more than getting from point A to point B safely. How much do you know about the million little details that go into flying on airplanes?

Where in the World Are You? Take our GeoGuesser Quiz

Where in the World Are You? Take our GeoGuesser Quiz

The world is a huge place, yet some GeoGuessr players know locations in mere seconds. Are you one of GeoGuessr's gifted elite? Take our quiz to find out!

バイオニック読書はあなたをより速く読むことができますか?

バイオニック読書はあなたをより速く読むことができますか?

BionicReadingアプリの人気が爆発的に高まっています。しかし、それは本当にあなたを速読術にすることができますか?

HMSプリンスオブウェールズの橋はスターウォーズからまっすぐです

HMSプリンスオブウェールズの橋はスターウォーズからまっすぐです

BAE Systems Maritimeは昨日、英国海軍の2番目のクイーンエリザベスクラスの空母であるHMSプリンスオブウェールズのブリッジモジュールを展開しました。公海を航海するよりも、アウターリムの惑星を周回してタイファイターを発射する必要があるようです。70,000の排水量のトン運搬船は、2020年に就役し、姉のエリザベス女王と同様に、約40機の航空機を運ぶ予定です。

ルイビルはサヨナラゲームでウェイクフォレストを倒すために家を盗んだ

ルイビルはサヨナラゲームでウェイクフォレストを倒すために家を盗んだ

ルイビルは、通常の大学野球の強みであるピッチング、ディフェンス、スマートベースランニングを通じて、全国ランキングのトップ5と19-2の会議記録への道を歩みました。昨夜、彼らは野球の最もエキサイティングなプレーの1つである盗塁を使用して、ウェイクフォレストのスイープを完了しました。

おいしいツイストのためにコーンブレッドであなたの次のサンドイッチを作りましょう

おいしいツイストのためにコーンブレッドであなたの次のサンドイッチを作りましょう

粗いパン粉とふわふわの食感のコーンブレッドは、唐辛子を吸い上げるのに理想的な乗り物です。しかし、それだけではありません。

別の驚くべきマーベルヒーローがキャプテンアメリカに参加します:シビルウォー!

別の驚くべきマーベルヒーローがキャプテンアメリカに参加します:シビルウォー!

ニール・ブロムカンプが、チャッピーが第10地区をどのように遅らせたのかについて話します。フォースの覚醒の噂は、次の予告編に何を期待するかについてのいじめを提供します。

ケイト・ミドルトンとウィリアム王子は、彼らが子供たちと行っているスパイをテーマにした活動を共有しています

ケイト・ミドルトンとウィリアム王子は、彼らが子供たちと行っているスパイをテーマにした活動を共有しています

ケイト・ミドルトンとウィリアム王子は、子供向けのパズルの本の序文を書き、ジョージ王子、シャーロット王女、ルイ王子と一緒にテキストを読むと述べた.

事故で押しつぶされたスイカは、動物を喜ばせ水分補給するために野生生物保護団体に寄付されました

事故で押しつぶされたスイカは、動物を喜ばせ水分補給するために野生生物保護団体に寄付されました

Yak's Produce は、数十個のつぶれたメロンを野生動物のリハビリ専門家であるレスリー グリーンと彼女のルイジアナ州の救助施設で暮らす 42 匹の動物に寄付しました。

デミ・ロヴァートは、新しいミュージシャンのボーイフレンドと「幸せで健康的な関係」にあります: ソース

デミ・ロヴァートは、新しいミュージシャンのボーイフレンドと「幸せで健康的な関係」にあります: ソース

8 枚目のスタジオ アルバムのリリースに向けて準備を進めているデミ ロヴァートは、「スーパー グレート ガイ」と付き合っている、と情報筋は PEOPLE に確認しています。

Plathville の Kim と Olivia Plath が数年ぶりに言葉を交わすことへようこそ

Plathville の Kim と Olivia Plath が数年ぶりに言葉を交わすことへようこそ

イーサン プラスの誕生日のお祝いは、TLC のウェルカム トゥ プラスビルのシーズン 4 のフィナーレで、戦争中の母親のキム プラスと妻のオリビア プラスを結びつけました。

仕事の生産性を高める 8 つのシンプルなホーム オフィスのセットアップのアイデア

仕事の生産性を高める 8 つのシンプルなホーム オフィスのセットアップのアイデア

ホームオフィスのセットアップ術を極めよう!AppExert の開発者は、家族全員が一緒にいる場合でも、在宅勤務の技術を習得しています。祖父や曽祖父が共同家族で暮らしていた頃の記憶がよみがえりました。

2022 年、私たちのデジタル ライフはどこで終わり、「リアル ライフ」はどこから始まるのでしょうか?

20 年前のタイムトラベラーでさえ、日常生活におけるデジタルおよびインターネットベースのサービスの重要性に驚くことでしょう。MySpace、eBay、Napster などのプラットフォームは、高速化に焦点を合わせた世界がどのようなものになるかを示してくれました。

ニューロマーケティングの秘密科学

ニューロマーケティングの秘密科学

マーケティング担当者が人間の欲望を操作するために使用する、最先端の (気味が悪いと言う人もいます) メソッドを探ります。カートをいっぱいにして 3 桁の領収書を持って店を出る前に、ほんの数点の商品を買いに行ったことはありませんか? あなたは一人じゃない。

地理情報システムの日: GIS 開発者として学ぶべき最高の技術スタック

地理情報システムの日: GIS 開発者として学ぶべき最高の技術スタック

私たちが住んでいる世界を確実に理解するには、データが必要です。ただし、空間参照がない場合、このデータは地理的コンテキストがないと役に立たなくなる可能性があります。

Language