C/C++中，空数组、空类、类中空数组的解析及其作用

转自：http://blog.sina.com.cn/s/blog_93b45b0f01015s95.html

我们经常会遇到这些问题：

（1）C++中定义一个空类，他们它的大小（sizeof） 为多少？

（2）只有一个char数据成员的类的大小？

（3）能否定义一个空数组？

（4）空数组名做标示的指针指向什么地方？

（5）空类有什么用？

（6）空数组有什么用？

等等......

这些问题，笔者在这篇文章统统做一个比较详细的解析和认识。

 

1. sizeof是什么？

首先我们要理解sizeof是什么东西？

准确来讲，对于C++这种强类型的语言，在某一时刻，对象的类型的大小是确定的，这个信息在编译的时候直接可以确定，所以我们要明白sizeof并不是一个函数，而是一个返回对象类型大小的宏，这个宏的参数可以是对象，也可以是类型。

我们需要明白的是，在编译结束后，sizeof的那个位置上面是直接被替换成一个常数的，我们用一个简单而直观的实验来证实一下：

int main() {

int a=2;

int b[sizeof(a)];

cout<<sizeof(b)/sizeof(int)<<endl;

}

如果sizeof是作为的函数，那么这个是不可能编译成功的，因为栈上定义数组是一定需要常数（或常数表达式的）。

这样我们就能知道：

sizeof(i++);

这样一句话，i是不可能加1的，因为这句话在编译的时候就已经被转换成的对应的常数，而编译的时候是不会进行运行的，这是常常出现的陷阱之一。

 

2. 空类的大小

很多人都知道，一个空类（后者是空类对象）使用sizeof的时候，结果是1。解释相信大家也知道，想想，如果真是空类。那么对于同一个空类的对象就不会占空间，不会占空间就意味着无法区分。

（有人可能会说，我们只分配对象名，不分配空间，那样的话，你会让整个C/C++语言为空类，以及相关的空类对象设计一套特殊的规则，是这个语言变得非常不合理）。

所以，C++的选择是，自动的给空类插入一个char类型（只一个特殊对待），只要这个类对象将来占空间，那么就可以通过地址来区分他们。

3. 空类的作用

还有一个关于空类的疑问就是，C++语言有必要保留空类吗？空类实现空对象有什么用？

有用的，尤其是在“泛型编程”中，空类（结构）的用处非常广：

在其他的文章中提到，我们利用类型（通常是空类）来区别对待不同类对象的属性。（其实我们是可以通过使用常数来区分的，但是区别我们很容易就能知道）。

使用常数来区分需要使用if else的这种运行时来确定执行的线路的方法，而使用函数重载的方法，在参数中加入一个空类域作为区分不同的函数的方法，编译的时候直接选择，而不是在运行的时候选择，这是非常提高效率的。

要知道，不同的空类，是不同的。他们代表着不同的类型(虽然他们结构一样）。在STL中，使用空类区分不同类型的标志，从而在编译的时候来对不同的类进行有针对性的优化是非常常见的。

template <typename A>

void fun(A a)

{

typedef typename trait<A>::type T;

_fun(A a, *(new T()));

}

template <typename A>

void _fun(A a, int)

{

……

}

template <typename A>

void _fun(A b, float)

{

……

}

当然，空类应该还有其他的用处。我们所有知道和理解的就是：空类是C++中一个有用的机制，不同名称的空类代表着不同的类型。

空类在编译的时候会被编译器自动的加入一个char成员，不为别的，只是为了，让它被实例后的对象占有空间，从而可以区分。

4. 空数组

C中我们可以定义空数组：

int a[0];

使用sizeof的时候你c猜是多少：

0

好吧，这里0，我们可以理解。

但是问题就来了：

既然前面对于空类的情况中，因为需要让对象唯一定位，所以插入char，那么空数组既然sizeof的大小为0，那应该就是不占空间，那么如何区分。

事实上，对于空数组，在C/C++有着特别的交代（可能是具体的实现不同，这里只是使用GCC，G++）。

空数组名是一个指针，（但是又不占空间）指向一个位置：

对于结构体中，空数组名这个指针指向了前面一个成员结束的第一个空间。

对于非结构题中，空数组名这个指针指向的内容，与前一个对象的指针的内容一样（虽然可能他们的类型不一样）。

虽然，我们不知道这两种安排有什么玄机，或者益处，但是无所谓（下一节会介绍空数组的作用），但是针对空数组的sizeof为什么可以为0，我们有了解释。

与空类，不同的是，空数组是一个对象，而不是一个类。既然我们这个对象定义出来了，而且它会指向一个空间（虽然这个空间可能会与其他的地方重叠）但是，我们总算能够区分开不同的空数组。

5. 空数组的作用

其实在C里面，空数组的使用是非常多的。

问题：

假如你想要给一个结构体（代表一个功能）添加一个缓冲区。你会怎么做？

1）定义一个固定长度的buffer数组成员，这样的不好之处在于buffer会被定死。

2）定义一个buffer指针，在构造函数（虽然C没有，但可以使用initialize函数来代替）中动态的创建一个需要大小的buffer，给这个结构体使用。

但是这样就需要我们特别管理这个空间（使用析构函数），否则会很容易出现内存泄露。并且，一个buffer指针还占有了一个空间。

那么C里面，就有一个巧用空数组来达到这个问题的方法。

sttuct  T

{

int a;

int b;

……

char buffer[];

};

我们知道，由于buffer并不占空间，所以，T的对象的总大小是不会把buffer算上的。

struct T * p=(T*)malloc(sizeof(T) +buffer_len);

看到没有，在声请空间的时候，加上buffer_len（所需缓冲区长度），这样结构体和缓冲区一起被申请了，（在结束的时候，也可以直接使用free一起释放，可以避免独立的管理结构体和缓冲区）。

并且我们知道，buffer这个“指针”指向的就是结构体后面的那个buffer_len的空间。

这样做还有一个好处，如果我们分开管理结构体和缓冲区（通常这个时候结构体是一个小碎片）。在申请和释放的时候，很容易在内存中制造出碎片。

而如果向上面的这样管理，结构体，依附这缓冲区（大块）一起被管理。那将是一个很美好的事情。这就是空数组的用处。

6. 类中空数组

class T

{

int a[0];

};

您看这个类的sizeof为多少：

0

你会觉得这像个玩笑，但是其实仔细分析一下，也是可以所通的。

我前面说给一个空类插入一个char成员，是因为想让程序能够区分该类的不同对象。

而这里，我们知道由于空数组是不占内存的，它就像一个指针指向某个地方，但是又不占内存。但是的确我们的类对象能够借助空数组这个东西来区分开来。

所以既然目的达到了，那么为什么还要加入什么一些什么信息呢？