Day 06: 真值與文字/資料分支

參考解答（truthiness.py）：

def presence(value):
    if value:
        return "present"
    return "missing"
for value in [[], [0], "", " ", 0, "0"]:
    print(repr(value), bool(value), presence(value))

精確輸出（Python 3.13 與 3.14）：

[] False missing
[0] True present
'' False missing
' ' True present
0 False missing
'0' True present

解析：[]、"" 和 0 為假，因此分支回報為 "missing"。[0]、" " 和 "0" 為真，因此回報為 "present"。有兩列容易誤導：只含空白的文字沒有任何資料，卻被回報為 present；數字 0 是真實存在的值，卻被回報為 missing。當含義很重要時，請明確判斷（例如 text.strip() == "" 或 value is None），不要依賴真值。

轉換規則：只 strip 一次；空文字為 "missing"；只含 ASCII 數字的文字以 int(text) 轉換後為 "zero" 或 "positive"；其他一切為 "invalid"。

參考實作（classify.py）：

def classify(raw):
    text = raw.strip()
    if text == "":
        return "missing"
    if text.isascii() and text.isdigit():
        number = int(text)
        if number == 0:
            return "zero"
        return "positive"
    return "invalid"
cases = [" 7 ", "", "0", "unknown", "   ", "\t\n", "　7", "007", "00",
         "Zero", "-3", "+7", "3.5", "1_000", "1 2", "７"]
for raw in cases:
    print(f"{raw!r:12} -> {classify(raw)}")

精確輸出，即完整的輸入 → 輸出對照表（Python 3.13 與 3.14）：

' 7 '        -> positive
''           -> missing
'0'          -> zero
'unknown'    -> invalid
'   '        -> missing
'\t\n'       -> missing
'\u30007'    -> positive
'007'        -> positive
'00'         -> zero
'Zero'       -> invalid
'-3'         -> invalid
'+7'         -> invalid
'3.5'        -> invalid
'1_000'      -> invalid
'1 2'        -> invalid
'７'          -> invalid

每個判斷存在的原因：strip() 把 ' ' 和 '\t\n' 變成空文字，所以它們是 "missing"（單純用 bool() 會判為 present），並把 '\u30007'（全形空格加 7）變成 '7'。'00' 轉換後為 0，所以是 "zero"。儘管 '７'.isdigit() 為 True 且 int('７') 回傳 7，isascii() 檢查仍會拒絕 '７'。正負號、小數點、底線、中間空格與單字都是 "invalid"，絕不會被轉換為 0。

完整步驟（bash）。所有步驟在同一個終端機中執行；全部指令都在拋棄式儲存庫內執行。

第 1 步：建立儲存庫，並在看到任何提案之前寫下你的預期。

work=$(mktemp -d)
cd "$work"
git init -q
cat > expected.txt <<'EOF'
' 7 ' -> positive
'' -> missing
'0' -> zero
'unknown' -> invalid
'   ' -> missing
' 0 ' -> zero
EOF

第 2 步：提交有缺陷的基線並測試。

cat > classify.py <<'EOF'
def classify(raw):
    if not raw:
        return "missing"
    if raw == "0":
        return "zero"
    return "positive"
for raw in [" 7 ", "", "0", "unknown", "   ", " 0 "]:
    print(f"{raw!r} -> {classify(raw)}")
EOF
git add classify.py
git -c user.name="Day06 Learner" -c [email protected] commit -q -m "Add baseline classify"
python3 classify.py > actual.txt
diff expected.txt actual.txt; echo "diff exit: $?"

輸出：基線依據原始文字的真值分支，因此判錯了 3 個輸入。

4,6c4,6
< 'unknown' -> invalid
< '   ' -> missing
< ' 0 ' -> zero
---
> 'unknown' -> positive
> '   ' -> positive
> ' 0 ' -> positive
diff exit: 1

第 3 步：套用替換方案（這裡是使用相同 6 個輸入的 Activity 02 參考實作），並檢查 diff。

cat > classify.py <<'EOF'
def classify(raw):
    text = raw.strip()
    if text == "":
        return "missing"
    if text.isascii() and text.isdigit():
        number = int(text)
        if number == 0:
            return "zero"
        return "positive"
    return "invalid"
