运行时类型识别
|---|---|
| 定义于头文件 <typeinfo>
||
含有某个类型的信息,由实现生成。这是 typeid 运算符所返回的类。
std::type_info
|---------------------|---|---|
| 定义于头文件 <typeinfo>
| | |
| class type_info; |
类 type_info
保有一个类型的实现指定信息,包括类型的名称和比较二个类型相等的方法或相对顺序。这是 typeid 运算符所返回的类。
type_info
既非可复制构造 (CopyConstructible) 亦非可复制赋值 (CopyAssignable) 。
成员函数
|----------------------------------|-------------------------------------------------------------|
| (构造函数) [被删除] | 无默认或复制构造函数 (公开成员函数) |
| (析构函数) [虚] | 通过指向基类的指针删除导出对象是安全的 (虚公开成员函数) |
| operator= [被删除] | 不能复制赋值 (公开成员函数) |
| operator==operator!= (C++20 中移除) | 检查对象是否指代相同类型 (公开成员函数) |
| before | 检查在实现定义的顺序中,被指代类型是否在另一个 type_info
对象之前,即对被指代类型排序 (公开成员函数) |
| hash_code (C++11) | 返回对于同一类型相同的值 (公开成员函数) |
| name | 类型的实现定义名称 (公开成员函数) |
析构函数
std::type_info::~type_info
|------------------------|
| virtual ~type_info(); |
析构 std::type_info 类型的对象。此析构函数为公开虚函数,允许通过指向基类的指针安全地删除从 std::type_info 导出的类的对象。
检查对象是否指代相同类型
std::type_info::operator==,
std::type_info::operator!=
|----------------------------------------------------------|---|---------------------|
| bool operator==( const type_info& rhs ) const; | | (C++11 前) |
| bool operator==( const type_info& rhs ) const noexcept; | | (C++11 起) |
| bool operator!=( const type_info& rhs ) const; | | (C++11 前) |
| bool operator!=( const type_info& rhs ) const noexcept; | | (C++11 起) (C++20 前) |
检查对象是否指代相同类型。
参数
|-----|---|---------------|
| rhs | - | 要比较的另一个类型信息对象 |
返回值
若比较关系成立则为 true ,否则为 false
调用示例
#include <iostream>
#include <typeinfo>
#include <string>
#include <utility>
class person
{
public:
person(std::string&& n) : _name(n) {}
virtual const std::string& name() const
{
return _name;
}
private:
std::string _name;
};
class employee : public person
{
public:
employee(std::string&& n, std::string&& p) :
person(std::move(n)), _profession(std::move(p)) {}
const std::string& profession() const
{
return _profession;
}
private:
std::string _profession;
};
void somefunc(const person& p)
{
if (typeid(employee) == typeid(p))
{
std::cout << p.name() << " is an employee ";
auto& emp = dynamic_cast<const employee&>(p);
std::cout << "who works in " << emp.profession() << std::endl;
}
}
int main()
{
employee paul("Paul", "Economics");
somefunc(paul);
return 0;
}
输出
检查在实现定义的顺序中,被指代类型是否在另一个 type_info 对象之前,即对被指代类型排序
std::type_info::before
|------------------------------------------------------|---|-----------|
| bool before( const type_info& rhs ) const; | | (C++11 前) |
| bool before( const type_info& rhs ) const noexcept; | | (C++11 起) |
若此 type_info 的类型在实现的对照顺序中列于 rhs
的类型之前则返回 true 。不给出保证,特别是对照顺序可以在同一程序的调用之间改变。
参数
|-----|---|---------------|
| rhs | - | 要比较的另一个类型信息对象 |
返回值
若此 type_info 的类型在实现的对照顺序中列于 rhs 的类型之前则为 true 。
调用示例
#include <iostream>
#include <typeinfo>
int main()
{
if (typeid(int).before(typeid(char)))
{
std::cout << "int goes before char in this implementation.\n";
}
else
{
std::cout << "char goes before int in this implementation.\n";
}
return 0;
}
输出
返回对于同一类型相同的值
std::type_info::hash_code
|-----------------------------------------|---|-----------|
| std::size_t hash_code() const noexcept; | | (C++11 起) |
返回未指定值,使得指代同一类型的所有 type_info
对象的 hash_code() 相同。
不给出其他保证:指代不同类型的 type_info
对象可以拥有相同的 hash_code (尽管标准推荐实现尽可能避免这点),而同一类型的 hash_code 可在相同程序的各次不同调用间改变。
参数
(无)
返回值
对所有指代同一类型的 type_info
对象等同的值。
调用示例
#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 is " << type_names[typeid(i)] << std::endl;
std::cout << "d is " << type_names[typeid(d)] << std::endl;
std::cout << "a is " << type_names[typeid(a)] << std::endl;
std::cout << "b is " << type_names[typeid(*b)] << std::endl;
std::cout << "c is " << type_names[typeid(*c)] << std::endl;
return 0;
}
输出
类型的实现定义名称
std::type_info::name
|-------------------------------------|---|-----------|
| const char* name() const; | | (C++11 前) |
| const char* name() const noexcept; | | (C++11 起) |
返回实现定义的,含有类型名称的空终止字符串。不给出保证,尤其是返回的字符串对于数个类型可以相同,而且在同一程序的调用之间改变。
参数
(无)
返回值
含有类型名称的空终止字符串。
注意
返回指针所指向的数组的生存期未指定,但实践中只要给定类型的 RTTI 数据结构存在,它就得到保持,这拥有应用程序生存期,除非从动态库加载它(可被卸载)。
一些实现(如 MSVC 、 IBM 、 Oracle )生成人类可读的类型名。其他的,最值得注意的是 gcc 与 clang ,返回重整名,这是由 Itanium C++ ABI 指定的。重整名可以用实现指定的 API 转换到人类可读的形式,例如直接用 abi::__cxa_demangle 或通过 boost::core::demangle 。它亦可通过命令行工具 c++filt -t
输送往管道。
调用示例
#include <iostream>
#include <typeinfo>
struct Base
{
virtual ~Base() = default;
};
struct Derived : Base {};
int main()
{
Base b1;
Derived d1;
const Base *pb = &b1;
std::cout << typeid(*pb).name() << std::endl;
pb = &d1;
std::cout << typeid(*pb).name() << std::endl;
return 0;
}