C++20中是否存在std::is_constant_evaluated()的constexpr替代方案？

你遇到的核心问题是：std::is_constant_evaluated()的结果无法作为if constexpr的编译期常量条件（除非在常量求值上下文内），而普通if无法让函数推导不同的返回类型。要解决这个问题，我们可以通过模板函数的编译期实例化来区分路径，让每个路径对应明确的返回类型。

实现方式 #

通过一个模板实现函数逻辑，再用包装函数根据std::is_constant_evaluated()的结果选择实例化对应的模板版本：

#include <type_traits>

// 假设这是你需要的两种类型
struct Type {};
struct OtherType {};

// 模板实现：根据模板参数区分编译期/运行时路径
template<bool IsConstexpr>
constexpr auto MyFuncImpl() {
    if constexpr (IsConstexpr) {
        return OtherType(); // 编译期执行路径
    } else {
        return Type();      // 运行时执行路径
    }
}

// 包装函数：自动推导模板参数
constexpr auto MyFunc() {
    return MyFuncImpl<std::is_constant_evaluated()>();
}

// 使用示例
constexpr auto compile_time_val = MyFunc(); // 类型为OtherType
auto runtime_val = MyFunc();               // 类型为Type

原理说明 #

• std::is_constant_evaluated()在常量求值上下文中会被视为编译期常量，因此MyFuncImpl<std::is_constant_evaluated()>()会实例化MyFuncImpl<true>，返回OtherType。
• 在运行时调用时，std::is_constant_evaluated()的值为false，会实例化MyFuncImpl<false>，返回Type。
• 模板函数的每个实例都有明确的返回类型，因此编译器可以正常推导返回值，不会出现类型不匹配的问题。

替代方案：标签分发（Tag Dispatch） #

如果你更倾向于显式的标签控制，可以用标签分发的方式实现，灵活性更高：

struct ConstexprTag {};
struct RuntimeTag {};

constexpr auto MyFuncImpl(ConstexprTag) {
    return OtherType();
}

auto MyFuncImpl(RuntimeTag) {
    return Type();
}

constexpr auto MyFunc() {
    if (std::is_constant_evaluated()) {
        return MyFuncImpl(ConstexprTag{});
    } else {
        return MyFuncImpl(RuntimeTag{});
    }
}

这种方式同样能让编译器根据调用上下文推导正确的返回类型，因为每个标签对应的重载函数返回类型明确。

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