为什么C++允许在if语句中声明变量，对应语法为何合法？

语法规则 #

C++ 标准明确允许 if、while、for 语句的条件块中直接声明变量，这是刻意设计的官方语法特性，并非编译器兼容行为。
你给出的代码中if (int n = Test())的执行逻辑完全等价于如下写法：

#include <iostream>

int Test()
{
    return 10;
}

int main()
{
    int n = Test();
    if (n)
    {
        std::cout << "hi";
    }
}

唯一区别是：条件内声明的n的作用域被严格限制在当前if块（包括对应的else块）内部，离开该区域后变量就会被销毁，不会污染外层命名空间。
条件内的变量声明语句的返回值就是声明的变量本身，会被隐式转换为bool类型参与条件判断：

• 数值类型：非0即为true
• 指针类型：非空即为true
• 自定义类类型：调用类的operator bool()转换函数完成判断
  你此前认为if语句只能放比较表达式是认知误区：if的条件部分只要是可以转换为bool类型的语句都合法，不需要必须有比较动作，比如if (a)这种写法本身就是完全合法的，直接判断变量a的布尔值即可。

设计初衷 #

这个特性的核心作用是严格控制临时变量的生命周期，减少不必要的作用域污染：

• 大量场景下临时变量仅在条件分支内部生效，不需要暴露到外层作用域
• 避免临时变量在后续无关代码中被误用，降低bug概率
• 代码可读性更强，读者可以直观判断该变量仅和当前if逻辑相关
  典型的常用场景比如动态类型转型判断：

if (auto derived_ptr = dynamic_cast<Derived*>(base_ptr)) {
    // 仅转型成功时进入块，可直接安全使用derived_ptr
}

这种写法比先声明变量、再转型、再判断的写法要简洁很多，也规避了变量在外层被误用的风险。

内容的提问来源于stack exchange，提问作者The Doge Master