std::is_standard_layout用于判断类型是否满足C兼容的内存布局规则，即能否安全与C结构体互操作；它要求无虚函数/虚基类、所有非静态数据成员在同一访问块、单继承且基类也为standard layout。
std::is_standard_layout 用来干啥？
它只回答一个问题：这个类型能不能安全地和 C 语言结构体互操作。比如你用 memcpy 拷贝、传给 C 函数、或者写进二进制文件时，内存布局是否“干净”——没有虚函数、没有非静态成员函数、所有非静态数据成员都在同一访问控制块里、继承关系也得是“纯”的。
注意：std::is_standard_layout 是编译期判断，不是运行时检测；它不保证可移植（比如不同平台对齐可能不同），只保证“C 兼容的布局规则被遵守了”。
怎么写才能让 is_standard_layout 返回 true？
核心是守住三条线：成员访问控制、继承方式、成员性质。
- 所有非静态数据成员必须在同一个
public/private/protected块里（不能跨块） - 不能有虚函数、虚基类、非静态成员函数（构造/析构/赋值算例外，但它们本身不能是虚的）
- 如果继承，只能是单继承且基类也必须是 standard layout；多重继承直接失败
- 静态成员、typedef、using 声明不影响结果
反例：struct S { int a; private: int b; }; → std::is_standard_layout_v<s></s> 是 false，因为 a 和 b 跨了访问块。
立即学习“C++免费学习笔记（深入）”；
常见误判场景和编译器差异
Clang 和 GCC 大部分一致，但 MSVC 在某些边缘情况（比如空基类优化是否影响布局）下可能更宽松或更严格。别依赖 is_standard_layout 来推断字段偏移 —— 它不提供 offsetof 保证，只是“可能安全”的前提。
- 带
[[no_unique_address]]的成员：GCC/Clang 认为破坏 standard layout（即使该成员为空），MSVC 可能允许 - bit-field：只要所有 bit-field 在同一访问块内、类型相同，通常仍算 standard layout；但跨类型（如
int : 1;后跟unsigned : 2;）会失败 - 模板实例化：
std::is_standard_layout_v<:pair double>></:pair>是true，但std::is_standard_layout_v<:vector>></:vector>是false（含虚函数指针或内部非 public 成员）
实际检查时别只看类型名
经常有人写 static_assert(std::is_standard_layout_v<mystruct>);</mystruct> 就以为万事大吉，结果发现加了个 const 成员函数或者不小心把一个成员挪到了 private 块，断言就崩了。
- 每次修改结构体后，务必重新编译并触发该
static_assert - 如果结构体嵌套了其他类型，要递归检查所有成员类型是否也是 standard layout（否则整个结构体大概率不是）
-
std::is_trivially_copyable和std::is_standard_layout必须同时为true，才真正适合memcpy—— 少一个都不行
最常被忽略的是：标准布局 ≠ 可 memcpy。它只是必要条件，不是充分条件。对齐、填充、字节序这些，还得你自己兜底。
