我想使用模板来简化非平凡类型的工会的建设。下面，似乎在实践中“工作”，但在技术上是不合法的规范： template<typename T> struct union_entry {
void (*destructor_)(void *); // how to destroy type T when active
T value_;
};
union U {
uni
我只是用G ++打过来，我发现 #include <type_traits>
class Foo {
public: int x;
public: char y;
public: double z;
};
static_assert(std::is_standard_layout<Foo>::value, "Foo is not standard layout");
int m
我读了一个关于POD，Trivial，Standard-layout类的nice article。但我有一个关于标准布局类的规则的问题： 在大多数派生类中最多有一个非静态数据成员，最多只有一个基类有非静态数据成员，或者没有基类与非静态数据成员 我写了一个源代码： #include <iostream>
struct A {
int a;
};
struct B {
i