std::type_info::hash_code
Материал из cppreference.com
<tbody>
</tbody>
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
Смотрите также
(удалено в C++20) |
проверяет, относятся ли объекты к одному типу (public функция-элемент) |
| определённое реализацией имя типа (public функция-элемент) |