SunBo

  博客园  :: 首页  :: 新随笔  :: 联系 :: 订阅 订阅  :: 管理
在标准 C 或者 C++ 中由于不支持 0 长度的数组,所以 int array[0]; 这样的定义是非法的。不过有些编译器的扩展功能支持 0 长度的数组。

在 C 中,0 长度的数组的主要用途是用来作为结构体的最后一个成员,然后用它来访问此结构体对象之后的一段内存(通常是动态分配的内存)。由于其非标准性,在程序中尽量避免使用 0 长度的数组。作为替换,可以使用 C99 标准中的不完整数组来替换 0 长度的数组定义。如:

CODE:
struct X {
/* Members */
int array[]; /* Do not write int array[0]; since it is not standard. */
};

>> 但是我的如下代码是能顺利编译且不出警告和错误,而且能运行的啊
>> int array[0]
>> *array = 1;

程序中可能出现的错误有多种。一是语法错误,这类错误很容易在编译阶段检查出来。除此之外,还有一类错误在编译阶段不能或者很难检查出来,这类错误被称为“无定义”,其结果是不确定的。

上面的代码中因为有越界访问数组这一错误存在,所以它的行为(执行的结果)是无定义的。
应用比如:
CODE:
struct A {
int a, b;
char data[0];
/* do not write fields below */
};

struct A *p;

int n = 100, i;
p = malloc(sizeof(struct A) + n);
for (i = 0; i < n; ++i)
p->data[i] = 1;

摘自:http://hi.baidu.com/juneshine/blog/item/5aed91458bf5063e86947309.html

在GNU的指南中,它是如此写道:

struct line {
int length;
char contents[0];
};

//...ommit code here

{
struct line *thisline
= (struct line *) malloc (sizeof (struct line) + this_length);
thisline->length = this_length;
}

这个用法主要用于变长Buffer,struct line的大小为4,结构体中的contents[0]不占用任何空间,甚至是一个指针的空间都不占,contents在这儿只是表示一个常量指针,这个特性是用编译器来实现的,即在使用thisline->contents的时候,这个指针就是表示分配内存地址中的某块buffer,比如malloc (sizeof (struct line) + this_length)返回的是0x8f00a40,thisline->contents指向的位置就是(0x8f00a40 + sizeof(struct line)),而这儿sizeof(struct line)仅仅是一个int的四字节。

对于这个用法,我们定义的结构体指针可以指向任意长度的内存buffer,这个技巧在变长buffer中使用起来相当方便。可能有朋友说,为什么不把最后的contents直接定义为一个指针呢?这儿的差别是这样的,如果定义为一个指针,它需要占用4Bytes,并且在申请好内存后必须人为赋地址才可以。如果使用这个用法,这个常量指针不占用空间,并且无需赋值。

但是,方便并不是绝对的,在释放分配的内存的时候,由于函数free会认为*thisline 只是指向一个4字节的指针,即只会释放length的空间,而对于后面占据大头的buffer却视而不见,这个就需要人为干预;而对于后面的声明指针的方式,则可以直接用Free(thisline->contents)的方式释放掉分配的内存。(这地方说的不明白,让我理解之后,感觉此话是错误的。)

——>如果将零长数组array换成指针*array来使用的话,指针必须重新分配一段内存之后才能使用,那么当想要用socket发送结构体指针的时候,并不会将指针array申请的内存发送过去,因为是不连续的,所有接受socket发送来的数据后,会发现该数据并不是自己想要的。
posted on 2012-07-04 12:29  SunBo  阅读(2189)  评论(0编辑  收藏  举报