在C++的多态编程场景中，我们经常需要管理一个包含多种派生类对象的集合，同时还需要在运行时准确识别每个对象的具体类型，或者根据类型做差异化的逻辑处理。std::type_index是标准库
std::type_index基础介绍
std::type_index的构造函数可以接收std::type_info对象的引用，它本身不可默认构造，但是可以拷贝、赋值，并且支持作为无序容器的键使用。我们可以通过typeid运算符获取std::type_info，再将其包装为std::type_index来使用。
下面是一个简单的使用示例：
#include <iostream>
#include <typeindex>
#include <typeinfo>
class Base {};
class Derived1 : public Base {};
class Derived2 : public Base {};
int main() {
Base b;
Derived1 d1;
Derived2 d2;
std::type_index t1(typeid(b));
std::type_index t2(typeid(d1));
std::type_index t3(typeid(d2));
// 比较类型是否相同
std::cout << "t1 == t2: " << (t1 == t2) << std::endl; // 输出0
std::cout << "t2 == t3: " << (t2 == t3) << std::endl; // 输出0
return 0;
}
传统多态类型处理的痛点
在没有std::type_index之前，我们处理多态集合的类型识别通常有两种方式：
- 使用typeid直接比较，但是std::type_info没有公开的比较运算符，而且不能直接作为容器键，使用起来不够灵活。
- 在基类中定义虚函数返回类型标识，比如返回枚举值或者字符串，这种方式需要手动维护类型标识，容易出错，而且扩展性差。
用std::type_index处理多态集合
我们可以结合智能指针和std::type_index，构建一个能够存储不同类型对象，并且可以快速按类型查询的多态集合。下面是一个完整的实现示例：
#include <iostream>
#include <memory>
#include <vector>
#include <unordered_map>
#include <typeindex>
#include <typeinfo>
// 基类
class Animal {
public:
virtual ~Animal() = default;
virtual void speak() const = 0;
};
// 派生类1
class Cat : public Animal {
public:
void speak() const override {
std::cout << "Cat meows" << std::endl;
}
};
// 派生类2
class Dog : public Animal {
public:
void speak() const override {
std::cout << "Dog barks" << std::endl;
}
};
// 派生类3
class Bird : public Animal {
public:
void speak() const override {
std::cout << "Bird chirps" << std::endl;
}
};
int main() {
// 多态集合，存储基类指针
std::vector<std::shared_ptr<Animal>> animals;
animals.push_back(std::make_shared<Cat>());
animals.push_back(std::make_shared<Dog>());
animals.push_back(std::make_shared<Bird>());
animals.push_back(std::make_shared<Cat>()); // 再添加一个Cat
// 按类型分组存储
std::unordered_map<std::type_index, std::vector<std::shared_ptr<Animal>>> animalGroups;
for (auto& animal : animals) {
std::type_index typeIdx(typeid(*animal));
animalGroups[typeIdx].push_back(animal);
}
// 遍历分组结果
for (auto& pair : animalGroups) {
if (pair.first == std::type_index(typeid(Cat))) {
std::cout << "Cat count: " << pair.second.size() << std::endl;
for (auto& cat : pair.second) {
cat->speak();
}
} else if (pair.first == std::type_index(typeid(Dog))) {
std::cout << "Dog count: " << pair.second.size() << std::endl;
for (auto& dog : pair.second) {
dog->speak();
}
} else if (pair.first == std::type_index(typeid(Bird))) {
std::cout << "Bird count: " << pair.second.size() << std::endl;
for (auto& bird : pair.second) {
bird->speak();
}
}
}
return 0;
}
代码解析
上面的示例中，我们首先定义了基类Animal和两个派生类，然后创建了一个存储基类智能指针的vector作为多态集合。接着我们遍历这个集合，用typeid(*animal)获取每个对象的实际类型对应的std::type_info，再包装为std::type_index作为键，把同类型的对象放到同一个vector中，实现了按类型分组的功能。
这里需要注意，typeid(*animal)会触发多态解析，返回的是对象实际类型的type_info，而不是基类Animal的type_info，这是多态场景下正确获取类型的关键。
std::type_index的注意事项
- std::type_index依赖于RTTI（运行时类型识别），如果编译器关闭了RTTI支持，那么typeid和std::type_index都无法正常使用。
- 不要对空指针使用typeid，否则会抛出std::bad_typeid异常，上面的示例中我们使用的是智能指针，并且确保指针不为空，所以没有问题。
- std::type_index的哈希和比较操作是基于底层的std::type_info实现的，不同编译单元中同一个类型的std::type_index是否相等，标准没有明确保证，不过主流编译器都支持跨编译单元的一致性。
适用场景总结
std::type_index非常适合以下场景：
- 需要在容器中按类型存储和查询对象的多态集合场景。
- 需要缓存类型信息，避免重复调用typeid的场景。
- 需要类型安全的类型标识，替代手动维护的枚举或字符串标识的场景。
通过合理使用std::type_index，我们可以让C++的多态类型处理更加安全、简洁，减少手动维护类型标识带来的错误风险。
std::type_indexC++多态集合运行时类型信息类型存储修改时间：2026-07-08 18:06:33