if constexpr只能在模板内部使用，用于编译期裁剪代码分支，条件必须是常量表达式，不支持运行时变量，需配合template声明，非模板函数中使用会编译错误。
if constexpr 必须在模板内部使用
它不是运行时分支，而是编译期裁剪：编译器看到 if constexpr，会直接丢弃条件为 false 的分支代码，连语法检查都不做。但这个能力只对模板有效——非模板函数里写 if constexpr 会报错 error: 'if constexpr' is only allowed inside a template。
常见错误是想用它替代宏来做“全局开关”，比如在普通函数里控制日志输出，结果编译不过。正确做法是把它包进函数模板或类模板里，哪怕模板参数没被实际用到（只要存在即可）。
- 必须配合
template<typename t></typename>或template<auto v></auto>等声明 - 即使只依赖
std::is_integral_v<t></t>这类类型特征，T也得是模板参数，不能是硬编码类型 - 分支内调用的函数如果只在某个分支里有定义（比如仅对浮点类型重载），不会触发 ODR 违规——因为另一分支根本不存在于实例化后的代码中
constexpr 分支里不能出现运行时变量
if constexpr 的条件表达式必须是常量表达式，编译器要在实例化时就确定真假。所以别往里面塞 i > 0（i 是函数参数）、std::rand() 或任何依赖运行时状态的东西。
容易踩的坑是误以为“只要类型能推导出来就行”，比如传入一个 constexpr int x = 42;，但在非 constexpr 函数里用它作条件——这时 x 在该作用域不是常量表达式，照样报错 error: the value of 'x' is not usable in a constant expression。
立即学习“C++免费学习笔记（深入）”；
- 条件只能是字面量、模板参数、
constexpr函数返回值、类型特征（如std::is_same_v<a b></a>）等 - 支持
constexpr if的前提是整个表达式能在编译期求值，和变量是否加了constexpr修饰有关，和类型无关 - 调试时可以加个
static_assert(false, "this branch should be discarded");到被裁剪的分支里确认是否真被跳过
与普通 if 混用时的嵌套逻辑
你可以在一个 if constexpr 分支里再写普通 if，也可以反过来——但语义完全不同。外层 if constexpr 决定哪段代码进编译单元；内层普通 if 只决定运行时走哪条路。
典型场景是先按类型分发（编译期），再按值判断（运行期）。比如处理容器：对 std::array 直接用下标访问，对 std::vector 先检查 size() 是否越界——前者由 if constexpr 分离，后者用普通 if 完成。
-
if constexpr (std::is_same_v<t std::array>>)</t>→ 编译期确保只生成 array 版本代码 - 该分支内写
if (i → 运行时安全检查，不参与编译期决策 - 千万别把运行时条件塞进
constexpr分支条件里，否则编译失败，不是逻辑错，是语法错
VS2017 / GCC7+ 的兼容性细节
虽然 C++17 标准规定了 if constexpr，但早期实现有差异。VS2017 默认不开 C++17 模式，需手动设 /std:c++17；GCC7 支持但不支持在 lambda 内部使用（GCC8+ 才放开）；Clang 5.0+ 基本没问题。
最容易忽略的是模板实例化时机：某些老编译器会在解析阶段就尝试检查所有分支，导致明明会被裁剪的代码因语法错误而中断编译。升级工具链能解决大部分问题，但若必须兼容旧环境，可用 std::enable_if_t + 函数重载兜底。
- 检查方式：写个最简模板，只含
if constexpr(true) { return 0; } else { return 1; }，看是否编译通过 - GCC 报
error: 'if constexpr' does not work with -std=gnu++14就说明标准没设对 - 跨平台项目建议在
CMakeLists.txt中显式设置set(CMAKE_CXX_STANDARD 17)
真正难的不是写对语法，而是想清楚哪些逻辑必须落在编译期裁剪，哪些必须留给运行时判断——边界模糊时，多一层 static_assert 比多一层嵌套更可靠。
