获取C++中的 RTTI类型

C++ 中的类型检查：使用 typeid().name()
在C++编程中，有时我们可能需要获取一个变量或参数的类型。为了满足这种需求，C++提供了typeid关键字，它可以和.name()方法一起使用，以获取变量或参数的类型名称。

本文将深入探讨如何在C++中打印变量和参数的类型，并且解析typeid().name()的使用。

背景知识
C++是一种静态类型语言，这意味着每个变量和表达式在编译时都有一个固定的类型。
进行调试或者实现某些泛型算法时，类似于STL，想清楚地知道 你所编写的代码能处理的类型，这时候就要 查询变量的类型了。

C++提供了一种机制来在运行时查询类型信息，这就是RTTI（Run-Time Type Information）。typeid操作符是RTTI的核心部分。

typeid 操作符
typeid是一个运算符，用于查询运行时的类型信息。它返回一个常量引用，该引用指向一个std::type_info对象。此对象包含了关于类型的信息。

下面的代码展示了如何使用typeid获取一个变量的类型：

#include <iostream>
#include <typeinfo>

int main() {
    int a = 0;
    std::cout << typeid(a).name() << '\n';
    return 0;
}

这段代码将输出：i，这是int类型在编译器内部的表示。请注意，输出的结果可能会因编译器的不同而有所不同。

.name() 方法
.name()方法是std::type_info类的一个成员函数，它返回一个表示类型名称的C风格字符串。返回的字符串取决于具体的实现，并且可能只包含编译器内部使用的名称。

下面的代码显示了如何使用.name()获取一个变量的类型名称：

#include <iostream>
#include <typeinfo>

int main() {
    double b = 1.0;
    std::cout << typeid(b).name() << '\n';
    return 0;
}

这段代码将输出：d，这是double类型在编译器内部的表示。与上述情况相同，输出的结果可能会因编译器的不同而有所不同。

使用 typeid 打印参数类型
我们还可以使用typeid来打印函数参数的类型。下面的代码演示了如何实现这一点：

#include <iostream>
#include <typeinfo>

void print_type(const auto& param) {
    std::cout << typeid(param).name() << '\n';
}

int main() {
    print_type(123);     // 输出: i
    print_type(1.23);    // 输出: d
    print_type("Hello"); // 输出: PKc
    return 0;
}

在这个例子中，print_type函数接受一个通用引用参数，然后打印出其类型。由于参数是模板化的，所以我们可以传递任何类型的参数给print_type。

结论
通过使用typeid和.name()，我们可以在C++中打印变量和参数的类型。这可以帮助我们更好地理解和调试代码。然而，请注意typeid().name()返回的是编译器内部的类型名称，可能并不总是直观的。因此，你可能需要根据具体的编译器和平台进行解释。

但是通常 typeid(变量名).name 输出的 不带有 指针、引用。默认给你去掉了。如果你还想看更加具体的 类型，即包含 指针和引用的类型，那就要用boost的 typeindex了。boost的库更好地保留了 类型的全部信息，多级指针，普通的左值引用、右值引用、函数指针、指针的引用等等都可以输出。

int i = 42,*p = &i;
// 加了括号，普通变量就变成了一个表达式
// decltype(expr)的结果根据expr的结果不同而不同：
expr 如果返回左值，则得到该类型的左值引用；
expr 如果返回右值，则直接得到该类型。
// 因此ri的类型是int &
decltype((i)) ri = i;
cout << boost::typeindex::type_id_with_cvr<decltype(ri)>().pretty_name() << endl;
decltype((p)) temp = p;
cout << boost::typeindex::type_id_with_cvr<decltype(temp)>().pretty_name() << endl;
输出结果:
      int & 
      int * &