for raw in [" 7 ", "", "0", "unknown", "   ", " 0 "]:
    print(f"{raw!r} -> {classify(raw)}")
EOF
git diff
git diff --stat

輸出：

diff --git a/classify.py b/classify.py
index 35040ac..bc9c7bf 100644
--- a/classify.py
+++ b/classify.py
@@ -1,8 +1,12 @@
 def classify(raw):
-    if not raw:
+    text = raw.strip()
+    if text == "":
         return "missing"
-    if raw == "0":
-        return "zero"
-    return "positive"
+    if text.isascii() and text.isdigit():
+        number = int(text)
+        if number == 0:
+            return "zero"
+        return "positive"
+    return "invalid"
 for raw in [" 7 ", "", "0", "unknown", "   ", " 0 "]:
     print(f"{raw!r} -> {classify(raw)}")
 classify.py | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

第 4 步：暫存之前先驗證。

python3 classify.py > actual.txt
diff expected.txt actual.txt; echo "diff exit: $?"
git diff --check; echo "check exit: $?"
git status --short

輸出：

diff exit: 0
check exit: 0
 M classify.py
?? actual.txt
?? expected.txt

第 5 步：只暫存並提交經過審查的檔案。

git add classify.py
git diff --cached --name-only
git -c user.name="Day06 Learner" -c [email protected] commit -q -m "Classify by normalized text"
git log -1 --format=%s
git diff --stat HEAD~1 HEAD
git status --short

輸出：

classify.py
Classify by normalized text
 classify.py | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)
?? actual.txt
?? expected.txt

已以 Git 2.56 與 Python 3.13/3.14 驗證。git -c user.name=... -c user.email=... 只為這一次提交設定作者，不會更動你的 Git 設定。請保留以下證據：expected.txt、兩次 diff 的結果、乾淨的 git diff --check，以及只含一個檔案的提交。把 Agent 的審查標記為 Agent 輔助；它不能證明獨立掌握。

完整的範例解答（bash；Python 檔案在新建的拋棄式儲存庫中建立並提交）：

work=$(mktemp -d)
cd "$work"
git init -q
cat > quantity.py <<'EOF'
def quantity_message(raw):
    text = raw.strip()
    if text == "":
        return "missing: enter a whole number"
    if text.isascii() and text.isdigit():
        number = int(text)
        if number == 0:
            return "zero: nothing to order"
        return f"ok: {number}"
    return f"invalid: {text!r} is not a whole number"
cases = {
    "": "missing: enter a whole number",
    "0": "zero: nothing to order",
    "unknown": "invalid: 'unknown' is not a whole number",
    " 12 ": "ok: 12",
}
for raw, expected in cases.items():
    actual = quantity_message(raw)
    assert actual == expected, (raw, actual, expected)
    print(f"{raw!r} -> {actual}")
print("all 4 cases passed")
EOF
python3 quantity.py
git add quantity.py
git diff --cached --check && echo "diff check clean"
git diff --cached --name-only
git -c user.name="Day06 Learner" -c [email protected] commit -q -m "Add quantity_message with edge-case checks"
git log -1 --format=%s
git status --short; echo "status exit: $?"

精確輸出（Python 3.13/3.14，Git 2.56）：

'' -> missing: enter a whole number
'0' -> zero: nothing to order
'unknown' -> invalid: 'unknown' is not a whole number
' 12 ' -> ok: 12
all 4 cases passed
diff check clean
quantity.py
Add quantity_message with edge-case checks
status exit: 0

出乎意料結果的範例解釋：bool("0") 為 True，所以寫成 if raw: 的分支會把文字 "0" 當作已輸入；bool(" ") 同樣為 True，所以只含空白的文字看起來也像已輸入。因此這個函式從不依據原始真值分支，而是先 strip，再明確比較 text == ""。另一個意外：int(" 7 ") 和 int("７") 都回傳 7，因為 int() 本身會移除空白並接受非 ASCII 數字；isascii() and isdigit() 檢查讓可接受的輸入與規約完全一致。

安全 diff 紀錄：git diff --cached --name-only 只列出 quantity.py，git diff --cached --check 乾淨，提交後 git status --short 沒有任何輸出。