whileループを抜ける理由がわかりません。

Question

前提・実現したいこと

書籍「独学プログラマーpython言語の基本から仕事のやり方まで」の中の、
スタックを使って文字を逆順にする、というプログラミング例を自分で入力して試しています。
プログラムは正常に動くのですが、その理由がわからないので困っています。

発生している問題・エラーメッセージ

下記のプログラムで、whileループをなぜ抜けているかがわかりません。

該当のソースコード

class Stack:
    def __init__(self):
        self.items = []

    def is_empty(self):
        return self.items == []

    def push(self, item):
        self.items.append(item)

    def pop(self):
        return self.items.pop()

    def peek(self):
        last = len(self.items) - 1
        return self.items[last]

    def size(self):
        return len(self.items)

stack = Stack()

for c in "Hello":
    stack.push(c)

print(stack.items)

reverse = ""

while stack.size():
    reverse += stack.pop()

print(reverse)

試したこと

print関数でstack.size()を確認しましたが、
最後に”０”と出力されてwhileループを抜けています。
”０”はFalseではないと思うのですが。。

補足情報（FW/ツールのバージョンなど）

ここにより詳細な情報を記載してください。

Answer 1

print関数でstack.size()を確認しましたが、

最後に”０”と出力されてwhileループを抜けています。
”０”はFalseではないと思うのですが。。

stack.size()は最後に数値のゼロを返します。
数値のゼロはPythonでは偽と判定されます。
そのためwhileループを抜けます。

真理値判定

オブジェクトは、デフォルトでは真と判定されます。ただしそのクラスが bool() メソッドを定義していて、それが False を返す場合、または len() メソッドを定義していて、それが 0 を返す場合は偽と判定されます。 1 主な組み込みオブジェクトで偽と判定されるものを次に示します:

偽であると定義されている定数: None と False
数値型におけるゼロ: 0, 0.0, 0j, Decimal(0), Fraction(0, 1)
空のシーケンスまたはコレクション: '', (), [], {}, set(), range(0)

Comments

[yagisawa]

なるほどですね。よくわかりました。
勉強不足でした、丁寧に教えていただいてありがとうございます！

Answer 2

値が無くなるまで処理を続けるって事です
つまりサイズ０は値が無くなった事になりますよね

Comments

[yagisawa]

値がなくなった＝Noneということで、
Noneの場合、whileの条件文が偽と判定しているということになるんですね。
ありがとうございます！