std::is_standard_layout 是一个编译期类型特征，用于判断类型是否满足 C++ 标准中 standard-layout 的全部 7 条规则，包括无虚函数/虚基类、非静态成员访问控制一致、单继承链中至多一个类含非静态成员等。
std::is_standard_layout 是什么，它能判断什么
std::is_standard_layout 是一个编译期类型特征（type trait），定义在
典型满足的类型包括：纯 C 风格 struct、无虚函数/虚基类、所有非静态成员同为 public 或同为 private、继承链中最多一个类有非静态成员等。一旦出现 virtual 函数、virtual 继承、不同访问控制的非静态成员混用，就立刻返回 false。
如何在模板中安全使用 std::is_standard_layout::value
直接读取 std::is_standard_layout 是最常见用法，但要注意：它只是编译期常量，不能用于运行时分支；必须配合 if constexpr（C++17 起）或 SFINAE 才能做差异化处理。
- 错误写法：
if (std::is_standard_layout—— 这是运行时 if，分支内代码仍会被实例化，可能触发非法表达式::value) { ... } - 正确写法（C++17）：
if constexpr (std::is_standard_layout_v，只有条件为 true 时才编译对应分支) { ... } - 兼容 C++11 写法：用
std::enable_if_t<:is_standard_layout>::value>* = nullptr做函数重载约束
常见误判场景：为什么 struct A 看起来像 POD 却 is_standard_layout_v == false
最容易被忽略的是访问控制与继承组合问题。即使没有虚函数，只要存在多层继承且中间某层加了 private 非静态成员，就会破坏 standard-layout 要求。
立即学习“C++免费学习笔记（深入）”；
struct Base {
int x;
};
struct Derived : Base {
private:
char pad; // ← 这里导致 Derived 不再是 standard-layout
};
static_assert(!std::is_standard_layout_v); // 触发 另一个陷阱是匿名 union：含匿名 union 的类型永远不是 standard-layout（C++17 起明确禁止），哪怕 union 本身没虚函数。
还有字节对齐相关：使用 alignas 不影响 standard-layout 判定，但 #pragma pack 或 __attribute__((packed)) 属于扩展行为，std::is_standard_layout 不感知也不保证其结果与 packed 布局一致。
和 std::is_pod、std::is_trivial 的关系别搞混
std::is_standard_layout 是三者中最“轻”的约束：它只要求内存布局可预测，不要求可位拷贝（trivial）或可静态初始化（pod）。所以：
-
std::is_pod_v要求同时满足is_trivial_v&& is_standard_layout_v -
std::is_trivial_v关注构造/析构/赋值是否为 trivial，和内存布局无关 - 你不能靠
is_standard_layout推出可 memcpy 安全 —— 还得确认is_trivially_copyable_v
例如 std::array 是 standard-layout，也是 trivially copyable；但自定义的 struct S { int a; mutable int b; }; 是 standard-layout，却因 mutable 成员不一定 trivial（取决于编译器实现细节），需实测 is_trivially_copyable。
