妙用0元素數組 實現大小可變結構體

妙用0元素數組 實現大小可變結構體

#include <stdio.h>
#include <string.h>
#include <stdlib.h>
struct aa{ 
    int a;
    int b;
};

struct bb{ 
    struct aa test[0];
};

int main(void)
{
    struct bb *p=(struct bb*)malloc(sizeof(struct bb)+sizeof(struct aa)*100);
    p->test[0].a=10;
    p->test[0].b=20;
    printf("%d,%d\n",p->test[0].a,p->test[0].b);
    return 0;
}

看這個結構體的定義：
typedef struct st_type
{
     int nCnt;
     int item[0];
}type_a;
（有些編譯器會報錯沒法編譯能夠改爲：）
typedef struct st_type
{
     int nCnt;
     int item[];
}type_a;
    這樣咱們就能夠定義一個可變長的結構，用sizeof(type_a)獲得的只有4，就是sizeof(nCnt)=sizeof(int)那個0個元素的數組沒有佔用空間，然後咱們能夠進行變長操做了。
        C語言版：        type_a *p = (type_a*)malloc(sizeof(type_a)+100*sizeof(int));
        C++語言版:        type_a *p = (type_a*)new char[sizeof(type_a)+100*sizeof(int)];
    這樣咱們就產生了一個長爲100的type_a類型的東西用p->item[n]就能簡單地訪問可變長元素，原理十分簡單，分配了比sizeof(type_a)多的內存後int item[];就有了其意義了，它指向的是int nCnt;後面的內容，是沒有內存須要的，而在分配時多分配的內存就能夠由其來操控，是個十分好用的技巧。
而釋放一樣簡單：
        C語言版：free(p);
        C++語言版：delete []p;
    這個被稱爲靈活/彈性數組成員(fleible array member)C89不支持這種東西，C99把它做爲一種特例加入了標準。可是，C99所支持的是incomplete type，而不是zero array，形同int item[0];這種形式是非法的，C99支持的形式是形同int item[];只不過有些編譯器把int item[0];做爲非標準擴展來支持，並且在C99發佈以前已經有了這種非標準擴展了，C99發佈以後，有些編譯器把二者合而爲一。

    下面是C99中的相關內容：
6.7.2.1 Structure and union specifiers
    As a special case, the last element of a structure with more than one named member may have an incomplete array type; this is called a flexible array member. With two exceptions, the flexible array member is ignored. First, the size of the structure shall be equal to the offset of the last element of an otherwise identical structure that replaces the flexible array member with an array of unspecified length.106) Second, when a . (or ->) operator has a left operand that is (a pointer to) a structure with a flexible array member and the right operand names that member, it behaves as if that member were replaced with the longest array (with the same element type) that would not make the structure larger than the object being accessed; the offset of the array shall remain that of the flexible array member, even if this would differ from that of the replacement array. If this array would have no elements, it behaves as if it had one element but the behavior is undefined if any attempt is made to access that element or to generate a pointer one past it.

注意區分 C99新增的「可變長數組」：
C89 標準規定，數組大小必須是在編譯時刻肯定的；在C99 中，這個標準項被擴展，能夠是運行時刻肯定的值。也就是說， 可變長數組和 C++ 自己沒有關係，只要是支持 C99 的就能夠使用可變長數組，包括支持 C99 的 C 編譯器。

須要注意的是，可變長數組的維數在數組生存期內是不變的，也就是說，可變長數組不是動態的，可變的只是數組的大小。

引進這一特性的目的是爲了支持數值處理。