Pythonループの `else`句をどのように理解できますか？

多くのPythonプログラマーはおそらく、whileループとforループの構文にオプションのelse:句が含まれていることを認識していません。

for val in iterable:
    do_something(val)
else:
    clean_up()

else句の本体は、特定の種類のクリーンアップアクションに適した場所であり、ループの通常の終了時に実行されます。returnつまりbreak、else句を使用してループを終了するか、句をスキップします。continue実行後に終了します。私はちょうどこの理由だけ知っている、それを見上げ、私は覚えていることはできませんので、（再び）ときelse句が実行されます。

常に？名前が示すように、ループの「失敗」について？定期的に終了しますか？ループが終了してもreturn？私はそれを調べなければ、完全に確信を持つことはできません。

私はキーワードの選択がelse根強く残っていることを非難します。このセマンティクスには信じられないほどニーモニックだと思います。私の質問は「なぜこのキーワードがこの目的で使用されているのか」（回答とコメントを読んだ後でのみ、投票する可能性がある）ではなく、elseキーワードの意味を理解するためにキーワードをどのように考えることができますか。したがって、それを覚えることができますか？

私はこれについてかなりの量の議論があったと思います、そして私はtryステートメントのelse:条項（私も調べなければならない）との一貫性のために、そしてリストに追加しないことを目標にして作られた選択を想像することができますPythonの予約語。おそらく、選択した理由によってelseその機能が明確になり、覚えやすくなりますが、私は名前を機能に関連付けた後です。歴史的な説明自体ではありません。

回答この質問私の質問は簡単に興味深いバックストーリーがたくさん含まれている、の重複として閉鎖されました、。私の質問は別の焦点（特定のセマンティクスとelseキーワードの選択を関連付ける方法）を持っていますが、この質問へのリンクがどこかにあるはずです。

（これは@Mark Tolonenの答えに触発されています。）

if文はその実行されelse、その条件がfalseと評価された場合の句を。同様に、while条件がfalseと評価された場合、ループはelse句を実行します。

このルールは、説明した動作と一致します。

• 通常の実行では、条件がfalseと評価されるまでwhileループが繰り返し実行されるため、自然にループを終了するとelse句が実行されます。
• breakステートメントを実行すると、条件を評価せずにループを終了するため、条件がfalseと評価されず、else句が実行されることはありません。
• continueステートメントを実行すると、条件が再度評価され、ループ反復の開始時に通常行うのとまったく同じことが行われます。したがって、条件がtrueの場合はループし続けますが、falseの場合はelse句を実行します。
• など、ループを終了する他のメソッドはreturn条件を評価しないため、else句は実行されません。

forループは同じように動作します。イテレータにさらに要素がある場合は条件をtrueと見なし、そうでない場合はfalseと見なします。

このように考えると良いelseでしょう。前のブロックですべてが正しく実行され、枯渇に達した場合、ブロックは常に実行されます。for

この文脈における権利はexception、いいえbreak、いいえ、いいえを意味しreturnます。制御をハイジャックするステートメントはfor、elseブロックをバイパスさせます。

でアイテムを検索するときに一般的な使用例が見つかりiterableます。アイテムが見つかったとき、または"not found"次のelseブロックを介してフラグが立てられたり印刷されたりすると、検索が中止されます。

for items in basket:
    if isinstance(item, Egg):
        break
else:
    print("No eggs in basket")  

Aは、continueからハイジャックしない制御を行うfor制御がに進みますので、else後にfor排出されます。

いつif実行しelseますか？条件が偽の場合。これはwhile/でもまったく同じですelse。したがって、while/はelse、iffalseと評価されるまでそのtrue条件を実行し続けるものと考えることができます。A breakはそれを変更しません。それは、評価なしで包含ループからジャンプするだけです。else場合にのみ実行される評価if / while条件が偽です。

forその偽の条件はそのイテレータを排出されることを除き、同様です。

continuebreak実行しないでくださいelse。それは彼らの機能ではありません。break含むループを終了します。continueループ条件が評価され含むループの先頭に戻ります。これは、評価の行為ですif/ whilefalseに（またはforこれ以上の項目がある）ことを実行elseしていない他の方法を。

これは本質的にそれが意味することです：

for/while ...:
    if ...:
        break
if there was a break:
    pass
else:
    ...

これは、この一般的なパターンを記述するより良い方法です。

found = False
for/while ...:
    if ...:
        found = True
        break
if not found:
    ...

