如何将C++类型名转为字面字符串用于static_assert错误报告？

针对你想要在static_assert的错误报告中显示C++类型名字面字符串的需求，我们可以结合宏字符串化和编译器内置特性来实现，下面分不同场景给出实用解决方案：

1. 基础需求：显示传入的类型参数文本 #

如果你只需要在错误提示中显示你传入TYPE_EQ的类型参数文本（比如Fn1::Domain这类typedef别名），可以直接用C预处理器的**字符串化运算符#**来实现，修改你的宏如下：

#include <type_traits>
#include <iostream>

// 辅助宏：实现字符串化
#define STRINGIFY(x) #x
#define TYPE_NAME(x) STRINGIFY(x)

// 改进后的TYPE_EQ宏，添加自定义错误提示
#define TYPE_EQ(t1, t2) \
    static_assert(std::is_same<t1, t2>::value, \
        "Type mismatch: " TYPE_NAME(t1) " != " TYPE_NAME(t2))

// 你的测试类
class Fn1 {
public:
    int operator()(const char s) {
        return s == 'a' ? 0 : 1;
    }
    typedef char Domain;
    typedef int Codomain;
};

class Fn2 {
public:
    char operator()(const bool s) {
        return s ? 'a' : 'b';
    }
    typedef bool Domain;
    typedef char Codomain;
};

// 测试：故意触发错误验证提示效果
TYPE_EQ(Fn1::Domain, Fn2::Domain);

编译时会得到清晰的错误提示（以GCC为例）：

error: static assertion failed: Type mismatch: Fn1::Domain != Fn2::Domain

这种方式简单直接，但缺点是只能显示你写的类型参数文本，无法展开typedef对应的实际底层类型（比如不会显示char vs bool）。

2. 进阶需求：显示实际的底层类型名 #

如果想要在错误提示中显示类型的真实底层名称（比如char、bool），可以利用编译器内置的函数签名宏（GCC/Clang的__PRETTY_FUNCTION__、MSVC的__FUNCSIG__）结合模板实现编译时类型名提取：

#include <type_traits>
#include <iostream>

// 编译时获取类型名的模板
template<typename T>
struct TypeName {
    static constexpr const char* get() {
        #ifdef __GNUC__ // 适配GCC/Clang
            return __PRETTY_FUNCTION__;
        #elif defined(_MSC_VER) // 适配MSVC
            return __FUNCSIG__;
        #else
            return "unknown type";
        #endif
    }
};

// 同时显示参数别名和实际类型的TYPE_EQ宏
#define TYPE_EQ(t1, t2) \
    static_assert(std::is_same<t1, t2>::value, \
        "Type mismatch: " #t1 " != " #t2 "\n" \
        "Actual underlying types: " TypeName<t1>::get() " vs " TypeName<t2>::get())

// 你的测试类（同上）
class Fn1 {
public:
    int operator()(const char s) {
        return s == 'a' ? 0 : 1;
    }
    typedef char Domain;
    typedef int Codomain;
};

class Fn2 {
public:
    char operator()(const bool s) {
        return s ? 'a' : 'b';
    }
    typedef bool Domain;
    typedef char Codomain;
};

// 测试：故意触发错误
TYPE_EQ(Fn1::Domain, Fn2::Domain);

编译时会得到更详细的错误提示（GCC为例）：

error: static assertion failed: Type mismatch: Fn1::Domain != Fn2::Domain
Actual underlying types: const char* TypeName::get() [with T = char] vs const char* TypeName::get() [with T = bool]

虽然返回的字符串包含模板函数签名，但能清晰看到实际的底层类型。

3. C++20及以上的优化方案 #

在C++20中，你可以用consteval来处理函数签名字符串，只保留核心类型名，让错误提示更简洁：

#include <type_traits>
#include <string_view>

// 编译时裁剪函数签名，提取核心类型名（适配GCC/Clang）
consteval const char* strip_type_name(const char* func_sig) {
    std::string_view sig(func_sig);
    auto start = sig.find("T = ") + 3;
    auto end = sig.find(']', start);
    return sig.substr(start, end - start).data();
}

template<typename T>
struct TypeName {
    static constexpr const char* get() {
        #ifdef __GNUC__
            return strip_type_name(__PRETTY_FUNCTION__);
        #elif defined(_MSC_VER)
            // MSVC的__FUNCSIG__格式不同，可自行调整裁剪逻辑
            return __FUNCSIG__;
        #else
            return "unknown type";
        #endif
    }
};

// 更简洁的错误提示宏
#define TYPE_EQ(t1, t2) \
    static_assert(std::is_same<t1, t2>::value, \
        "Type mismatch: " #t1 " (" TypeName<t1>::get() ") != " #t2 " (" TypeName<t2>::get() ")")

此时错误提示会非常直观：

error: static assertion failed: Type mismatch: Fn1::Domain (char) != Fn2::Domain (bool)

需要注意的是，__PRETTY_FUNCTION__和__FUNCSIG__是编译器扩展，并非C标准内容，但主流编译器（GCC、Clang、MSVC）都提供支持。目前C标准没有原生的编译时类型名字符串获取方法，只能依赖这类扩展实现。

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