1. 問題來源

今天在結構體里面使用變長數組來封裝消息體，運行程序時彈出如下錯誤：

*** stack smashing detected ***: <unknown> terminated
Aborted (core dumped)

問題已經解決，由于源程序不方便截取，現在通過一個實例來復現問題。

2. 問題復現

2.1 初始程序

#include <stdio.h>
#include <string.h>
#include <stdlib.h>
typedef struct {
    int a；
    char body[];
} msg_t;
int main(void)
{
    msg_t msg;
    char *pdu = "abcdefg";
    strcpy(msg.body,pdu);
    printf("msg body:%s\n",msg.body);
    return 0;
}

上述程序編譯是沒有問題的，但如果帶變長數組的結構體換兩種寫法，會復現兩種錯誤。

2.2 獨立變長數組復現

typedef struct {
    char body[];
} msg_t;

結構體中只有變長數組body[]，無其他成員。編譯錯誤如下：

test.c:7:10: error: flexible array member in a struct with no named members
? ? ?char body[];

這種情況在實際中并不會出現，如果只有一個成員，就沒必要多一層結構體。

2.3 變長數組置前復現

typedef struct {
	char body[];
	int a;
} msg_t;

變長數組body[]不為結構最后一個成員。編譯錯誤如下：

test.c:7:10: error: flexible array member not at end of struct
? ? ?char body[];

這種情況就是按照C99標準變長數組必須是結構體的最后一個成員。

2.4 緩沖區溢出復現

運行編譯出的可執行程序，打印錯誤如下：

msg body:abcdefg
*** stack smashing detected ***: <unknown> terminated
Aborted (core dumped)

這里是因為沒有為變長數組body分配內存，檢測到了緩沖區溢出，通過如下表達式分配內存：

msg_t *msg= (msg_t*)malloc(sizeof(msg_t)+16*sizeof(char));

這樣就為結構體指針msg分配了一塊內存空間，程序變為：

#include <stdio.h>
#include <string.h>
#include <stdlib.h>
typedef struct {
    int a;
    char body[];
} msg_t;
int main(void)
{
    msg_t *msg = (msg_t*)malloc(sizeof(msg_t)+16*sizeof(char));
    char *pdu = "abcdefg";
    strcpy(msg->body,pdu);
    printf("msg body:%s\n",msg->body);
    free(msg);
    return 0;
}

編譯成功，運行結果正常：

msg body:abcdefg

3. 結構體變長數組使用要點

• 結構體中不能只有變長數組一個成員，同時變長數組必須為結構體最后一個成員。
• 變長數組不占用結構體的存儲空間，長度為0，數組名只是一個占位符。sizeof()計算結構體大小時，變長數組在其中長度為0。
• 使用變長數組結構體時，用malloc()分配內存空間。使用完畢用free()可以直接釋放整個結構體的空間。