std::is_standard_layout::value 为 true 当且仅当 t 所有非静态成员访问控制相同、无虚函数/虚基类、且所有基类与非静态成员自身均为 standard-layout；它只保证 c 兼容布局，不保证 memcpy 安全，需同时满足 std::is_trivially_copyable 才可安全二进制操作。
std::is_standard_layout 什么时候返回 true
只有当类满足「所有非静态成员具有相同访问控制、没有虚函数、没有虚基类、所有基类和非静态成员自身也是 standard-layout」时，std::is_standard_layout<t>::value</t> 才为 true。它不关心成员是否连续排列或有无 padding，只检查布局是否“C 兼容可预测”——比如能否用 memcpy 安全复制，或与 C struct 互操作。
常见误判点：含 private: 和 public: 混用的成员 → 直接 false；哪怕只加一个 virtual 析构函数 → false；继承链中任一基类不是 standard-layout → 整个派生类 false。
检查带继承的类要逐层验证
派生类是否 standard-layout 不只看自身定义，还依赖所有基类。即使子类没虚函数、访问控制一致，只要某个基类含虚函数或访问控制混用，结果就是 false。
struct Base { int x; }; // OK
struct BadBase { private: int y; }; // ❌ 不是 standard-layout
struct Derived : Base, BadBase { int z; }; // ❌ 即使 Derived 本身干净，继承了 BadBase 就失败
static_assert(!std::is_standard_layout_v<derived>);</derived>
- 必须对每个基类单独检查：
std::is_standard_layout_v<base>、std::is_standard_layout_v<badbase></badbase> - 多重继承时，所有基类 + 所有直接/间接基类都得过一遍
- 空基类优化（EBO）不影响判定，但若空基类本身不满足条件，仍会拖累整个类
和 std::is_trivially_copyable 的关系容易混淆
std::is_standard_layout 和 std::is_trivially_copyable 是正交概念。前者管“布局可预测”，后者管“能否用 memcpy 安全复制”。两者都为 true 时，才适合做 POD 类型的等价操作（如跨语言传递、序列化到二进制）。
典型反例：
struct S {
int a;
S(const S&) = default; // 非 trivial，但 layout 仍可能标准
};
static_assert(std::is_standard_layout_v<s>); // ✅
static_assert(!std::is_trivially_copyable_v<s>); // ❌ 拷贝构造非 trivial</s></s>
- 仅靠
std::is_standard_layout不能保证memcpy安全 —— 还得确认is_trivially_copyable - 二者同时为
true才能放心用于 C 接口、reinterpret_cast<uint8_t></uint8_t>场景 - 某些编译器在
-fno-rtti下可能放宽限制，但标准行为不依赖此
实际使用中要注意模板实例化时机
如果在类定义完成前就对它做 std::is_standard_layout 检查（比如在类内部 static_assert 中引用自身），会因类型不完整而触发 SFINAE 失败或编译错误。
struct Incomplete; static_assert(std::is_standard_layout_v<incomplete>); // ❌ 错误：Incomplete 是不完全类型</incomplete>
- 只能对完全定义好的类型使用，包括类体闭合后、模板实参确定后
- 在类模板内检查
T时，确保T已实例化完成（例如不在成员函数声明中提前用） - 调试时可用
std::cout辅助验证，但注意该表达式必须在类型可见且完整的作用域中求值
memcpy 或 C 互操作就会在运行时出现未定义行为。C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
