C++中的反射与内省：如何让代码审视自身

什么是C++中的反射和内省，为什么需要它们？

想象一下，您正在编写一个复杂的游戏引擎或数据处理框架。在某个时刻，您需要知道：“这到底是什么对象？它有哪些方法？它有没有name字段？”

在Python或Java等语言中，一行代码就能做到——它们拥有完整的反射（程序在运行时检查并修改自身结构的能力）。但在C++中，情况要复杂得多。C++是一种强静态类型语言，并且“开箱即用”的反射几乎不存在。不过，我们有内省——一种在运行时获取类型信息的有限能力。

在本文中，我们将讨论：

\n
• 反射与内省的区别；
\n
• RTTI（运行时类型信息）的工作原理；
\n
• 如何使用typeid和dynamic_cast；
\n
• 如何使用模板和宏来模拟反射；
\n
• 现代替代方案（C++20/23）和库。
\n

准备好窥探C++的“镜中世界”了吗？我们开始吧！

内省 vs 反射：有什么区别？

在编写代码之前，让我们先明确概念。

\n
• 内省——程序“审视自身”并获取类型信息的能力，但不能修改程序结构。例如：“获取对象的类名”。C++通过RTTI实现了这一点。
\n
• 反射——内省 + 动态创建对象、调用方法、修改字段的能力。C++标准中目前还没有这个功能。
\n

在C++中，我们通常将“反射”视为目标，而将“内省”视为可用的工具。但别担心：即使使用有限的手段，也能做出很酷的事情。

RTTI（运行时类型信息）——C++内省的基础

RTTI是一种允许在运行时确定对象类型的机制。它默认是开启的（尽管在某些嵌入式系统中，可以通过-fno-rtti标志将其关闭）。

RTTI的主要角色：

\n
• typeid——返回std::type_info的操作符；
\n
• dynamic_cast——多态类型的安全转换。
\n

示例1：使用typeid

#include <iostream>\n#include <typeinfo>\n\nclass Base { virtual void foo() {} };\nclass Derived : public Base {};\n\nint main() {\n    Base* b = new Derived();\n    std::cout << "对象类型: " << typeid(*b).name() << std::endl;\n    delete b;\n    return 0;\n}

输出（取决于编译器）： class Derived 或 7Derived（名称修饰后的结果）。

请注意：typeid仅适用于多态类（至少有一个虚方法）。如果去掉virtual，您将得到指针的类型，而不是实际对象的类型。

示例2：dynamic_cast——安全转换

#include <iostream>\n\nclass Animal { public: virtual ~Animal() = default; };\nclass Dog : public Animal { public: void bark() { std::cout << "汪！\\n"; } };\nclass Cat : public Animal { public: void meow() { std::cout << "喵！\\n"; } };\n\nvoid makeSound(Animal* a) {\n    if (Dog* dog = dynamic_cast<Dog*>(a)) {\n        dog->bark();\n    } else if (Cat* cat = dynamic_cast<Cat*>(a)) {\n        cat->meow();\n    } else {\n        std::cout << "未知动物\\n";\n    }\n}\n\nint main() {\n    Animal* pets[] = { new Dog(), new Cat(), new Animal() };\n    for (auto p : pets) makeSound(p);\n    // 别忘了删除！\n    for (auto p : pets) delete p;\n    return 0;\n}

这是内省的经典示例：我们不知道传入的具体是什么对象，但可