if判断恒成立通常源于隐式转换、赋值误写或类型陷阱：如if(x=3)赋值恒真、if(ch=='y'||'Y')后项恒真、指针/容器判空不当、未初始化变量或无符号比较越界。
if 判断总是成立，大概率不是逻辑写错了，而是条件表达式根本没按你预期的方式求值——尤其当它混入了隐式转换、整型/布尔混用或括号缺失时。
检查 if 括号里是不是非零即真
C++ 里没有“布尔专用类型约束”，if 只看表达式结果是否为 0：非 0 就算 true。这意味着：
-
if(5)、if(-1)、if(ptr)（指针非空）都恒成立 -
if(x = 3)是赋值而非比较，x 被设为 3 → 非零 → 恒成立（编译器通常会警告，但未必报错） -
if(ch == 'y' || 'Y')写错了：后半部分'Y'是字符字面量，ASCII 值 89 ≠ 0 → 整个表达式永远为 true
正确写法是 if(ch == 'y' || ch == 'Y') 或用 std::toupper 统一处理。
警惕隐式转换把 std::string 或 std::vector 当 bool 用
像 std::string、std::vector 这类容器，没有重载到 bool 的隐式转换（C++11 起已禁用），但如果你用了老式接口或自定义类型，可能意外触发转换规则。更常见的是：
立即学习“C++免费学习笔记（深入）”；
-
if(str.c_str())：只要str不为空，c_str()返回非空指针 → 恒真 -
if(vec.size())：等价于if(vec.size() != 0)，看起来合理，但如果size()返回size_t（无符号），而你和负数比较（比如vec.size() > -1），-1 会被转成极大正数 → 条件永远假（反向陷阱）
判断容器是否为空，请直接用 if(!vec.empty())，语义清晰且无类型风险。
确认变量有没有被意外修改或未初始化
if 表达式看似简单，但背后变量可能早被改过：
-
int flag;未初始化 → 值是随机的 →if(flag)结果不可预测（可能总真，也可能总假，取决于栈上残留值） - 多线程环境下，
flag被其他线程反复写，而你没加std::atomic或锁 → 读到的值早已过期 - 函数参数传入的是
int*，你在函数内写了*p = 1，但调用方传的是常量地址或只读内存 → 行为未定义，if 判断可能崩或恒成立
调试时优先打日志：std::cout ，别只信“它应该就是 0”。
编译器优化或宏展开导致实际执行的不是你写的代码
特别是带宏的项目里，if(DEBUG_LOG) { ... } 看似可控，但如果 DEBUG_LOG 定义为 1 或空，预处理器会直接展开成 if(1) 或 if()（后者语法错误）。常见问题包括：
-
#define ENABLE_FEATURE 1，然后写if(ENABLE_FEATURE == true)→ 展开为if(1 == true)，虽然合法，但多余且易被误改 -
#ifdef和if混用，比如在头文件里写了#define CHECK(x) if(x) do_something()，但忘了加do { ... } while(0)包裹 → 遇到if(...) CHECK(x); else ...时，else会绑定到内层if，逻辑彻底错乱
宏定义判断逻辑，务必用 do { ... } while(0) 封装，且避免在宏里嵌套 if 而不配对 else。
最麻烦的 case 往往藏在“一眼看上去没问题”的地方：比如 if(status & MASK) 中 MASK 是 0，或者 status 是 unsigned char 却和 int 常量做位运算导致符号扩展。这种问题不打印中间值、不看汇编、不单步调试，很难靠猜定位。
