關注、星標公眾號，直達精彩內容來源：技術讓夢想更偉大作者：李肖遙

最近在做通信協(xié)議相關項目，在通信過程中一般都會有包長，數(shù)據(jù)緩沖等等信息，而實際場景中，數(shù)據(jù)包長度是不確定的，使用數(shù)組的定長包或者指針數(shù)據(jù)包都有一定的缺陷，那么可變長的數(shù)據(jù)緩存方法有嗎？

有的，這就是0長度數(shù)組，又稱為柔性數(shù)組（flexible array），通常用來實現(xiàn)變長數(shù)組。

變長數(shù)組簡介

變長數(shù)組是數(shù)組大小待定的數(shù)組，C語言中結構體的最后一個元素可以是大小未知的數(shù)組，也就是所謂的0長度。

在標準C/C 中，不允許用0長度數(shù)組，但在GNU C中，卻可以定義0長度數(shù)組(在C99之前寫成長度為0，C99中可以直接不寫索引)，我們可以用結構體來創(chuàng)建變長數(shù)組。

typedef?struct?{
????int?len;
????int?array[0];//int?array[];
}SoftArray;
它的主要用途是為了滿足需要變長度的結構體，為了解決使用數(shù)組時內存的冗余和數(shù)組的越界問題。

sizeof(SoftArray);的值在32位操作系統(tǒng)下剛好為4，也就是一個int型變量大小，這說明結構體中的數(shù)組沒有占用內存。

對于編譯器來說，此時長度為0的數(shù)組并不占用空間，因為數(shù)組名本身不占空間，它只是一個偏移量，數(shù)組名這個符號本身代表了一個不可修改的地址常量 （注意：數(shù)組名永遠都不會是指針?。?/p>對于這個數(shù)組的大小，我們可以進行動態(tài)分配！

對于變長數(shù)組的這個特點，很容易構造出變成結構體，如緩沖區(qū)，數(shù)據(jù)包等等

變長度數(shù)組的優(yōu)缺點

這次的通信協(xié)議項目，假如使用數(shù)組來傳遞數(shù)據(jù)，那么一般定義如下，其中包的長度maxLen是一個定值，假設為1024。

typedef?struct?{
????int?len;
????int?array[maxLen];
}SoftArray;
這包數(shù)據(jù)的大小為sizeof(int) sizeof(int) * maxLen，由于考慮到數(shù)據(jù)的溢出, maxLen一般會設置得足夠長足以容納最大的數(shù)據(jù), 因此數(shù)組很多情況下可能都沒有填滿數(shù)據(jù), 造成了浪費。

而使用指針的話，則定義如下

typedef?struct?
{
????int?len;
????char?*array;
};
數(shù)據(jù)結構的大小為sizeof(int) sizeof(int *)，使用指針結果作為緩沖區(qū), 只多使用了一個指針大小的空間,不會造成空間的大量浪費，但需要額外開辟和釋放數(shù)據(jù)域的空間，我們并不能假定使用者了解我們開辟的細節(jié), 并按照約定的操作釋放空間, 因此使用起來多有不便, 甚至造成內存泄漏。

變成數(shù)組可以節(jié)約空間，解決使用數(shù)組時內存的冗余和數(shù)組的越界問題。但也有一個缺點就是結構體中的變長數(shù)組只能放在最后面。

typedef?struct?{
????int?len;
????int?array[];
????int?CRC;
}SoftArray;
這種用法是不行的，不支持，會報以下錯誤，如果后續(xù)要加上一些其他的數(shù)據(jù)就不能用了。

其實柔性數(shù)組成員在實現(xiàn)跳躍表時有它特別的用法，在Redis的SDS數(shù)據(jù)結構中和跳躍表的實現(xiàn)上，也使用柔性數(shù)組成員。

為什么0長度數(shù)組不占用存儲空間

由于0長度數(shù)組是GNU C的擴展,有一些巧妙編寫的詭異代碼, 其執(zhí)行結果就是依賴于編譯器和優(yōu)化策略的實現(xiàn)的，我們來看看以下代碼

#include?
#include?

int?main(void)
{
????char?a[0];
????printf("%p\n",?a);

????char?b[0];
????printf("%p\n",?b);

????const?char?*c=?"Hello";
????printf("%p\n",?c);

????const?char?*d?=?"Hello";
????printf("%p\n",?d);

????return?EXIT_SUCCESS;
}
編譯結果是：

可以看到a和b的地址就會被編譯器優(yōu)化到一處, 因為a[0] 和 b[0] 對于程序來說是無法使用的, 同樣編譯器對于相同字符串常量, 往往地址也是優(yōu)化到一處, 減少空間占用。

所以其本質上涉及到的是一個C語言里面的數(shù)組和指針的區(qū)別問題，Programming Abstractions in C一書中提到：

“arr is defined to be identical to