空类

1. 概念：

所谓的“空类”是一个class/struct类型，它没有非静态成员变量（静态成员不会增加类实例的大小），也没有虚拟函数（会导致虚表指针）

最简单的空类：

class empty1{};

像empty1这样仅有类声明而没有任何其他东西的真正“空类”确实没有用，但有另外许多很有用的“空类”：它们被编译器认为是“空类”，但实际上却不是“空类”，可以包含许多有用的功能，但类实例却不会占用内存空间，这些功能包括typedef，静态成员变量，成员函数，友元函数/枚举等，起到一个对功能“打包”的作用。

C++现实代码中有非常多的有用“空类”的例子，如标准库中的函数对象greater<>，less<>，plus<>等，它们都是“空类”，因为它们仅提供一个operator()。许多boost组件也都使用了大量作为技术手段的“空类”，例如integer库和operators库，还有模板元编程中使用的所有元函数。

虽然空类不含有任何数据成员，理论上不应占据内存，但实际上单独使用它时仍然需要占用一定的内存空间。因为C++不允许存在0大小的对象，所以大多数C++编译器会暗地里在类中插入一个char以使它具有至少为1字节的大小。