else句があれば実行されませんreturnので、returnそれが意味するように、葉の機能。あなたが考えている可能性のある唯一の例外はですfinally。その目的は、常に実行されることを確認することです。

continueこの件に関して特別なことは何もありません。これにより、ループの現在の反復が終了し、ループ全体が終了する場合があります。その場合、明らかに、ループはで終了していませんbreak。

try/else 似ています：

try:
    ...
except:
    ...
if there was an exception:
    pass
else:
    ...

ループをこれに似た構造（やや疑似コード）と考える場合：

loop:
if condition then

   ... //execute body
   goto loop
else
   ...

それはもう少し理にかなっているかもしれません。ループは基本的にif、条件がになるまで繰り返される単なるステートメントですfalse。そしてこれが重要なポイントです。ループはその条件をチェックし、それがであることを確認しますfalse。したがって、else（通常のようにif/else）を実行し、ループが完了します。

したがってelse 、条件がチェックされたときに実行されるのは唯一のgetであることに注意してください。つまり、a returnやa などを使用して実行の途中でループの本体を終了するとbreak、条件は再度チェックelseされないため、ケースは実行されません。

continue一方、A は現在の実行を停止してからジャンプしてループの状態を再度確認しelseます。このため、このシナリオではに到達できます。

ループのと私の知っておかなけれ瞬間else、私がすることによって話見ていたとき句だったレイモンドヘッティンガー彼は、それが呼ばれている必要がありますと思ったかについて話をしました、nobreak。次のコードを見てください。どうすればよいと思いますか？

for i in range(10):
    if test(i):
        break
    # ... work with i
nobreak:
    print('Loop completed')

何だと思いますか？まあ、言う部分はnobreak、breakステートメントがループでヒットしなかった場合にのみ実行されます。

通常、私はこのようなループ構造を考える傾向があります：

for item in my_sequence:
    if logic(item):
        do_something(item)
        break

可変数のif/elifステートメントのようになるには：

if logic(my_seq[0]):
    do_something(my_seq[0])
elif logic(my_seq[1]):
    do_something(my_seq[1])
elif logic(my_seq[2]):
    do_something(my_seq[2])
....
elif logic(my_seq[-1]):
    do_something(my_seq[-1])

この場合、elseforループのelseステートメントはelifs のチェーンのステートメントとまったく同じように機能し、Trueと評価される前の条件が1つもない場合にのみ実行されます。（またはreturn例外を使用して実行を中断する）私のループがこの仕様に適合しない場合、私は通常、for: elseこの質問を投稿した正確な理由で使用をオプトアウトすることを選択します。直感的ではありません。

他の人はすでにの仕組みを説明してwhile/for...elseおり、Python 3言語リファレンスには信頼できる定義があります（whileとforを参照）が、ここに私の個人的なニーモニック、FWIWがあります。私の鍵は、これを2つの部分に分解することだったと思います。1つelseはループ条件との関連での意味を理解するため、もう1つはループ制御を理解するためです。

私は理解することから始めるのが最も簡単だと思いますwhile...else：

whileあなたはより多くのアイテムを持っています、else何かをします、あなたが足りなくなったら、これをしてください

for...elseニーモニックは、基本的には同じです。

forすべてのアイテム、else何かを行いますが、不足した場合はこれを行います

どちらの場合も、else処理するアイテムがなくなり、最後のアイテムが通常の方法で処理された（つまり、breakまたはreturn）場合にのみ、パーツに到達します。A continueが戻って、さらに項目があるかどうかを確認します。これらの規則のための私のニーモニックは、両方に適用されますwhileとfor：

ときbreakINGのか、returnINGの、何もありませんelse行うには、
と私が言うときcontinue、あなたのための「ループバックが起動する」ということ

–「ループバックトゥスタート」の意味で、明らかに、ループに関しては、反復可能オブジェクトにさらに項目があるかどうかをチェックします。ループelseに関しては、に関する限り、continueまったく何の役割も果たしません。

でテスト駆動開発使用している場合（TDD）、転換優先前提のパラダイムを、あなたは条件文の一般化として、ループを扱います。

単純なif/else（なしelif）ステートメントのみを検討する場合、このアプローチはこの構文とうまく組み合わせられます。

if cond:
    # 1
else:
    # 2

一般化して：

while cond:  # <-- generalization
    # 1
else:
    # 2

うまく。

他の言語では、TDDが単一のケースからコレクションのあるケースに進むには、より多くのリファクタリングが必要です。

これは8thlightブログの例です。

