编译期需同时用 static_assert 检查 sizeof 和 alignof：sizeof 确保大小精确（如 16 字节），alignof 保证对齐达标（如 ≥16 字节）；还需用 offsetof 验证字段偏移，并结合 std::is_standard_layout_v 确保布局可预测，以应对跨平台对齐差异。
编译期检查 sizeof 是否等于预期对齐大小
直接用 static_assert 对比 sizeof(T) 和目标对齐值是最常用、最可靠的手段。比如你想确保某个结构体按 16 字节对齐且大小恰好为 16，就得显式写出期望值：
struct alignas(16) Vec4 {
float x, y, z, w;
};
然后加断言：
static_assert(sizeof(Vec4) == 16, "Vec4 must be exactly 16 bytes");
注意：这里检查的是“大小等于某值”，不是“是否对齐”。alignas(16) 只保证起始地址对齐，但实际大小可能因填充而大于 16（比如成员多、有 padding）。所以必须明确你真正关心的是“大小”还是“对齐”。
用 alignof 验证类型对齐要求是否达标
如果目标是确认类的自然对齐是否满足硬件或 API 要求（如 SSE 要求 16 字节对齐），就该查 alignof：
static_assert(alignof(Vec4) >= 16, "Vec4 must be at least 16-byte aligned");
常见错误是混淆 alignof 和 sizeof —— 前者返回该类型的最小对齐边界（编译器保证的地址约束），后者返回占用字节数。二者无必然相等关系。
-
alignof(T)是编译期常量，可直接用于static_assert - 若类含成员变量，其
alignof等于所有成员中最大的alignof（除非被alignas显式提升） -
alignas(N)可增大对齐，但不能减小；若 N 小于成员最大对齐，实际对齐仍取大者
检查结构体是否“紧凑”——排除意外 padding
当需要最小化内存占用（比如用于网络协议或 GPU buffer），光看 sizeof 不够，还得确认没有多余填充。可用 offsetof 手动验证字段偏移：
#include <cstddef> static_assert(offsetof(Vec4, y) == 4, "y must start at offset 4"); static_assert(offsetof(Vec4, z) == 8, "z must start at offset 8"); static_assert(offsetof(Vec4, w) == 12, "w must start at offset 12");
更健壮的做法是结合 std::is_standard_layout_v，确保布局可预测：
static_assert(std::is_standard_layout_v<Vec4>, "Vec4 must have standard layout for offsetof to be meaningful");
非标准布局类型（含虚函数、多重继承、非公有成员）不能安全使用 offsetof。
跨平台对齐差异带来的坑
不同编译器（MSVC / GCC / Clang）和不同架构（x86-64 vs ARM64）对默认对齐策略略有差异。例如：
- MSVC 在 32 位模式下对
double默认按 8 字节对齐，而某些嵌入式 GCC 可能只按 4 字节 -
alignas的最小有效值受目标平台限制（ARMv7 不支持alignas(32)，会降级） - 使用
__attribute__((packed))或#pragma pack会破坏对齐，此时alignof可能变成 1，但访问未对齐数据在某些 CPU 上会 crash
因此，关键类型务必在所有目标平台上做 CI 编译检查，不能只依赖本地环境。
真正容易被忽略的是：对齐要求和大小约束往往来自外部系统（如 OpenGL 的 GL_FLOAT_VEC4 要求 16 字节对齐 + 16 字节大小），但 C++ 标准只规定 alignof 下限，不保证 sizeof 可控。这意味着你得同时锁住两者，并在构建时强制失败，而不是等到运行时报错或行为异常。
