你有沒(méi)有遇到過(guò)這樣的問(wèn)題：在C語(yǔ)言中，聲明一個(gè)數(shù)組長(zhǎng)度為0，代碼居然還能跑通？是不是感覺(jué)有點(diǎn)“玄學(xué)”？別急，今天我們就來(lái)聊聊這個(gè)看似荒誕、實(shí)則暗藏玄機(jī)的話(huà)題——《C語(yǔ)言數(shù)組長(zhǎng)度為0》。
Q：C語(yǔ)言允許數(shù)組長(zhǎng)度為0嗎？
A：從標(biāo)準(zhǔn)C（C89/C99）來(lái)看，數(shù)組長(zhǎng)度為0是非法的。編譯器會(huì)報(bào)錯(cuò)：“array size is 0”。但！如果你用的是GNU C擴(kuò)展（GCC），它允許你寫(xiě) `int arr[0];` ——這叫“零長(zhǎng)度數(shù)組”（flexible array member），常用于結(jié)構(gòu)體中，比如：
struct Packet { int type; char data[0]; // GCC允許，實(shí)際不占空間};這時(shí)候，你不能直接訪(fǎng)問(wèn) `data[0]`，因?yàn)闆](méi)有內(nèi)存分配。但你可以這樣用：
struct Packet pkt = malloc(sizeof(struct Packet) + 100);// 把data當(dāng)作動(dòng)態(tài)數(shù)組使用，100字節(jié)存數(shù)據(jù)memcpy(pkt>data, "hello", 5);是不是很像“動(dòng)態(tài)數(shù)組”的雛形？這就是零長(zhǎng)度數(shù)組的妙用——靈活又高效，尤其適合網(wǎng)絡(luò)包、日志緩沖等場(chǎng)景。
Q：那為什么有些項(xiàng)目里能看到 `int arr[0];`？
A：這不是普通數(shù)組，而是柔性數(shù)組成員（Flexible Array Member）。它只在結(jié)構(gòu)體內(nèi)有效，且必須是最后一個(gè)成員。它的本質(zhì)是：告訴編譯器，“這里留個(gè)坑，等我用malloc填上！”
舉個(gè)真實(shí)案例：我在做嵌入式開(kāi)發(fā)時(shí)，曾用它封裝了一個(gè)UDP數(shù)據(jù)包結(jié)構(gòu)：
typedef struct { uint16_t header; uint8_t payload[0];} udp_packet_t;udp_packet_t pkt = malloc(sizeof(udp_packet_t) + 1400);// 1400字節(jié)用來(lái)放payload，完美避開(kāi)固定大小限制這種寫(xiě)法比 `char payload;` 更安全，也更直觀(guān)——你知道它就是個(gè)“可變長(zhǎng)字段”，而不是隨便指針。
Q：如果我真寫(xiě)了 `int arr[0];` 在函數(shù)里，會(huì)發(fā)生什么？
A：如果你用的是標(biāo)準(zhǔn)C，編譯直接失??；如果是GCC，程序可能編譯通過(guò)但運(yùn)行時(shí)出錯(cuò)（訪(fǎng)問(wèn)越界）。千萬(wàn)別這么干！除非你是想搞清楚編譯器行為 ??
總結(jié)一下：數(shù)組長(zhǎng)度為0不是bug，而是一種高級(jí)技巧。它出現(xiàn)在結(jié)構(gòu)體中時(shí)，是C語(yǔ)言對(duì)內(nèi)存布局的極致掌控；出現(xiàn)在函數(shù)內(nèi)時(shí)，往往是代碼錯(cuò)誤。理解它，能讓你寫(xiě)出更專(zhuān)業(yè)、更高效的C代碼。
下次看到別人用 `int arr[0];`，別急著吐槽，先問(wèn)問(wèn)：“這是結(jié)構(gòu)體嗎？”——說(shuō)不定他正在優(yōu)雅地玩轉(zhuǎn)內(nèi)存呢！?
