反射和内省在 c++++ 标准库中的用法：反射： 使用 typeid 运算符在运行时获取类型的名称和大小等信息。内省： 使用 std::is_same 和 std::is_convertible 比较类型是否相同，或是否可以进行隐式转换。

使用C++标准库进行反射和内省

反射允许程序在运行时检查类型信息，而内省则允许程序修改这种信息。这两种技术对于创建更灵活和模块化的代码非常有用。

反射

用法：

typeid运算符可用于获取类型信息。它的语法如下：

typeid(expression)

expression可以是任何有效的C++表达式。

返回值：

typeid运算符返回一个type_info对象，其中包含有关该类型的各种信息，例如：

• 类型名称
• 类型大小
• 基础类型（对于继承类型）

实战案例：

#include <iostream>
#include <typeinfo>

class MyClass {
public:
    int x;
    std::string y;
};

int main() {
    MyClass obj;

    std::cout << "Type name: " << typeid(obj).name() << std::endl;
    std::cout << "Type size: " << sizeof(obj) << " bytes" << std::endl;

    return 0;
}

输出：

Type name: MyClass
Type size: 16 bytes

内省

用法：

std::is_same和std::is_convertible可以用于比较类型。它们的语法如下：

• std::is_same(type1, type2)
• std::is_convertible(from, to)

其中：

• type1和type2是类型名称
• from是源类型
• to是目标类型

返回值：

• std::is_same返回true，如果两个类型相同
• std::is_convertible返回true，如果源类型可以隐式转换为目标类型

实战案例：

#include <iostream>
#include <type_traits>

class MyClass {};

int main() {
    std::cout << std::boolalpha;

    std::cout << "Is MyClass the same as itself? " << std::is_same<MyClass, MyClass>::value << std::endl;
    std::cout << "Is MyClass convertible to int? " << std::is_convertible<MyClass, int>::value << std::endl;

    return 0;
}

输出：

Is MyClass the same as itself? true
Is MyClass convertible to int? false