如何基于constexpr条件初始化常量变量？

原代码无法编译的核心问题有两个：一是const类型变量必须在声明时完成初始化，不能先声明再赋值；二是即便用if constexpr，直接赋值的写法也不符合const变量的语法规则。以下是几种符合要求的实现方式：

方式一：编译期三目运算符（最简写法） #

如果cond是编译期常量，且value1、value2可在编译期求值，直接用三目运算符完成初始化即可。未被选中的分支表达式会在编译期被丢弃，不会触发无效值的问题：

const int x = cond ? value1 : value2;

方式二：constexpr函数封装（复杂逻辑适用） #

如果初始化逻辑较复杂，三目运算符可读性差，可以把逻辑封装到constexpr函数中，编译期会直接计算出返回值：

constexpr int get_x() {
    if constexpr(cond) {
        return value1;
    } else {
        return value2;
    }
}

const int x = get_x();

方式三：立即执行lambda（紧凑写法） #

用C++11的立即执行lambda表达式，实现和方式二相同的效果，写法更紧凑，适合临时初始化逻辑：

const int x = []{
    if constexpr(cond) {
        return value1;
    } else {
        return value2;
    }
}();

核心要点 #

• 所有方式都严格遵循const变量的初始化规则，保证变量在声明时就完成赋值；
• 借助编译期特性（constexpr或三目运算符的编译期求值），未满足条件的分支代码会在编译阶段被完全剔除，不会对无效的value1或value2进行求值，避免了潜在的编译错误。

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