只要在源类中的子对象没有任何虚拟成员函数或者非静止数据成员,那么空base类的优化就不会为它分配任何存储空间。在这个小技巧中,我将会告诉大家一些空类的应用和性能的分支。
看看下面的类:
class Base {};
这个类中没有任何直接或者间接的虚拟成员函数或者自定义的数据成员。这样一个类中的对象不必占用任何存储空间;但是,如果你使用一个sizeof()表达式,你将可以发现它至少占用了1个字节(实际大小取决于你运行的配置):
int n=sizeof(Base); //n 最小必须是1
此时你可能会认为存储空间被浪费了。但是,当你处理的对象是一组数组的时候,这个存储空间的使用是必要的:
Base bases[1000000]; //占用最少100000个字节
这样做有一个很好的理由。允许全部的对象只有0字节将意味着base可能存储在同一个内存地址。实际上,这样做就会使这些对象中的数组变成无用的,因为它没有任何方法存取独立构件。
空类的优化
C++允许优化类的存储空间,这些类都是从空base类中继承而来。比如,源类中的子对象可能有0个字节:
class Derived : public Base{}; //没有存储空间分配给Base
对空类实行强迫方针
空类也可以在标准的模版库中使用。程序首部定义了特别的operator new,如果程序运行失败,它不会丢掉异常的数据。
void * operator new (size_t size, const std::nothrow_t &);
std::nothrow_t是一个空类,按照下面的方式定义它:
namespace std
{
struct nothrow_t {};//empty
}
nothrow_t是一个强制执行的政策,也就是创造一个独特的重载placement new,它可以不必被丢掉。
你也可以使用空类在代码中实行强迫执行政策,比如:
struct no_log {};
int backup(); //默认备份例程
int backup(const no_log & );//更快的备份,通常使用在特别的例子中