if 文のTrue、Falseについて

Question

文字列を扱うコードです。
以下のプログラムでの真偽の扱いはどうなっているのでしょうか。

s = "abc"
if s:
    print("NO")
else:
    print("YES")

基本的なことでしょうが、この場合の
if s:
とは、len(S)が"3"ということで、bool値として"3"、つまり"0"以外なので真となり、"NO"を出力するということでしょうか。

Answer 1

とは、len(S)が"3"ということで、bool値として"3"、つまり"0"以外なので真となり、"NO"を出力するということでしょうか。

解釈としては少し違います。

Python の真偽値の仕様は以下の通りです。

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

組み込み型 — Python 3.8.2 ドキュメント
https://docs.python.org/ja/3/library/stdtypes.html?#truth-value-testing

例：

str = None
if str:
    print('None is True!')
else:
    print('None is False!')
    
str = ''
if str:
    print('Empty is True!')
else:
    print('Empty is False!')
    
str = '0'
if str:
    print('0 is True!')
else:
    print('0 is False!')

str = 'False'
if str:
    print('False is True!')
else:
    print('False is False!')

出力：

None is False!
Empty is False!
0 is True!
False is True!

Answer 2

リファレンスの「真理値判定」のところを確認してください。

真理値判定 | 組み込み型 — Python 3.8.2 ドキュメント

str型で偽になり得るのは空文字列''（""や""""""なども同じ、リテラルの表記の違いだけ）だけと定義されていますので、真です。

質問文の説明とは理屈が違いますが、結論は同じです。

Answer 3

空文字列はFalse、それ以外の文字列はTrueです。

if s: は、
if bool(s): と等価であり、
if s.__bool__(): と等価です。
文字列自身が、自分がFalseかTrueかを判断しています。

参考: https://docs.python.org/ja/3/library/stdtypes.html#truth