c++ 中的泛型编程和自省机制相互作用，提供以下功能：类型查询：通过typeid 运算符在运行时确定模板参数的类型。运行时多态：使用虚函数和动态类型转换在运行时实现多态。泛型类型擦除：利用自省机制从二进制代码中删除具体类型信息，实现代码紧凑和高效。
C++ 中泛型编程与自省机制的交互
泛型编程是一个强大的技术，允许开发者创建通用的算法和数据结构，而无需写多个特定于类型的实现。自省机制，另一方面，允许程序在运行时检查和修改自身。在 C++ 中，泛型编程和自省机制可以协同工作，从而实现强大的功能。
类型查询
立即学习“C++免费学习笔记（深入）”；
泛型编程使用模板来实现独立于类型的代码。然而，在某些情况下，需要在运行时知道一个特定模板参数的类型。自省机制允许这样做，例如使用 typeid 操作符：
template <typename T>
void print_type(T const& value) {
std::cout << "Type of value: " << typeid(value).name() << std::endl;
}运行时多态
自省机制还可以使用虚函数和动态类型转换在运行时实现多态。例如，考虑一个带有以下虚函数的基类和派生类：
class Base {
public:
virtual void print() const = 0;
};
class Derived : public Base {
public:
void print() const override {
std::cout << "Derived class" << std::endl;
}
};通过使用 typeid 我们可以在运行时确定一个 Base 对象的实际类型并调用适当的 print 方法：
void polymorphic_print(Base* object) {
if (typeid(*object) == typeid(Derived)) {
static_cast<Derived*>(object)->print();
} else {
object->print();
}
}实战案例：泛型类型擦除
泛型类型擦除是一个利用自省机制的强大技术。它将泛型类型的具体类型信息从二进制代码中删除，从而使代码更加紧凑和有效。例如，以下代码显示了一个使用类型擦除的栈：
template <typename T>
class Stack {
private:
std::vector<void*> data;
public:
void push(T value) {
data.push_back(&value);
}
T pop() {
T value = *static_cast<T*>(data.back());
data.pop_back();
return value;
}
};由于自省机制，Stack 可以安全地存储和检索不同类型的元素，而无需在编译时指定它们。这使得代码更加通用和灵活。
