pythonのfor文で inの右に空リストを指定した場合

Question

疑問点

pythonのfor文でinの右に空リストを指定した場合どんな動きをしますか。

実験

以下のコードで実験してみました。
これでforの中身が一度も実行されず無事、下のprintに到達できれば、for文の前でif文を使ってリストのサイズが正の値であることをたしかめなくてすみますね。、

mylist = []
for x in mylist:
    print("for文の中身")
    
print("forの次の文")

実験の結果

実験の結果は、一応期待通りでした。エラーにならずprint文に到達しました。

これはまっとうな結果でしょうか

listのサイズが0なら、forの中身を実行しないことは、いつも期待していいのでしょうか。
これが「仕様」であるのなら、forの前でリストのサイズを調べる手間がかなり省ける気がしますが…
、

Answer 1

listのサイズが0なら、forの中身を実行しないことは、いつも期待していいのでしょうか。

はい。以下抜粋します。

8.3. for 文

全ての要素を使い切ったとき (シーケンスが空であったり、イテレータが StopIteration 例外を送出したときは、即座に)、 else 節があればそれが実行され、ループは終了します。

listのサイズが0、すなわちシーケンスが空である場合は即座にループは終了します。
すなわちループ内の処理は実行されません。

追記

むしろ以下コードで示すような変態クラスも想定するとlenなりでチェックするべきではなく
単純にfor inに任せた方がよいかもしれません。
参考：Pythonはどうやってlen関数で長さを手にいれているの？

class MyIterator:
    def __init__(self,obj):
        self.obj = obj
        self.c = 0

    # ここが変態
    def __len__(self):
        print('__len__')
        return 0

    def __next__(self):
        print('__next__')
        try:
            r = self.obj[self.c]
            self.c += 1
            return r
        except IndexError:
            self.c = 0
            raise StopIteration

    def __iter__(self):
        print('__iter__')
        return self

def disp(it):
    print('disp')
    for e in it:
        print(e)

for l in [[],[1,2]]:
    print(l)
    it = MyIterator(l)

    print('just disp')
    disp(it)

    print('check len')
    if len(it) > 0:
        disp(it) # 呼ばれない

    print('check if')
    if it:
        disp(it)# 呼ばれない


"""
[]
just disp
disp
__iter__
__next__
check len
__len__
check if
__len__
[1, 2]
just disp
disp
__iter__
__next__
1
__next__
2
__next__
check len
__len__
check if
__len__
"""

Comments

[ys-tombi2]

回答ありがとうございます。

引用された文の url をおしえていただけるでしょうか。

[8524ba23]

「8.3. for 文」の部分がハイパーリンクになっていませんか？

[ys-tombi2]

ありがとうございました。疑問点がかいけつしました。これからは for 文を書くとき、自信をもってひと手間省けまる。