本文解析一个看似复杂实则等价于“同时不以.dat和.cup结尾”的布尔条件，指出其逻辑缺陷，并推荐使用python内置的tuple后缀匹配实现简洁、健壮的文件扩展名校验。
本文解析一个看似复杂实则等价于“同时不以.dat和.cup结尾”的布尔条件，指出其逻辑缺陷，并推荐使用python内置的tuple后缀匹配实现简洁、健壮的文件扩展名校验。
原始代码中的布尔表达式：
if not filename.endswith(".dat") and (
filename.endswith(".dat") or not filename.endswith(".cup")
):
raise RuntimeError("Waypoint file {} has an unsupported format.".format(waypoint_file.filename))表面上嵌套了三重判断，实则可通过逻辑代数化简。令
-
A = filename.endswith(".dat") -
B = filename.endswith(".cup")
原条件即为：not A and (A or not B)。
展开真值表（如答案中通过双重循环验证）可得，该表达式仅在 A == False 且 B == False 时为 True，其余情况均为 False。也就是说，它等价于 not A and not B —— 即文件既不以 .dat 结尾，也不以 .cup 结尾。
这印证了你的直觉：开发者本意确实是拒绝所有非 .dat 且非 .cup 的文件，但原写法不仅可读性差，还隐含逻辑冗余（A 在 not A and (A or not B) 中自相矛盾），极易引发维护误解。
✅ 正确且简洁的写法应为：
if not filename.endswith((".dat", ".cup")):
raise RuntimeError(
f"Waypoint file {waypoint_file.filename} has an unsupported format."
)Python 的 str.endswith() 方法原生支持传入元组（tuple）作为参数，表示“匹配任意一个后缀即可”。因此 filename.endswith((".dat", ".cup")) 返回 True 当且仅当文件名以 .dat 或 .cup 结尾；对其取反 not ...，就精准表达了“既不是 .dat 也不是 .cup”这一业务需求。
⚠️ 注意事项：
- 后缀匹配区分大小写（
.DAT≠.dat），若需忽略大小写，应先标准化：ext = filename.lower() if not ext.endswith((".dat", ".cup")): # ... - 确保
filename是字符串且非空，必要时添加前置校验（如if not isinstance(filename, str) or not filename.strip(): ...）。 - 避免重复调用
endswith()——原代码中filename.endswith(".dat")被计算两次，而 tuple 方式仅执行一次，性能更优。
总结：布尔逻辑应追求语义清晰 + 执行高效 + 易于验证。遇到嵌套 and/or/not 表达式时，优先考虑真值表验证或代数化简；更进一步，善用 Python 标准库提供的高阶抽象（如 endswith(tuple)），往往能一语替代多行冗余判断。
