std::type_info::hash_code — cppreference.com

Материал из cppreference.com

`std::size_t hash_code() const noexcept;`		(начиная с C++11)

Возвращает неопределённое значение (обозначенное здесь как хэш-код), так что для всех объектов 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;

    // обратите внимание, что мы храним указатель на тип A
    std::unique_ptr<A> b(new B);
    std::unique_ptr<A> c(new C);

    std::cout << "i является " << type_names[typeid(i)] << '\n';
    std::cout << "d является " << type_names[typeid(d)] << '\n';
    std::cout << "a является " << type_names[typeid(a)] << '\n';
    std::cout << "*b является " << type_names[typeid(*b)] << '\n';
    std::cout << "*c является " << type_names[typeid(*c)] << '\n';
}

Вывод:

i является int
d является double
a является A
*b является B
*c является C

Смотрите также

Категории: