std::is_standard_layout仅判断类型是否满足c++标准定义的标准布局要求。它验证单一继承链、无虚函数、所有非静态成员访问控制一致、基类与首个成员类型不冲突等规则，但不保证abi兼容或可安全memcpy。
std::is_standard_layout能判断什么
std::is_standard_layout 是一个类型特性（type trait），它只回答一个问题：该类型的内存布局是否满足“标准布局”（standard-layout）要求。它不保证可移植、不检查 ABI 兼容性、也不说明能否用 memcpy 安全复制——但它确实是这些操作的前提条件之一。
典型误用是以为它返回 true 就等于“可以和 C 结构体互换”或“能直接序列化”。实际上，它只验证 C++ 标准定义的几条规则：单一继承链、无虚函数、所有非静态成员同为 public/private/protected、基类和首个非静态成员不能有相同类型等。
哪些类型会意外失败
常见踩坑点集中在继承和访问控制上。哪怕只是加了一个 private: 或 protected:，就可能让原本“看起来像 C struct”的类型变成非标准布局。
- 含虚函数的类（哪怕只有
virtual ~T() = default;）→std::is_standard_layout_v<t></t>为false - 多继承（哪怕所有基类都空）→ 不满足“单一继承链” → 失败
- 第一个非静态成员和某个基类类型相同（例如
struct B : A { A a; };）→ 违反 [class.prop]/1.4 → 失败 - 成员变量访问级别混用（
public int x; private float y;）→ 所有非静态数据成员必须在同一个访问区 → 失败
验证时别只看定义，用 static_assert(std::is_standard_layout_v<mystruct>, "not standard layout");</mystruct> 放在类定义后，编译期就能暴露问题。
和 std::is_trivially_copyable 的关系
std::is_standard_layout 和 std::is_trivially_copyable 是正交条件。两者都为 true 才能安全用于 memcpy、C ABI 交互或 reinterpret_cast 成字节数组。
例如：
struct TrivialButNotStandard {
int x;
private:
int y; // 访问控制不一致 → not standard layout
}; // is_trivially_copyable_v = true, is_standard_layout_v = false
再如：
struct StandardButNotTrivial {
int x;
~StandardButNotTrivial() {} // 有用户定义析构 → not trivially copyable
}; // is_standard_layout_v = true, is_trivially_copyable_v = false
真正需要 C 互操作时，必须同时检查两个 trait；只靠 std::is_standard_layout 不够。
实际使用时的关键限制
它只在编译期起作用，且对模板类型需谨慎：如果模板参数未完全确定（比如依赖未实例化的 SFINAE 条件），std::is_standard_layout_v<t></t> 可能无法求值，导致硬错误而非 SFINAE 友好失败。
另外，它对 union、数组、cv-qualified 类型也有效，但要注意：
-
std::is_standard_layout_v<const t></const>和std::is_standard_layout_v<t></t>结果一致（cv 修饰不影响布局） -
std::is_standard_layout_v<t></t>为false（数组类型本身不是标准布局） - union 类型只有在所有成员都是标准布局、且无非静态数据成员时才可能是标准布局（C++17 起放宽了部分限制）
真正要确保内存安全，得把 std::is_standard_layout 当成第一道门，而不是最后一道锁。字段偏移、对齐、填充字节这些细节，它一个都不管。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
