c++中的反射和元编程技术允许开发者在运行时检查和操作类型信息，并通过编译时技术生成或修改代码。反射使用typeid关键字返回指定类型的类型信息，而元编程使用模板元编程或预处理器宏实现。元编程可生成元组、进行类型转换等操作，实战案例中可用于运行时类型检查，通过检查对象类型调用不同的方法。
C++ 函数库中的反射和元编程
反射和元编程是高级 C++ 编程技术，可让您在运行时检查和操作类型信息。
反射
立即学习“C++免费学习笔记（深入）”；
C++ 中的反射使用 typeid 关键字，它返回指定类型的类型信息。例如：
#include <typeinfo>
int main() {
int x = 5;
std::cout << typeid(x).name() << std::endl; // 输出：int
return 0;
}元编程
元编程是通过使用编译时技术来生成或修改代码。它可以使用模板元编程 (TMP) 或预处理器宏来实现。
使用 TMP 进行元编程
TMP 允许您创建可变结构、类型转换和其他元操作。例如，以下代码生成一个元组，包含一组类型名称：
template<typename... Args> struct TypeList;
template<typename Head, typename... Tail>
struct TypeList<Head, Tail...> {
static const size_t size = sizeof...(Tail) + 1;
static const std::tuple<Head, Tail...> tuple = std::make_tuple(Head, Tail...);
};
template<>
struct TypeList<> {
static const size_t size = 0;
static const std::tuple<> tuple = std::make_tuple();
};使用预处理器宏进行元编程
预处理器宏提供了一种在编译时展开文本的技术。例如，以下宏将一个类型名称转换为 UpperType：
#define UpperType(type) type ## _UPPER
实战案例：运行时类型检查
考虑一个需要处理不同类型的对象集合的程序。我们可以使用反射来检查每个对象的类型并采取适当的行动。
#include <iostream>
#include <vector>
using namespace std;
class Base {
public:
virtual void print() { cout << "Base" << endl; }
};
class Derived1 : public Base {
public:
void print() override { cout << "Derived1" << endl; }
};
class Derived2 : public Base {
public:
void print() override { cout << "Derived2" << endl; }
};
vector<Base*> objects;
int main() {
objects.push_back(new Base());
objects.push_back(new Derived1());
objects.push_back(new Derived2());
for (auto* object : objects) {
cout << typeid(*object).name() << endl; // 打印对象的类型
object->print(); // 调用适当的 `print` 方法
}
return 0;
}通过结合反射和元编程，您可以创建功能强大且灵活的 C++ 程序。
