[论文解读] A system for reflection in C++

Duraid Madina, Russell K. Standish|ArXiv.org|Jan 27, 2004

Simulation Techniques and Applications被引用 7

一句话总结

本文提出 Classdesc，一种 C++ 系统，通过生成编译时对象描述符来实现反射，从而支持运行时内省、序列化和脚本语言集成。其工作原理是解析 C++ 类，生成递归遍历对象结构的函数模板，实现与机器无关的序列化，并动态绑定至 Tcl 等脚本语言，已在 Eco Lab 仿真框架中成功验证。

ABSTRACT

Object-oriented programming languages such as Java and Objective C have become popular for implementing agent-based and other object-based simulations since objects in those languages can {\em reflect} (i.e. make runtime queries of an object's structure). This allows, for example, a fairly trivial {\em serialisation} routine (conversion of an object into a binary representation that can be stored or passed over a network) to be written. However C++ does not offer this ability, as type information is thrown away at compile time. Yet C++ is often a preferred development environment, whether for performance reasons or for its expressive features such as operator overloading. In this paper, we present the {\em Classdesc} system which brings many of the benefits of object reflection to C++.

研究动机与目标

• 解决 C++ 中缺乏反射支持的问题，该问题在编译时丢弃类型信息。
• 实现复杂 C++ 对象的机器无关序列化，以支持检查点保存和分布式计算。
• 支持将 C++ 对象动态绑定至 Tcl 等脚本语言，实现交互式仿真控制。
• 提供一种机制，可在无运行时开销的情况下内省私有和受保护成员。
• 实现 C++ 对象与外部工具（如 GUI 和远程执行环境）的无缝集成。

提出的方法

• 代码生成器解析 C++ 类、结构体和共用体定义，生成描述对象布局的函数模板。
• 通过函数重载生成对象描述符，确保在编译时正确遍历基类和成员变量。
• 通用模板函数 `pack<T>()` 通过复制其内存表示将基本类型序列化至缓冲区。
• 系统使用 `pack_t` 类，其 `append()` 方法用于存储二进制数据，通过 XDR 实现机器无关的序列化。
• 通过预处理工具插入 `friend` 声明机制，授予对私有和受保护成员的访问权限。
• 使用宏（如 `Single_Obj_Ptr`）对指针进行特殊处理，动态类型被封装在类中以避免内存泄漏。

实验结果

研究问题

• RQ1 如何在无语言级支持的情况下，将 Java 和 Objective-C 中常见的反射功能实现在 C++ 中？
• RQ2 如何最有效地生成编译时描述符，以实现对 C++ 对象结构的运行时内省？
• RQ3 能否通过代码生成和最小运行时开销实现在 C++ 中的机器无关序列化？
• RQ4 如何在保持类型安全的前提下，将 C++ 对象动态绑定至 Tcl 等脚本语言？
• RQ5 在反射系统中，可使用何种机制安全处理指针和动态内存？

主要发现

• Classdesc 系统通过代码生成的描述符成功实现了复杂 C++ 对象（包括嵌套结构和数组）的序列化。
• 通过 XDR 库实现机器无关的序列化，使检查点文件可在异构架构间传输。
• 系统通过 Tcl 实现对 C++ 对象的直接脚本访问，支持仿真程序的交互式控制和调试。
• 对通用指针会发出运行时警告，而 `Single_Obj_Ptr` 等特殊宏允许程序员标记指向有效对象或空指针的指针。
• 通过 `friend` 声明和预处理工具，确保描述符可访问私有和受保护成员，且无需修改类定义。
• 该系统已成功集成至 Eco Lab 仿真框架中，用于客户端-服务器仿真和检查点保存。