本文详解一个常见但易错的字符串解析问题：将纯数字字符串（如"1230123"）按贪心策略拆分为尽可能长、且每个值严格小于256的整数列表，同时确保 ''.join(map(str, result)) == original 成立——尤其关键的是正确处理连续和孤立的 '0'。
本文详解一个常见但易错的字符串解析问题：将纯数字字符串（如"1230123"）按贪心策略拆分为尽可能长、且每个值严格小于256的整数列表，同时确保 `''.join(map(str, result)) == original` 成立——尤其关键的是正确处理连续和孤立的 `'0'`。
在实现将数字字符串转为“字节级”整数列表（即每个元素 ∈ [0, 255]）时，一个直观的贪心思路是：逐字符扫描，动态累积当前数值 chunk，若 chunk * 10 + next_digit 则继续拼接；否则将当前 chunk 加入结果，并以该新数字作为下一个 chunk 的起点。
然而，原始实现存在两个致命逻辑漏洞：
-
孤立
'0'被吞没：当chunk == 0时，0 * 10 + 0 == 0 恒成立，导致多个'0'被不断累积为0，却从不触发append，最终只在循环结束时追加一次——这直接破坏了'' .join(str(x) for x in output) == s的可逆性； -
空列表索引越界：
return byte_list[not byte_list[0]:]假设byte_list非空且首元素存在，但输入"0000"会导致byte_list始终为空，引发IndexError。
✅ 正确修复方案需满足三点核心约束：
- 每个输出整数 ∈ [0, 255]；
- 拆分是前缀最大匹配（greedy from left）；
- 字符串必须无损还原：
''.join(map(str, result)) == s。
以下是修正后的健壮实现：
if chunk == 0 and d == 0
- 贪心解析的关键在于显式区分“累积中”与“待启动”状态，对
0必须特殊响应； - 避免在索引操作中假设列表非空或首元素存在；
- 正则方案虽略失“算法感”，但在正确性、可维护性与性能上全面胜出，值得优先采用。
