如何让typeid(T).name()返回类型别名而非原类型名？

这个问题确实戳中了typeid的一个局限——它只能识别底层的原始类型，完全无视你定义的类型别名，毕竟别名只是编译期的语法糖，运行时根本不存在对应的实体。不过我们有几种实用的方法来实现你想要的效果：

方法一：手动为别名注册类型名称（基础版） #

我们可以自定义一个类型特征（type trait），通过模板特化来为每个别名绑定对应的名称。默认情况下，这个特征会回退到typeid的行为，而针对你关心的别名，我们专门提供特化版本返回别名的字符串。

示例代码：

#include <iostream>
#include <typeinfo>

// 基础类型特征模板，默认返回原类型名
template<typename T>
struct type_name_trait {
    static const char* name() {
        return typeid(T).name();
    }
};

// 模拟你的深层嵌套类型
namespace std::smth::smth_else {
    struct smth_more {};
}

// 定义你的类型别名
using shortTypeName = std::smth::smth_else::smth_more;

// 为别名特化类型特征，返回别名名称
template<>
struct type_name_trait<shortTypeName> {
    static const char* name() {
        return "shortTypeName";
    }
};

// 修改原模板函数，使用自定义类型特征
template <typename T>
void foo() {
    const char* name = type_name_trait<T>::name();
    std::cout << name << std::endl;
}

int main() {
    foo<shortTypeName>(); // 输出：shortTypeName
    foo<std::smth::smth_else::smth_more>(); // 输出编译器生成的原类型名（如GCC下的 mangled 名称）
    return 0;
}

这个方法简单直观，但缺点是每个别名都需要手动写一次特化，适合别名数量不多的场景。

方法二：用宏自动生成注册代码（高效版） #

如果你的别名比较多，手动写特化会很繁琐，我们可以用宏来简化流程——让宏同时完成别名定义和类型特征特化的工作，避免重复代码：

#include <iostream>
#include <typeinfo>

template<typename T>
struct type_name_trait {
    static const char* name() {
        return typeid(T).name();
    }
};

// 定义宏：同时创建类型别名和对应的类型特征特化
#define DEFINE_TYPE_ALIAS(ALIAS_NAME, ORIGINAL_TYPE) \
using ALIAS_NAME = ORIGINAL_TYPE; \
template<> \
struct type_name_trait<ALIAS_NAME> { \
    static const char* name() { \
        return #ALIAS_NAME; \
    } \
};

// 模拟深层嵌套类型
namespace std::smth::smth_else {
    struct smth_more {};
}

// 使用宏快速定义别名并注册名称
DEFINE_TYPE_ALIAS(shortTypeName, std::smth::smth_else::smth_more)

template <typename T>
void foo() {
    const char* name = type_name_trait<T>::name();
    std::cout << name << std::endl;
}

int main() {
    foo<shortTypeName>(); // 输出：shortTypeName
    return 0;
}

这里的#ALIAS_NAME是预处理器的字符串化操作，它会把宏参数直接转换成对应的字符串，完美解决了手动写字符串容易出错的问题。

额外说明 #

如果你需要让原类型的typeid名称更可读（比如GCC默认返回的是 mangled 名称），可以使用编译器特定的 demangle 函数，比如GCC的abi::__cxa_demangle，但这部分是可选的，核心需求还是通过类型特征绑定别名名称。

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