std::type_info::hash_code

std::size_t hash_code() const noexcept;

(since C++11)

Возвращает неопределенное значение (здесь обозначенное как код хэша) такое, что для всех std::type_info объектов, ссылающихся на один и тот же тип, их код хэша одинаковый.

Другие гарантии не даются: std::type_info объекты, ссылающиеся на разные типы, могут иметь одинаковый код хэша (хотя стандарт рекомендует реализациям избегать этого по возможности), и код хэша для одного и того же типа может меняться между вызовами одной и той же программы.

Параметры

(нет)

Возвращаемое значение

Значение, идентичное для всех std::type_info объектов, ссылающихся на один и тот же тип.

Пример

Следующая программа — пример эффективного сопоставления тип-значение без использования std::type_index.

#include <iostream>
#include <typeinfo>
#include <unordered_map>
#include <string>
#include <functional>
#include <memory>
 
struct A {
    virtual ~A() {}
};
 
struct B : A {};
struct C : A {};
 
using TypeInfoRef = std::reference_wrapper<const std::type_info>;
 
struct Hasher {
    std::size_t operator()(TypeInfoRef code) const
    {
        return code.get().hash_code();
    }
};
 
struct EqualTo {
    bool operator()(TypeInfoRef lhs, TypeInfoRef rhs) const
    {
        return lhs.get() == rhs.get();
    }
};
 
int main()
{
    std::unordered_map<TypeInfoRef, std::string, Hasher, EqualTo> type_names;
 
    type_names[typeid(int)] = "int";
    type_names[typeid(double)] = "double";
    type_names[typeid(A)] = "A";
    type_names[typeid(B)] = "B";
    type_names[typeid(C)] = "C";
 
    int i;
    double d;
    A a;
 
    // note that we're storing pointer to type A
    std::unique_ptr<A> b(new B);
    std::unique_ptr<A> c(new C);
 
    std::cout << "i is " << type_names[typeid(i)] << '\n';
    std::cout << "d is " << type_names[typeid(d)] << '\n';
    std::cout << "a is " << type_names[typeid(a)] << '\n';
    std::cout << "*b is " << type_names[typeid(*b)] << '\n';
    std::cout << "*c is " << type_names[typeid(*c)] << '\n';
}

Вывод:

i is int
d is double
a is A
*b is B
*c is C

См. также

operator==operator!= (удалено в C++20)	проверяет, ссылаются ли объекты на один и тот же тип (публичный член-функция)
name	определённое реализацией имя типа (публичный член-функция)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/types/type_info/hash_code