0

0

C++如何实现简单的反射机制?(代码示例)

尼克

尼克

发布时间:2025-12-25 17:31:03

|

950人浏览过

|

来源于php中文网

原创

C++标准不支持运行时反射,但可通过宏、模板和类型擦除模拟:1.用宏注册类名与字段偏移;2.用std::any读取字段值;3.用std::function注册并调用成员函数;4.需注意standard-layout限制及类型安全问题。

c++如何实现简单的反射机制?(代码示例)

纯C++标准不支持运行时反射,但可以通过宏、模板和类型擦除等手段模拟出简易的反射能力,比如获取类名、枚举字段名、调用成员函数等。下面是一个轻量、可扩展、不依赖第三方库的实现思路。

1. 基于宏的类名注册与字段映射

利用宏在定义类时自动注册元信息,避免手写重复代码。核心是为每个类生成一个静态方法,返回字段名与偏移量/访问器的映射表。

示例:实现 类名获取简单字段遍历

#include 
#include 
#include 
#include 
#include 

// 反射基础结构 struct FieldInfo { std::string name; size_t offset; const std::type_info& type; };

struct ClassInfo { std::string name; std::vector fields; static const std::map& GetAll(); };

// 宏:声明反射支持(用于类外)

立即学习C++免费学习笔记(深入)”;

define REFLECTABLE_CLASS(name) \

static const ClassInfo& GetClassInfo(); \
virtual const ClassInfo& GetClass() const { return GetClassInfo(); }

// 宏:定义反射信息(在类定义后使用)

Zeemo AI
Zeemo AI

一款专业的视频字幕制作和视频处理工具

下载

define BEGIN_REFLECT(name) \

const ClassInfo& name::GetClassInfo() { \
    static ClassInfo info{#name, std::vector{} }; \
    static bool inited = false; \
    if (!inited) {

define FIELD(member) \

        info.fields.push_back({#member, offsetof(name, member), typeid(decltype(name::member))});

define END_REFLECT() \

        inited = true; \
    } \
    return info; \
}

// 使用示例 struct Person { std::string name; int age; double score;

REFLECTABLE_CLASS(Person)

};

BEGIN_REFLECT(Person) FIELD(name) FIELD(age) FIELD(score) END_REFLECT()

2. 运行时打印对象字段值(需类型安全转换)

借助 reinterpret_caststd::any(C++17)或自定义类型擦除,可读取字段值。以下用 std::any 简化演示:

#include 

std::map ReflectGetValues(const void obj, const ClassInfo& info) { std::map result; for (const auto& f : info.fields) { if (f.name == "name") { result[f.name] = std::any_cast( static_cast>( static_cast>(obj) + f.offset)); } else if (f.name == "age") { result[f.name] = static_cast>(static_cast>(obj) + f.offset); } else if (f.name == "score") { result[f.name] = static_cast>(static_cast>(obj) + f.offset); } } return result; }

// 使用 int main() { Person p{"Alice", 30, 95.5}; auto vals = ReflectGetValues(&p, p.GetClass()); for (const auto& [k, v] : vals) { std::cout << k << ": "; if (v.type() == typeid(std::string)) std::cout << std::any_cast(v); else if (v.type() == typeid(int)) std::cout << std::any_cast(v); else if (v.type() == typeid(double)) std::cout << std::any_cast(v); std::cout << "\n"; } }

3. 支持简单方法反射(通过函数对象注册)

为类添加可调用方法的元信息,例如注册无参无返回值的成员函数:

using MethodFunc = std::function;

struct MethodInfo { std::string name; MethodFunc func; };

struct ClassInfo { // ... 字段同上 std::vector methods; };

define METHOD(func) \

info.methods.push_back({#func, [](void* obj) { \
    static_cast(obj)->func(); \
}});

// 在 Person 中加一个方法: void SayHello() { std::cout

// 然后在 END_REFLECT 前加 METHOD(SayHello)

// 调用方式: void ReflectCallMethod(void* obj, const ClassInfo& info, const std::string& method_name) { for (const auto& m : info.methods) { if (m.name == method_name) { m.func(obj); return; } } }

4. 注意事项与局限性

  • offsetof 要求类型是标准布局(standard-layout),不能有虚函数、多继承、非公有非静态数据成员等
  • 字段访问未做类型安全校验,实际项目建议配合 if constexpr + 模板特化增强健壮性
  • 不支持嵌套对象、数组、指针字段的自动展开,需手动处理
  • 宏方案对 IDE 友好性较差(跳转/补全可能失效),适合小型工具或配置驱动场景
  • 如需完整反射,推荐成熟方案:Boost.Hana(编译期)、RTTR(运行时)、or C++23 的反射 TS(尚未稳定)

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

311

2023.08.02

typedef和define区别
typedef和define区别

typedef和define区别在类型检查、作用范围、可读性、错误处理和内存占用等。本专题为大家提供typedef和define相关的文章、下载、课程内容,供大家免费下载体验。

99

2023.09.26

define的用法
define的用法

define用法:1、定义常量;2、定义函数宏:3、定义条件编译;4、定义多行宏。更多关于define的用法的内容,大家可以阅读本专题下的文章。

310

2023.10.11

if什么意思
if什么意思

if的意思是“如果”的条件。它是一个用于引导条件语句的关键词,用于根据特定条件的真假情况来执行不同的代码块。本专题提供if什么意思的相关文章,供大家免费阅读。

702

2023.08.22

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

516

2023.09.20

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

311

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

511

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

46

2025.08.29

笔记本电脑卡反应很慢处理方法汇总
笔记本电脑卡反应很慢处理方法汇总

本专题整合了笔记本电脑卡反应慢解决方法,阅读专题下面的文章了解更多详细内容。

1

2025.12.25

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
React 教程
React 教程

共58课时 | 2.9万人学习

Pandas 教程
Pandas 教程

共15课时 | 0.8万人学习

ASP 教程
ASP 教程

共34课时 | 2.8万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号