如何在设计时编译阶段输出模板参数T的标识信息？

问题背景 #

在处理涉及数百种类型的内部编译错误时，需要在编译阶段输出模板参数T的标识信息（类型名、哈希、大小均可）。尝试直接使用#pragma message(T)无效，MSVC下的X宏方案也未生效，同时发现#pragma指令会重复输出信息，希望找到可行的实现方法。

解决方案 #

MSVC 专属实现 #

MSVC提供了专门的内置宏和扩展指令，可以直接获取并输出模板参数的类型信息：

1. 使用__TYPE_NAME(T)宏获取类型名

template <typename T>
void abc(T v) {
    // 输出模板参数的类型名
    __pragma(message("Instantiating abc with type: " __TYPE_NAME(T)))
}

实例化abc<int>(1)时，编译日志会输出：Instantiating abc with type: int

2. 使用__FUNCSIG__输出完整函数签名（包含类型信息）

template <typename T>
void abc(T v) {
    // 输出包含模板参数的函数签名
    __pragma(message(__FUNCSIG__))
}

实例化后会输出类似：void __cdecl abc<int>(int)的信息，从中可直接读取int类型。

GCC/Clang 专属实现 #

GCC和Clang可以通过__PRETTY_FUNCTION__内置变量结合#pragma message实现：

template <typename T>
void abc(T v) {
    // 输出包含模板参数的函数签名，其中包含类型信息
    #pragma message("Instantiating abc: " __PRETTY_FUNCTION__)
}

实例化abc<int>(1)时，编译日志会输出类似：Instantiating abc: void abc(T) [with T = int]的内容。

通用调试方案（基于静态断言） #

如果需要跨编译器的调试方案，可以利用静态断言的错误信息间接输出类型标识（注意：此方法会触发编译错误，仅适用于调试阶段）：

template <typename U>
struct PrintTypeMarker {};

template <typename T>
void abc(T v) {
    // 静态断言失败时，编译器会打印PrintTypeMarker<T>的完整类型
    static_assert(sizeof(PrintTypeMarker<T>) == 0, "Template parameter info: ");
}

编译时会输出类似错误：error: static assertion failed: Template parameter info:，同时附带PrintTypeMarker<int>的类型信息，从而识别出T为int。

处理重复输出的注意事项 #

• 模板在不同编译单元（TU）中实例化时，每个TU都会触发一次输出，这是编译器的正常行为。若要减少重复，可以将模板声明为inline或放在头文件中使用包含保护。
• 部分编译器会在模板实例化的多个阶段输出信息，若只需一次输出，可以结合constexpr静态变量触发单次编译信息：

template <typename T>
constexpr bool print_once = [](){
    #ifdef _MSC_VER
        __pragma(message("Single output for type: " __TYPE_NAME(T)))
    #else
        #pragma message("Single output for type: " __PRETTY_FUNCTION__)
    #endif
    return true;
}();

template <typename T>
void abc(T v) {
    [[maybe_unused]] constexpr bool trigger = print_once<T>;
}

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