C++类型能否根据是否处于constexpr上下文采用不同定义？

你的需求可以实现，核心思路是将模板特化的差异封装到统一对外的非模板类内部，在成员函数的constexpr分支中完成调度，避开将std::is_constant_evaluated()作为模板参数的错误用法。

原简化写法失效的原因 #

std::is_constant_evaluated()的返回值是常量求值过程中的动态状态，不是编译期模板推导阶段的静态值。当它作为模板实参使用时，会被强制当做编译期常量处理，直接返回true，和实际调用上下文无关，因此不能直接用于模板参数推导。

完整实现方案 #

#include <cstdio>
#include <type_traits>
#include <variant>

// 内部实现特化，可分别定义不同的成员和逻辑
template <bool IS_CONSTANT_EVAL>
struct BarImpl;

template <>
struct BarImpl<false> {
    // 运行时专属成员，可使用memcpy、reinterpret_cast等不兼容constexpr的操作
    int runtime_only_field;
    constexpr int doIt() const {
        return 0;
    }
    // 可自由添加运行时专属的其他成员和方法
};

template <>
struct BarImpl<true> {
    // 常量求值专属成员，使用constexpr兼容的实现替代运行时操作
    int constexpr_extra_field;
    constexpr int doIt() const {
        return 1;
    }
    // 可自由添加常量求值专属的其他成员和方法
};

// 对外统一的非模板Bar类
class Bar {
private:
    std::variant<BarImpl<false>, BarImpl<true>> m_impl;
public:
    constexpr Bar() {
        if (std::is_constant_evaluated()) {
            m_impl.emplace<BarImpl<true>>();
        } else {
            m_impl.emplace<BarImpl<false>>();
        }
    }

    constexpr int doIt() const {
        if (std::is_constant_evaluated()) {
            return std::get<BarImpl<true>>(m_impl).doIt();
        } else {
            return std::get<BarImpl<false>>(m_impl).doIt();
        }
    }

    // 其他对外接口都按照相同模式实现调度即可
};

// 最终你想要的简化用法
constexpr int foo() {
    Bar v;
    return v.doIt();
}

int main() {
    int rt = foo();
    constexpr int ce = foo();

    printf("Runtime: %d ConstEval: %d \n", rt, ce);
    // 输出和原示例完全一致：Runtime: 0 ConstEval: 1
}

方案说明 #

• 对外完全隐藏了实现差异，使用时只需要声明Bar类即可，不需要重复写std::is_constant_evaluated分支
• 两个BarImpl特化可以完全独立定义，支持添加不同的成员变量、不同的实现逻辑，满足你需要不同结构的需求
• 由于Bar对象的构造上下文和后续调用上下文的常量求值状态完全一致，因此std::get的访问是完全安全的，不会出现访问错误
• 编译器会自动消除不可达分支，不会产生额外的运行时开销
• 如果需要兼容C++17之前的版本，可以用匿名union加手动构造的方式替代std::variant，核心调度逻辑保持一致即可

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