Counter多键减法不能直接用-运算符，因其__sub__执行有符号减法，结果可能含负值或丢失键；推荐用max(0, c1[k]-c2[k])手动截断并显式指定键集。
Counter 多键减法为什么不能直接用 - 运算符
因为 Counter.__sub__ 是“有符号减法”，结果中键的计数可以为负，这和多数业务场景里“扣减后归零”的直觉不符。比如 Counter({'a': 2, 'b': 1}) - Counter({'a': 3, 'b': 0}) 得到 Counter({'a': -1})，而你通常只想要“扣完即止”，不希望出现负值或丢失键。
用 subtract() + most_common() 清理负值不可靠
subtract() 本身也是有符号操作，不会自动裁剪负值；most_common() 只返回正计数项，会直接丢掉键（比如 'b' 被扣成 0 后就从结果里消失了），但你往往需要保留所有原始键、显式置 0。常见错误是误以为 most_common() 能“安全截断”，其实它只是过滤，不是归零。
推荐做法：手动遍历键并用 max(0, ...) 截断
最可控的方式是明确指定要参与减法的键集（比如两个 Counter 的并集），再对每个键计算 max(0, c1[k] - c2[k])。这样既保留所有相关键，又杜绝负值。
- 如果只要处理共有的键：
c1 = Counter({'a': 5, 'b': 3})
c2 = Counter({'a': 2, 'c': 1})
result = Counter({k: max(0, c1[k] - c2[k]) for k in c1.keys()}) - 如果要覆盖所有涉及的键（含
c2独有键）：all_keys = c1.keys() | c2.keys()
result = Counter({k: max(0, c1[k] - c2[k]) for k in all_keys}) - 注意：
c1[k]和c2[k]在键不存在时返回 0，所以无需.get(k, 0)
性能与兼容性提醒
纯 Python 字典推导比调用 subtract() + 后续清理更清晰、更快——没有副作用，也不依赖 Counter 内部状态。Python 3.10+ 中 Counter 的 __sub__ 行为未变，别指望未来版本自动归零。另外，如果你在高频循环里做这个操作，把 max(0, ...) 换成条件表达式 c1[k] - c2[k] if c1[k] > c2[k] else 0 略微快一点，但可读性下降，一般没必要。
真正容易被忽略的是键空间范围：不明确指定 all_keys，只遍历 c1，会导致 c2 中独有的键（如上例中的 'c'）完全不出现在结果里——这不是 bug，是设计选择，但常被当成疏漏。
