对C++17中if constexpr的误解及代码编译问题咨询

你踩的这个坑其实是很多刚上手if constexpr的开发者都会遇到的——它和你熟悉的#ifdef真不是一回事儿，你的理解确实有偏差，这就是报错的核心原因。

先给你掰扯清楚两者的本质区别：

• #ifdef是预处理阶段的指令，它就像一把源码剪刀，直接把不符合条件的代码块从文件里剪掉，后续的编译器根本看不到这部分代码，自然不会去检查它的对错。
• 但if constexpr是编译阶段的特性，它的规则是：所有分支的代码必须先通过语法合法性检查和名字解析，编译器确认这些代码在语法上没问题、用到的名字都能找到（或者在特定条件下能找到）之后，才会把不会被执行的分支给丢弃。

回到你的代码，else分支里的x return num;有两个致命问题：一是x完全未定义，二是语法彻底错误（变量后面直接跟return，编译器根本看不懂）。哪怕condition是true，编译器在检查代码合法性的早期阶段就会揪出这些错误，根本轮不到判断“这个分支要不要丢弃”的环节。

那怎么修改才能让代码编译通过？分两种情况：

情况1：只是手滑打错了代码 #

最简单的办法就是修正else分支的笔误，把多余的x删掉就行：

static constexpr bool condition = true;
int square(int num) {
    if constexpr (condition) {
        return num * num;
    } else {
        return num; // 去掉多余的x
    }
}
int main() {
    return square(3);
}

情况2：你确实需要在未启用的分支里写仅特定条件下合法的代码 #

比如你想在else分支里用一个只有当condition为false时才定义的变量，这时候可以借助模板的延迟实例化特性——模板内部的代码只有当模板被实例化时才会被彻底检查。把你的函数改成模板函数就行：

static constexpr bool condition = true;

template<bool C = condition>
int square(int num) {
    if constexpr (C) {
        return num * num;
    } else {
        // 这里可以放心写只有当C为false时才合法的代码
        // 比如使用某个仅在该条件下定义的变量
        return num;
    }
}

int main() {
    return square(3);
}

最后再敲个黑板：if constexpr的分支丢弃是“先检查合法性，再丢弃”，而#ifdef是“直接丢弃，不检查”。所以用if constexpr的时候，所有分支的代码都得是语法合规的，哪怕它们永远不会被执行。

内容的提问来源于stack exchange，提问作者ge45mue