C/C++ 中的0長數組（柔性數組）

 

在標準C和C++中0長數組如charArray[0]是不允許使用的，因為這從語義邏輯上看，是完全沒有意義的。

但是，GUN中卻允許使用，而且，很多時候，應用在了變長結構體中，如：

]; 

首先對0長數組做一個解釋：

用途 ：長度為0的數組的主要用途是為了滿足需要變長度的結構體。

用法 ：在一個結構體的最後 ，申明一個長度為0的數組，就可以使得這個結構體是可變長的。對於編譯器來說，此時間長度度為0的數組並不佔用空間，因為數組名本身不佔空間，它只是一個位移量， 數組名這個符號本身代 表了一個不可修改的地址常量 （注意：數組名永遠都不會是指標！ ），但對於這個數組的大小，我們可以進行動態分配.

請仔細理解後半部分，對於編譯器而言，數組名僅僅是一個符號，它不會佔用任何空間，它在結構體中，只是代表了一個位移量，代表一個不可修改的地址常量！

對於0長數組的這個特點，很容易構造出變成結構體，如緩衝區，資料包等等：

Struct Buffer

{

Int len;

Char cData[0];

};

這樣的變長數組常用於網路通訊中構造不定長資料包，不會浪費空間浪費網路流量，比如我要發送1024位元組的資料，如果用定長包，假設定長包的長度為2048，就會浪費1024個位元組的空間，也會造成不必要的流量浪費

Struct packet

{

    char data[2048];

}

packet p;

memcpy(p.data,"1024 datas.........",1024)

send(socket,(char*)&p,sizeof(p));

由於考慮到資料的溢出，變長資料包中的data數組長度一般會設定得足夠長足以容納最大的資料，因此packet中的data數組很多情況下都沒有填滿資料，因此造成了浪費，而如果我們用變長數組來進行封包的話，就不會造成浪費（最多會造成4個位元組的浪費，包頭的int型的len不屬於資料因此算是浪費），如前面的Buffer結構體，假如我們要發送1024個位元組，我們如何構造這個資料包呢：

char *tmp = (char*)malloc(sizeof(Buffer)+1024) //這句代碼的作用是申請一塊連續的記憶體空間，這塊記憶體空間的長度是Buffer的大小加上1024資料的大小，由兩部分構成，sizeof(Buffer)和1024,如果仔細觀察的話，會發現這種申請方法比第一種多了一段sizeof(Buffer)大小的空間，原因何在？如下

Buffer *p = (Buffer*)tmp;

p->len = 1024;

memcpy(p.cData,"1024 datas............",1024);

如上三行代碼，首先做一個強制類型轉換，Buffer類型的指標指向記憶體的起始位置，這段記憶體要分兩部分使用，前部分4個位元組p->len，作為包頭(就是多出來的那部分)，這個包頭是用來描述緊接著包頭後面的資料部分的長度，這裡是1024，所以前四個位元組賦值為1024(既然我們要構造不定長資料包，那麼這個包到底有多長呢，因此，我們就必須通過一個變數來表明這個資料包的長度，這就是len的作用)，而緊接其後的記憶體是真正的資料部分，通過p->cData定位到該部分的起始地址，最後，進行一個memcpy()記憶體拷貝，把要發送的資料填入到這段記憶體當中，最後：

send(socket,p,sizeof(Buffer)+1024);發送資料