如何以模板参数类型为键定义map，实现类型到整数映射？

当然可以实现你的需求，不过不能直接用类型作为std::map的键（C++不允许直接将类型作为容器键类型），但可以通过两种常见方式达成目标：

方案一：运行时映射（基于std::type_index） #

利用std::type_index包装std::type_info，它可以作为哈希表或有序map的键类型，实现运行时的类型到整数的映射。

步骤1：定义并初始化映射 #

#include <typeindex>
#include <unordered_map>
#include <vector>

// 全局或静态作用域的类型映射表
std::unordered_map<std::type_index, int> type_idx_map = {
    {std::type_index(typeid(int)), 1},
    {std::type_index(typeid(double)), 2},
    {std::type_index(typeid(std::string)), 3}
    // 按需添加更多类型映射
};

步骤2：在模板函数中使用 #

void foo2(int idx, int size) {
    // 你的foo2实现
}

template<typename T>
void foo(std::vector<T>& v) {
    auto iter = type_idx_map.find(std::type_index(typeid(T)));
    if (iter == type_idx_map.end()) {
        myprintf("Not implemented for type...");
        return;
    }
    int type_idx = iter->second;
    const int n = v.size();
    foo2(type_idx, n);
}

注意事项 #

• typeid会忽略顶层const/volatile修饰符，比如typeid(const int)和typeid(int)返回的是同一个std::type_info实例；如果需要区分const T和T，可以结合std::decay_t或手动处理类型修饰。
• 这种方式是运行时查找，存在微小的性能开销，但胜在可以动态修改映射表（比如运行时添加新类型）。

方案二：编译期映射（模板特化） #

如果不需要动态修改映射，更推荐用模板特化实现编译期的类型到整数的映射，完全没有运行时开销，还能在编译阶段检测未注册的类型。

步骤1：定义模板函数并特化 #

#include <type_traits>
#include <vector>

// 基础模板，未注册类型会触发编译错误
template<typename T>
constexpr int get_type_idx() {
    static_assert(!std::is_same_v<T, T>, "Type is not registered in get_type_idx");
    return -1;
}

// 特化注册需要的类型
template<>
constexpr int get_type_idx<int>() { return 1; }

template<>
constexpr int get_type_idx<double>() { return 2; }

template<>
constexpr int get_type_idx<std::string>() { return 3; }

步骤2：在模板函数中使用 #

void foo2(int idx, int size) {
    // 你的foo2实现
}

template<typename T>
void foo(std::vector<T>& v) {
    constexpr int type_idx = get_type_idx<T>();
    const int n = v.size();
    foo2(type_idx, n);
}

优势 #

• 编译期确定索引值，无运行时查找开销。
• 未注册的类型会直接触发编译错误，提前发现问题，比运行时报错更安全。

内容的提问来源于stack exchange，提问作者sancho.s ReinstateMonicaCellio