如何实现可用于static_assert的C++局部表达式常量检测构造

核心实现代码 #

#include <type_traits>

namespace detail {
    // 当表达式是常量表达式时，匹配此重载（int参数可在常量上下文推导）
    template<typename T>
    constexpr auto is_constexpr_impl(T&& t, int) -> std::true_type {
        return {};
    }

    // 表达式非常量表达式时，匹配此可变参数重载
    template<typename T>
    auto is_constexpr_impl(T&& t, ...) -> std::false_type {
        return {};
    }
}

// 封装成宏，直接获取类型判断结果
#define is_constexpr(expr) decltype(detail::is_constexpr_impl(expr, 0))

使用示例 #

int main() {
    constexpr int i = 42;
    static_assert(is_constexpr(i)::value, "i 应为常量表达式"); // 编译通过

    int j = 42;
    static_assert(!is_constexpr(j)::value, "j 不应为常量表达式"); // 编译通过
}

原理说明 #

这个方案利用了C++的重载解析规则：

• 当传入的expr是常量表达式时，detail::is_constexpr_impl(expr, 0)会优先匹配第一个重载（第二个参数是int类型的常量值0，可在常量表达式上下文完成推导），返回std::true_type。
• 当expr不是常量表达式时，无法在常量上下文完成第一个重载的参数推导，编译器会 fallback 到第二个可变参数重载，返回std::false_type。

对传统SFINAE方案失效的解释 #

传统SFINAE方案尝试直接在模板参数或decltype中使用表达式，但局部非常量变量无法在常量表达式上下文中求值，会触发硬编译错误而非SFINAE的软错误，导致方案失效。本方案通过将表达式放在函数参数位置，把常量表达式的判断转化为重载匹配问题，避免了硬错误的触发。

注意事项 #

• 兼容C++11及以上标准；
• 对于constexpr函数，若调用时未满足常量表达式要求（比如传入了非常量参数），is_constexpr会返回std::false_type；
• 类成员变量、函数表达式等场景同样适用。

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