c++中可通过宏+模板元编程实现类成员的静态注解系统：用declare_attribute定义注解类型并生成唯一id，reflect_member_with_attr绑定注解到成员，提供get_annotated_members、has_attribute_v等编译期查询接口。

在C++中为类成员添加类似C#的[Obsolete]或Java的@Deprecated语义的注解能力，需绕过语言原生不支持反射的限制，用模板元编程+宏+类型特征组合构造可查询的静态注解系统。

定义可被识别的Attribute基类与注册机制

创建空基类attribute，并配合宏强制每个注解类型生成唯一静态ID；ID用于后续类型映射表索引，【ID重复将导致注解覆盖，必须确保每个ATTRIBUTE宏只在全局出现一次】。

#define DECLARE_ATTRIBUTE(name) \ struct name : ::detail::attribute { \ static constexpr const char* id() { return #name; } \ static constexpr size_t value() { return __COUNTER__; } \ };

这一步不能省略__COUNTER__——它由预处理器保证每次调用宏时递增，避免手工编号出错。

为类成员绑定注解并生成元数据描述

使用宏包装成员声明，在编译期将注解类型、所属类、成员名、偏移量打包进一个元组结构体：

#define REFLECT_MEMBER_WITH_ATTR(cls, member, attr_type) \ template struct ::detail::member_info { \ using attribute = attr_type; \ static constexpr size_t offset = offsetof(cls, member); \ static constexpr const char* name = #member; \ };

该特化仅对明确写出的成员生效，未被REFLECT_MEMBER_WITH_ATTR标记的字段不会进入元数据体系。

实现运行时可查的注解查询接口

方法一：按类型查找所有带指定注解的类成员

template \ constexpr auto get_annotated_members() { \ return ::detail::find_by_attribute(); \ }

方法二：检查某成员是否携带某注解

template \ constexpr bool has_attribute_v = ::detail::has_attribute_v;

方法三：获取某成员的全部注解列表（返回std::tuple类型）

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

template \ using annotations_of_member = typename ::detail::annotations::type;

这三个接口分别对应不同使用场景：批量扫描、单点校验、元信息提取。其中方法二返回布尔常量表达式，可在if constexpr中直接分支。

编写测试用例验证注解绑定与查询正确性

第一步：定义一个废弃警告注解

DECLARE_ATTRIBUTE(Obsolete);

第二步：声明测试类并为成员打标签

struct TestClass { int x; double y; }; \ REFLECT_MEMBER_WITH_ATTR(TestClass, x, Obsolete);

第三步：在编译期断言验证

static_assert(has_attribute_v); \ static_assert(!has_attribute_v);

第四步：触发编译错误以确认非法访问被拦截

static_assert(!has_attribute_v); // 此行应编译失败，因nullptr非合法数据成员指针

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！