灵活数组类型

灵活数组类型[1]C99引入的语言特性。[2]即在struct数据类型的最后一个数据成员,可以为一个未指明长度的数组类型。例如:

struct double_vector_st {
    size_t length;
    double array[]; // the flexible array member should be last
};

sizeof运算符作用于这个struct,返回灵活数组成员的偏移量。在堆上分配这种struct,应该保留灵活数组的空间。如下例:

struct double_vector_st *allocate_double_vector(size_t len) {
   struct double_vector_st *vec = malloc(sizeof *vec + len * sizeof vec->array[0]);

   if (!vec) {
       perror("malloc double_vector_st failed");
       exit(EXIT_FAILURE);
   }

   vec->length = len;

   for (size_t ix = 0; ix < len; ix++)
       vec->array[ix] = 0.0;

   return vec;
}

C++语言标准尚未支持灵活数组类型。但Visual C++2015支持。

参考文献

  1. ^ Lesser known C features. [2014-12-30]. (原始内容存档于2014-12-23). 
  2. ^ http://www.open-std.org/jtc1/sc22/WG14/www/docs/n1256.pdf页面存档备份,存于互联网档案馆) section §6.7.2.1, item 16, page 103