std::type_index

最新推荐文章于 2025-08-30 14:15:44 发布

原创最新推荐文章于 2025-08-30 14:15:44 发布 · 3.9k 阅读

7 ·

CC 4.0 BY-SA版权

就你不知道专栏收录该内容

34 篇文章

订阅专栏

本文探讨了C++中typeid运算符的局限性及其解决方案——std::type_index类的使用。通过对比，展示了如何利用type_index简化类型信息的管理和比较，以及在容器中存储类型信息的实践。

typeid运算符，返回类型信息const std::type_info&。这种类型是不能赋值的。例如：

const std::typeinfo& a = typeid(int);  //初始化可以
a = typeid(double);  //再赋值就是错误

为了解决这个问题，C++引入了std::type_index类。这个类可以理解为封装了一个指向typeinfo的指针。理论上，std::type_index是值语义的。例如：

std::type_index a = typeid(int);  //实际是调用构造函数 std::type_index(typeid(int));
std::type_index b = a;
assert(a==b); //a,b都指向同一个type_info
b=typeid(double);   //重新赋值
assert(a!=b);  //a,b不再相同，a不受影响，仍指向int的type_info
std::cout <<a.name();   //实际调用的是底层type_info::name()函数

这样就可以把type_index对象当做普通值（像int，std::string）一样放到容器里，或者放到类中当做普通数据成员。

例子：不使用type_index

class SomeThing{};

int main(){

    auto comp = [](const std::type_info* x, const std::type_info* y) -> bool {
         return x->before(*y);
    };
    
    std::map< const std::type_info*, SomeThing,  decltype(comp)>   data(comp);
    
    data[&typeid(int)] = SomeThing();
    data[&typeid(double)] = SomeThing();
}

例子：使用type_index, 代码清洁了很多

class SomeThing{};

int main(){
    
    std::map< std::type_index, SomeThing>   data;
    
    data[typeid(int)] = SomeThing();
    data[typeid(double)] = SomeThing();
}