POD的好处
用is_pod<ClassNameT>::value可以判断是否是POD，头文件是#include <type_traits>。
如果是POD，有以下好处。
- 字节赋值
代码中可以安全的使用memset和memcpy进行初始化和拷贝操作。 - 内存布局与C兼容
POD类型的数据在C和C++之间操作是安全的。 - 保证了静态初始化的安全有效
除了以上三点，后面还会列举POD的一个应用，非受限联合体。
非受限联合体
在C语言中，联合体union是很重要的一种数据结果，多种不同的数据类型共享同一个内存空间，可以达到节省空间的目的。
在C++中，不是所有类型都能成为联合体的成员。
#include <iostream>
using namespace std;
struct Student {
Student(bool g, int a): gender(g), age(a){}
bool gender;
bool age;
};
union T {
Student s;
int id;
char name[10];
};
int main(){}
// g++ cpp.cpp -o test，会编译失败，
// error: member ‘Student T::s’ with constructor not allowed in union
// note: unrestricted unions only available with -std=c++11 or -std=gnu++11
比如以上这段程序，用C++98编译会失败，用C++11可以。
C++98会判断Student是个非POD类型，不能放在union里，把自定义的构造函数去掉，在C++98中就可以了。
C++11没有这个限制，只要是非引用类型，都可以成为union的成员，称为”非受限联合体“。
非受限联合体的静态成员
C++11非受限联合体有个限制是，不允许静态成员变量存在，允许静态成员函数存在。联合体里的静态成员存在意义不大，此时union只能作为个namespace来用，例如以下程序。
#include <iostream>
using namespace std;
union T {
static long Get() {
return 32;
}
};
int main() {
cout << T::Get() << endl;
}
// 这个程序C++98也能编译通过
// 如果要带个静态成员变量，比如改成以下形式，C++98编译不过，换成C++11可以编译通过
union T {
const static long L = 32;
static long Get() {
return L;
}
};
// error: in C++98 ‘T::L’ may not be static because it is a member of a union
// 如果把const删掉，那C++11也编译不过
非受限联合体与构造函数
C++11非受限联合体的另一个限制是，如果成员类有非平凡的构造函数，会初始化失败，因为标准规定union会自动对未在初始化成员列表中的成员赋默认值，如果有非平凡构造函数，默认构造函数会被删除，union会因找不到默认构造函数而初始化失败，默认析构函数同理，例如以下程序，string有非平凡构造函数。
#include <string>
using namespace std;
union T {
string s;
int n;
};
int main() {
T t;
}
// error: use of deleted function ‘T::T()’
// error: union member ‘T::s’ with non-trivial ‘std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::basic_string() [with _CharT = char; _Traits = std::char_traits<char>; _Alloc = std::allocator<char>]’
// error: use of deleted function ‘T::~T()’
// error: union member ‘T::s’ with non-trivial ‘std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::~basic_string() [with _CharT = char; _Traits = std::char_traits<char>; _Alloc = std::allocator<char>]’
解决办法是手动定义union的构造函数，去初始化各成员。采用placement new将s构造在其地址&s上。这样就能通过编译了。
#include <string>
using namespace std;
union T {
string s;
int n;
public:
T() {
new (&s) string;
}
~T() {
s.~string();
}
};
int main() {
T t;
}
// C++11可编译通过，C++98不行，会提示不允许string成员
匿名非受限联合体
匿名联合体可以直接访问成员名。在以下例子中，匿名联合体起到了“变长成员”的作用，节省空间，避免维护多个成员。
#include <cstring>
using namespace std;
struct Student {
Student(bool g, int a): gender(g), age(a) {}
bool gender;
int age;
};
class Singer {
public:
enum Type {STUDENT, NATIVE, FOREIGNER};
Singer(bool g, int a): s(g, a) {t = STUDENT;}
Singer(int i): id(i) {t = NATIVE;}
Singer(const char* n, int s) {
int size = (s > 9)? 9 : s;
memcpy(name, n, size);
name[s] = '\0';
t = FOREIGNER;
}
~Singer(){}
private:
Type t;
union {
Student s;
int id;
char name[10];
};
};
int main() {
Singer(true, 13);
Singer(310217);
Singer("J Michael", 9);
}
不过我本人觉得书里的这个case不切实际，非要挤在一起，为何不拆成三个类。
网友评论