如何在static_assert语句中输出对象的类型信息？

你之前尝试的方法行不通，核心原因是：typeid(T).name()是运行时才能获取的类型信息，而std::string的拼接操作以及c_str()返回的指针，无法作为编译期常量传递给static_assert——后者要求错误信息必须是编译期确定的const char*常量。

下面是几种可行的解决思路：

方案1：利用编译器自动打印模板参数特性 #

主流编译器（GCC、Clang、MSVC）在static_assert断言失败时，会自动输出模板参数T的具体类型，不需要手动拼接字符串。你可以简化断言语句：

static_assert(std::is_same_v<T, DataId<float>>, "当前T类型不符合要求，必须为DataId<float>");

当断言触发时，编译器的报错信息会类似：

error: static assertion failed: 当前T类型不符合要求，必须为DataId
note: 'std::is_same_v<DataId, DataId>' evaluates to false

从note里就能直接看到实际的T类型是DataId<int>。

方案2：编译期提取类型名称（依赖编译器扩展 + C++20） #

如果需要把类型直接嵌入错误信息字符串，可以借助GCC/Clang提供的__PRETTY_FUNCTION__扩展（编译期就能获取模板参数信息），结合C++20的constexpr字符串处理能力：

先定义提取类型名称的模板和拼接工具：

#include <string_view>
#include <algorithm>

template<typename T>
struct TypeName {
    static constexpr std::string_view get() {
        constexpr std::string_view func_str = __PRETTY_FUNCTION__;
        // 截取__PRETTY_FUNCTION__中T的类型部分（不同编译器格式可能略有差异）
        constexpr auto start_pos = func_str.find("T = ") + 4;
        constexpr auto end_pos = func_str.find(">]", start_pos);
        return func_str.substr(start_pos, end_pos - start_pos);
    }
};

// 实现constexpr字符串拼接（C++20及以上支持）
constexpr std::string_view operator+(std::string_view lhs, std::string_view rhs) {
    char* buf = new char[lhs.size() + rhs.size()];
    std::copy(lhs.begin(), lhs.end(), buf);
    std::copy(rhs.begin(), rhs.end(), buf + lhs.size());
    return {buf, lhs.size() + rhs.size()};
}

然后在断言中使用：

static_assert(std::is_same_v<T, DataId<float>>, 
              ("T必须是DataId<float>，实际为: " + TypeName<T>::get()).data());

注意：这个方法依赖编译器的__PRETTY_FUNCTION__输出格式，不同编译器可能需要调整截取逻辑，且必须使用C++20或更高版本。

方案3：手动特化类型名称（兼容旧标准） #

如果项目需要兼容C++17及更早版本，可以手动为所有可能的T类型特化类型名称模板，兼容性拉满：

template<typename T>
struct TypeName {
    static constexpr const char* value = "未知类型";
};

// 为所有可能的T类型手动特化
template<>
struct TypeName<DataId<float>> {
    static constexpr const char* value = "DataId<float>";
};

template<>
struct TypeName<DataId<int>> {
    static constexpr const char* value = "DataId<int>";
};

template<>
struct TypeName<DataId<double>> {
    static constexpr const char* value = "DataId<double>";
};

template<>
struct TypeName<DataId<std::string>> {
    static constexpr const char* value = "DataId<std::string>";
};

之后在断言中直接使用：

static_assert(std::is_same_v<T, DataId<float>>, 
              "T必须是DataId<float>，实际为: " TypeName<T>::value);

这种方法需要手动维护特化模板，但不需要依赖任何编译器扩展或高版本C++特性。

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