C++中是否支持使用用户自定义属性实现序列化功能？

结论 #

标准C完全可以实现你需要的类似C#、C/CLI的标记式序列化能力，你期望的[[Serialize]]、[[Serialize::Ignore]]写法完全符合C++11及更高版本的标准语法，不需要依赖第三方运行时，还能在编译期自动处理内存对齐填充问题，比托管语言的运行时反射序列化效率更高。

注：你提到的「C++/CRT」应该是笔误，实际指的是C++/CLI的托管属性用法，标准C++的属性语法和它写法相似但完全基于原生编译，没有托管依赖。

实现逻辑说明 #

C++的自定义属性本身只是静态标记，不会自动生成业务逻辑，需要配合编译期反射能力实现序列化逻辑，常用的实现路径分两种：

• 如果你使用C++20及以上版本：可以直接用std::is_aggregate判断聚合类型，配合结构化绑定遍历类的所有成员，编译期读取属性标记，碰到标记了[[Serialize::Ignore]]的成员直接跳过，其余成员按照类型自动生成序列化/反序列化代码。内存对齐填充的问题可以在编译期计算每个成员的实际偏移，自动跳过编译器插入的填充字节，不需要手动加任何对齐宏。
• 如果你使用C11/17版本：只需要增加极少量无侵入的宏辅助生成编译期成员元数据，即可实现和C20版本完全一致的使用效果，宏只会在编译期执行，不会引入任何运行时开销。

语法合法性验证 #

你期望的写法是完全合法的C++代码，还可以根据需求扩展带参数的自定义属性：

[[Serialize]]
struct SomeStruct{
    int Number = 10;
    bool Flag = false;
    [[Serialize::Ignore]] // 还可扩展支持字节序、固定长度等自定义参数
    float OneAndHaf = 1.5f;
};

属性可以标记在类型、成员变量、函数等各类语法节点上，你可以按需扩展[[Serialize::FixedLength(128)]]、[[Serialize::LittleEndian]]这类带参数的自定义属性，满足更复杂的序列化需求。

额外优势 #

相比C#/C++/CLI的托管序列化方案，原生C++的编译期序列化方案有以下优势：

• 所有逻辑都在编译期完成，运行时无额外反射开销，性能更高
• 可以在编译期直接检查序列化兼容性，不需要等到运行时报错
• 不需要依赖托管运行时，纯原生代码即可实现，跨平台兼容

内容的提问来源于stack exchange，提问作者Nori_SC