Pythonの「for」ループでのスコープ

Pythonのスコープ規則については質問していません。Pythonのループでスコープがどのように機能するか一般的に理解しています。私の質問は、なぜ設計の決定がこのように行われたのかです。例（しゃれは意図されていません）：

for foo in xrange(10):
    bar = 2
print(foo, bar)

上記は（9,2）を出力します。

これは奇妙なことに私を襲います： 'foo'は実際にはループを制御するだけであり、 'bar'はループ内で定義されました。ループの外で「bar」にアクセスできる必要がある理由を理解できます（そうしないと、forループの機能が非常に制限されます）。私が理解していないのは、ループの終了後も制御変数がスコープ内に留まる必要がある理由です。私の経験では、グローバルな名前空間が乱雑になり、他の言語のインタープリターがキャッチするエラーを追跡することが難しくなります。

最も可能性の高い答えは、文法を単純に保つだけで、採用の障害になっていないということです。また、ループ構造内で名前を割り当てるときに、名前が属するスコープを明確にする必要がないことに多くの人が満足しています。変数はスコープ内で宣言されておらず、割り当てステートメントの場所によって暗黙的に示されます。globalキーワードは、（割り当てがグローバルスコープで行われることを意味する）だけでこのような理由のために存在します。

更新

これは、このトピックに関する良い議論です：http : //mail.python.org/pipermail/python-ideas/2008-October/002109.html

forループ変数をループに対してローカルにする以前の提案は、ループを終了した後もループ変数がその値を保持することに依存する既存のコードの問題に遭遇しました。これは望ましい機能と見なされているようです。

要するに、おそらくそれをPythonコミュニティのせいにすることができます：P

Pythonには、他の一部の言語（C / C ++やJavaなど）のようにブロックはありません。したがって、Pythonのスコープ単位は関数です。

このための本当に便利なケースは、使用enumerateしていて、最後に合計数が必要な場合です。

for count, x in enumerate(someiterator, start=1):
    dosomething(count, x)
print "I did something {0} times".format(count)

これは必要ですか？いいえ。しかし、それは確かに便利です。

注意すべきもう1つのこと：Python 2では、リスト内包の変数もリークされます。

>>> [x**2 for x in range(10)]
[0, 1, 4, 9, 16, 25, 36, 49, 64, 81]
>>> x
9

ただし、Python 3には同じことが適用されません。

ループ内にbreakステートメントがある場合（そして反復値を後で使用したい場合（おそらく、ピックアップ、インデックス付け、またはステータスの付与など））、1行のコードと1つの割り当てを節約できるため、便利です。

Pythonの主要な影響の1つはABCです。これは、プログラミングの概念を初心者に教えるためにオランダで開発された言語です。Pythonの作成者であるGuido van Rossumは、1980年代にABCに数年間取り組みました。ABCについてはほとんど何も知りませんが、ABCは初心者向けなので、初期のBASICのように、スコープの数を制限する必要があると思います。

手始めに、変数がループに対してローカルである場合、それらのループはほとんどの実際のプログラミングでは役に立たないでしょう。

現在の状況では：

# Sum the values 0..9
total = 0
for foo in xrange(10):
    total = total + foo
print total

利回り45。次に、Pythonで割り当てがどのように機能するかを考えます。ループ変数が厳密にローカルである場合：

# Sum the values 0..9?
total = 0
for foo in xrange(10):
    # Create a new integer object with value "total + foo" and bind it to a new
    # loop-local variable named "total".
    total = total + foo
print total

これは0、total代入後のループの内側がループのtotal外側と同じ変数ではないためです。これは最適な動作または期待される動作ではありません。