8thlightブログのリンクされた記事では、Word Wrap kataが考慮されています：文字列（s以下のスニペットの変数）に改行を追加して、それらを特定の幅（length以下のスニペットの変数）に合わせます。ある時点では、実装は次のようになります（Java）。

String result = "";
if (s.length() > length) {
    result = s.substring(0, length) + "\n" + s.substring(length);
} else {
    result = s;
}
return result;

そして次のテストは、現在失敗しています：

@Test
public void WordLongerThanTwiceLengthShouldBreakTwice() throws Exception {
    assertThat(wrap("verylongword", 4), is("very\nlong\nword"));
    }

したがって、条件付きで機能するコードがあります。特定の条件が満たされると、改行が追加されます。複数の改行を処理するようにコードを改善したいと考えています。記事で提示されているソリューションは、（if-> while）変換を適用することを提案していますが、作者は次のようにコメントしています。

ループにはelse句を含めることができないため、elseパスで実行する処理を少なくして、パスを削除する必要がありifます。繰り返しますが、これはリファクタリングです。

これは、1つの失敗したテストのコンテキストでコードにさらに変更を加えることを強制します。

String result = "";
while (s.length() > length) {
    result += s.substring(0, length) + "\n";
    s = s.substring(length);
}
result += s;

TDDでは、テストに合格するためにできる限り少ないコードを記述したいと考えています。Pythonの構文のおかげで、次の変換が可能です。

から：

result = ""
if len(s) > length:
    result = s[0:length] + "\n"
    s = s[length:]
else:
    result += s

に：

result = ""
while len(s) > length:
    result += s[0:length] + "\n"
    s = s[length:]
else:
    result += s

私がそれを見る方法はelse:、あなたがループの終わりを過ぎて繰り返すとき発砲します。

あなたの場合breakまたはreturnまたはraiseあなたが反復は、ループの終わりを越えてはいけない、あなたはimmeadiately停止、ひいてはelse:ブロックは実行されません。continueループの終わりを過ぎてもまだ反復する場合、continueは次の反復にスキップするだけなので。ループは止まりません。

else節はループ構造の一部であると考えてください。breakループ構造から完全に抜け出し、else節をスキップします。

しかし、実際には、私のメンタルマッピングは、単にパターン化されたC / C ++パターンの「構造化」バージョンであるということです。

  for (...) {
    ...
    if (test) { goto done; }
    ...
  }
  ...
done:
  ...

したがって、直接for...else理解するのではなく、自分で遭遇したり記述したりするときは、精神的にそれを上記のパターンの理解に変換してから、Python構文のどの部分がパターンのどの部分にマッピングされるかを調べます。

（違いはコードが構造化されているか非構造化されているかではなく、特定の構造に専用のキーワードと文法があるかどうかだけなので、私は「構造化」を恐怖の引用符で囲みました）

とペアリングするelseとfor、混乱を招く可能性があります。キーワードelseがこの構文に適しているとは思いませんが、within とペアリングelseするifとbreak、実際に意味があることがわかります。else前のifステートメントがない場合はほとんど役に立ちません。これが、構文デザイナーがキーワードを選択した理由だと思います。

それを人間の言葉で説明しましょう。

for容疑者のグループの各人はif誰でもbreak捜査の犯人 です。else失敗を報告します。

私の考えでは、重要なのは continueはなくですelse。

あなたが言及する他のキーワードはループから抜け出します（異常に終了します） continueそうではなく、ループ内のコードブロックの残りをスキップするだけです。ループの終了に先行できるという事実は偶発的です。終了は、実際にはループ条件式の評価によって通常の方法で行われます。

次に、else句は通常のループ終了後に実行されることを覚えておく必要があります。

# tested in Python 3.6.4
def buy_fruit(fruits):
    '''I translate the 'else' below into 'if no break' from for loop '''
    for fruit in fruits:
        if 'rotten' in fruit:
            print(f'do not want to buy {fruit}')
            break
    else:  #if no break
        print(f'ready to buy {fruits}')


if __name__ == '__main__':
    a_bag_of_apples = ['golden delicious', 'honeycrisp', 'rotten mcintosh']
    b_bag_of_apples = ['granny smith', 'red delicious', 'honeycrisp', 'gala', 'fuji']
    buy_fruit(a_bag_of_apples)
    buy_fruit(b_bag_of_apples)

'''
do not want to buy rotten mcintosh
ready to buy ['granny smith', 'red delicious', 'honeycrisp', 'gala', 'fuji']
'''