能否利用type_traits在编译期判断变量是否为数值字面量？

首先需要明确：C++中数值字面量没有独特的类型标识——比如10的类型就是int，和constexpr int Val = 5的类型完全一致，因此无法像字符串字面量那样仅通过type_traits基于类型区分。但可以通过判断表达式是否为编译期常量表达式来实现你想要的效果，因为数值字面量和constexpr变量属于编译期常量，而运行时变量不属于。

实现方案 #

方法1：利用C++20 std::is_constant_evaluated()

这个函数能判断当前是否处于编译期求值上下文，结合算术类型判断，可以实现需求：

#include <type_traits>

template<typename T>
constexpr bool is_numeric_literal(const T& val) {
    // 先过滤非数值类型
    if constexpr (std::is_arithmetic_v<T>) {
        // 编译期上下文返回true，运行时返回false
        return std::is_constant_evaluated();
    }
    return false;
}

// 测试用例
constexpr int Val = 5;
int value = 10;

int main() {
    // 编译期断言：字面量和constexpr变量返回true
    static_assert(is_numeric_literal(10) == true);
    static_assert(is_numeric_literal(Val) == true);
    
    // 运行时判断：普通变量返回false
    bool runtime_result = is_numeric_literal(value); // runtime_result = false
}

方法2：利用非类型模板参数特性

只有编译期常量能作为非类型模板参数，因此可以通过重载函数来区分：

#include <type_traits>

// 匹配运行时变量（仅能在运行时调用）
template<typename T>
constexpr bool is_numeric_literal(const T&) {
    static_assert(std::is_arithmetic_v<T>, "Only numeric types are supported");
    return false;
}

// 匹配编译期常量（字面量、constexpr变量）
template<std::integral T>
constexpr bool is_numeric_literal(T) {
    return true;
}

template<std::floating_point T>
constexpr bool is_numeric_literal(T) {
    return true;
}

// 测试用例
constexpr int Val = 5;
int value = 10;

int main() {
    static_assert(is_numeric_literal(10) == true);
    static_assert(is_numeric_literal(Val) == true);
    
    bool runtime_result = is_numeric_literal(value); // runtime_result = false
}

关键说明 #

• 你之前尝试type_traits失败的原因：type_traits仅能判断类型信息，而数值字面量、constexpr变量、普通const变量的类型完全相同（比如都是int），无法通过类型区分。
• 关于字符串字面量判断：字符串字面量的类型是const char[N]（数组类型），和std::string（类类型）有本质区别，因此可以通过类型特性直接区分；但数值类型没有这样的独特类型标识，必须结合编译期求值上下文判断。
• 注意：如果尝试用is_numeric_literal_v<value>这种模板非类型参数的形式，会直接编译错误——因为运行时变量无法作为非类型模板参数，C++标准要求非类型模板参数必须是编译期常量表达式。

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