如何打印C++中#if预处理指令控制值的类型？

首先得明确核心矛盾：#if是预处理阶段执行的逻辑，而typeid是编译/运行期的特性——等编译器处理typeid时，#if里的表达式已经被求值为布尔判断结果（0或非0），原表达式的类型信息早就被丢弃了，所以直接用typeid肯定无效。

要实现需求，得把预处理表达式的逻辑同步到编译期常量中，让编译器帮我们推导它的类型，具体实现如下：

代码示例 #

#include <iostream>
#include <type_traits>
#include <cstdint>

// 跨编译器获取类型名称的工具函数
template<typename T>
constexpr const char* get_type_name() {
    // C++20标准特性（优先使用）
    #ifdef __cpp_lib_type_name
    return std::type_name<T>();
    #else
    // 旧标准下的编译器兼容方案
    #ifdef __GNUC__
    return __PRETTY_FUNCTION__;
    #elif _MSC_VER
    return __FUNCSIG__;
    #else
    return "unknown type";
    #endif
    #endif
}

int main() {
    // 把#if里的表达式原样复制到编译期常量，推导其类型
    constexpr auto expr_result = 5 * 5;
    using ExprType = decltype(expr_result);

    // 打印类型信息
    std::cout << "表达式5*5的类型是: " << get_type_name<ExprType>() << std::endl;

    // 保留原有的#if逻辑
    #if 5 * 5
    std::cout << "预处理条件成立" << std::endl;
    #endif

    return 0;
}

关键逻辑说明 #

1. 预处理与编译期的一致性：预处理阶段对整数表达式的求值规则，和编译期常量表达式的规则完全一致，所以把#if里的表达式复制到constexpr变量中，得到的类型就是预处理阶段实际使用的类型。
2. 避免重复代码：如果担心#if和constexpr里的表达式不一致，可以用宏统一定义：

   #define PRE_PROCESS_EXPR (5 * 5)
   
   constexpr auto expr_result = PRE_PROCESS_EXPR;
   #if PRE_PROCESS_EXPR
   // 预处理逻辑
   #endif
   

3. 类型名称的兼容性：C++20提供了标准的std::type_name获取类型字符串；旧标准下可以借助编译器扩展（如GCC的__PRETTY_FUNCTION__、MSVC的__FUNCSIG__）间接获取类型信息。

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