在Linux系統(tǒng)里，/usr/include/linux/if_pppox.h里面有這樣一個(gè)結(jié)構(gòu)：
1
struct pppoe_tag 
{
2
__u16 tag_type;
3 __u16 tag_len;
4 char tag_data[0];
5
} __attribute ((packed)); 最后一個(gè)成員為可變長(zhǎng)的數(shù)組，對(duì)于TLV（Type-Length-Value）形式的結(jié)構(gòu)，或者其他需要變長(zhǎng)度的結(jié)構(gòu)體，用這種方式定義最好。使用起來(lái)非常方便，創(chuàng)建時(shí)，malloc一段結(jié)構(gòu)體大小加上可變長(zhǎng)數(shù)據(jù)長(zhǎng)度的空間給它，可變長(zhǎng)部分可按數(shù)組的方式訪問(wèn)，釋放時(shí)，直接把整個(gè)結(jié)構(gòu)體free掉就可以了。例子如下：
1
struct pppoe_tag *sample_tag;
2__u16 sample_tag_len = 10;
3sample_tag = (struct pppoe_tag *)malloc(sizeof(struct pppoe_tag)+sizeof(char)*sample_tag_len);
4sample_tag->tag_type = 0xffff;
5sample_tag->tag_len = sample_tag_len;
6sample_tag->tag_data[0]=.
7 釋放時(shí)，
1free(sample_tag) 是否可以用 char *tag_data 代替呢？其實(shí)它和 char *tag_data 是有很大的區(qū)別，為了說(shuō)明這個(gè)問(wèn)題，我寫(xiě)了以下的程序：
例1：test_size.c
1struct tag1
2{
3 int a;
4 int b;
5}__attribute ((packed));
6
7struct tag2
8{
9 int a;
10 int b;
11 char *c;
12}__attribute ((packed));
13
14struct tag3
15{
16 int a;
17 int b;
18 char c[0];
19}__attribute ((packed));
20
21struct tag4
22{
23 int a;
24 int b;
25 char c[1];
26}__attribute ((packed));
27
28int main()
29{
30 struct tag2 l_tag2;
31 struct tag3 l_tag3;
32 struct tag4 l_tag4;
33
34 memset(&l_tag2,0,sizeof(struct tag2));
35 memset(&l_tag3,0,sizeof(struct tag3));
36 memset(&l_tag4,0,sizeof(struct tag4));
37
38 printf("size of tag1 = %d\n",sizeof(struct tag1));
39 printf("size of tag2 = %d\n",sizeof(struct tag2));
40 printf("size of tag3 = %d\n",sizeof(struct tag3));
41
42 printf("l_tag2 = %p,&l_tag2.c = %p,l_tag2.c = %p\n",&l_tag2,&l_tag2.c,l_tag2.c);
43 printf("l_tag3 = %p,l_tag3.c = %p\n",&l_tag3,l_tag3.c);
44 printf("l_tag4 = %p,l_tag4.c = %p\n",&l_tag4,l_tag4.c);
45 exit(0);
46} __attribute ((packed)) 是為了強(qiáng)制不進(jìn)行4字節(jié)對(duì)齊，這樣比較容易說(shuō)明問(wèn)題。
程序的運(yùn)行結(jié)果如下：
size of tag1 = 8
size of tag2 = 12
size of tag3 = 8
size of tag4 = 9
l_tag2 = 0xbffffad0,&l_tag2.c = 0xbffffad8,l_tag2.c = (nil)
l_tag3 = 0xbffffac8,l_tag3.c = 0xbffffad0
l_tag4 = 0xbffffabc,l_tag4.c = 0xbffffac4 從上面程序和運(yùn)行結(jié)果可以看出：tag1本身包括兩個(gè)32位整數(shù)，所以占了8個(gè)字節(jié)的空間。tag2包括了兩個(gè)32位的整數(shù)，外加一個(gè)char *的指針，所以占了12個(gè)字節(jié)。tag3才是真正看出char c[0]和char *c的區(qū)別，char c[0]中的c并不是指針，是一個(gè)偏移量，這個(gè)偏移量指向的是a、b后面緊接著的空間，所以它其實(shí)并不占用任何空間。tag4更加補(bǔ)充說(shuō)明了這一點(diǎn)。所以，上面的struct pppoe_tag的最后一個(gè)成員如果用char *tag_data定義，除了會(huì)占用多4個(gè)字節(jié)的指針變量外，用起來(lái)會(huì)比較不方便：方法一，創(chuàng)建時(shí)，可以首先為struct pppoe_tag分配一塊內(nèi)存，再為tag_data分配內(nèi)存，這樣在釋放時(shí)，要首先釋放tag_data占用的內(nèi)存，再釋放pppoe_tag占用的內(nèi)存；方法二，創(chuàng)建時(shí)，直接為struct pppoe_tag分配一塊struct pppoe_tag大小加上tag_data的內(nèi)存，從例一的420行可以看出，tag_data的內(nèi)容要進(jìn)行初始化，要讓tag_data指向 strct pppoe_tag后面的內(nèi)存。
1struct pppoe_tag {
2 __u16 tag_type;
3 __u16 tag_len;
4 char *tag_data;
5} __attribute ((packed));
6
7struct pppoe_tag *sample_tag;
8__u16 sample_tag_len = 10; 方法一：
1sample_tag = (struct pppoe_tag *)malloc(sizeof(struct pppoe_tag));
2sample_tag->tag_len = sample_tag_len;
3sample_tag->tag_data = malloc(sizeof(char)*sample_tag_len);
4sample_tag->tag_data[0]= 釋放時(shí)：
1free(sample_tag->tag_data);
2free(sample_tag); 方法二：
1sample_tag = (struct pppoe_tag *)malloc(sizeof(struct pppoe_tag)+sizeof(char)*sample_tag_len);
2sample_tag->tag_len = sample_tag_len;
3sample_tag->tag_data = ((char *)sample_tag)+sizeof(struct pppoe_tag);
4sample_tag->tag_data[0]= 釋放時(shí)：
1free(sample_tag);
所以無(wú)論使用那種方法，都沒(méi)有char tag_data[0]這樣的定義來(lái)得方便。
講了這么多，其實(shí)本質(zhì)上涉及到的是一個(gè)C語(yǔ)言里面的數(shù)組和指針的區(qū)別問(wèn)題。char a[1]里面的a和char *b的b相同嗎？《Programming Abstractions in C》（Roberts, E. S.，機(jī)械工業(yè)出版社，2004.6）82頁(yè)里面說(shuō)：“arr is defined to be identical to &arr[0]”。也就是說(shuō)，char a[1]里面的a實(shí)際是一個(gè)常量，等于&a[0]。而char *b是有一個(gè)實(shí)實(shí)在在的指針變量b存在。所以，a=b是不允許的，而b=a是允許的。兩種變量都支持下標(biāo)式的訪問(wèn)，那么對(duì)于a[0]和b[0]本質(zhì)上是否有區(qū)別？我們可以通過(guò)一個(gè)例子來(lái)說(shuō)明。
例二：
10 #include <stdio.h>
20 #include <stdlib.h>
30
40 int main()
50 {
60 char a[10];
70 char *b;
80
90 a[2]=0xfe;
100 b[2]=0xfe;
110 exit(0);
120 } 編譯后，用objdump可以看到它的匯編：
080483f0 <main>:
80483f0: 55 push %ebp
80483f1: 89 e5 mov %esp,%ebp
80483f3: 83 ec 18 sub $0x18,%esp
80483f6: c6 45 f6 fe movb $0xfe,0xfffffff6(%ebp)
80483fa: 8b 45 f0 mov 0xfffffff0(%ebp),%eax
80483fd: 83 c0 02 add $0x2,%eax
8048400: c6 00 fe movb $0xfe,(%eax)
8048403: 83 c4 f4 add $0xfffffff4,%esp
8048406: 6a 00 push $0x0
8048408: e8 f3 fe ff ff call 8048300 <_init+0x68>
804840d: 83 c4 10 add $0x10,%esp
8048410: c9 leave
8048411: c3 ret
8048412: 8d b4 26 00 00 00 00 lea 0x0(%esi,1),%esi
8048419: 8d bc 27 00 00 00 00 lea 0x0(%edi,1),%edi 可以看出，a[2]＝0xfe是直接尋址，直接將0xfe寫(xiě)入&a[0]+2的地址，而b[2]=0xfe是間接尋址，先將b的內(nèi)容（地址）拿出來(lái)，加2，再0xfe寫(xiě)入計(jì)算出來(lái)的地址。所以a[0]和b[0]本質(zhì)上是不同的。但當(dāng)數(shù)組作為參數(shù)時(shí)，和指針就沒(méi)有區(qū)別了。
int do1(char a[],int len);
int do2(char *a,int len);
這兩個(gè)函數(shù)中的a并無(wú)任何區(qū)別。都是實(shí)實(shí)在在存在的指針變量。
順便再說(shuō)一下，對(duì)于struct pppoe_tag的最后一個(gè)成員的定義是char tag_data[0]，某些編譯器不支持長(zhǎng)度為0的數(shù)組的定義，在這種情況下，只能將它定義成char tag_data[1]，使用方法相同。