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 没有任何输出。