空类大小为1字节，因C++标准要求同一类型对象地址必须唯一；含成员类大小由成员总和、内存对齐填充及虚表指针决定；继承时遵循空基类优化、虚继承加vbptr等规则。...

alignof返回类型或表达式的对齐要求，是编译期运算符；alignas用于显式提高对齐边界，需配合对齐分配使用，否则行为未定义。...

offsetof宏仅适用于标准布局类型，要求无虚函数/虚基类、成员访问控制一致、无位域且仅支持直接成员；返回size_t字节偏移，是编译期常量，不可用于静态成员或嵌套路径。...

std::optional内存布局为union加状态标志位，不分配堆内存；它用aligned_storage_t或union预留空间，大小至少等于所含类型，主流实现中完全相等；析构函数是否平凡影响其自身特性，且存在填充和ABI兼容性问题。...

标准布局类是二进制序列化的必要前提而非充分条件，需满足：同访问控制、无虚函数/虚基类、最多一个非空基类、首成员非位域、所有成员及基类均为标准布局类型。...