灵活数组成员在C ++中是否有效？

Question

在C99中，您可以这样声明结构的灵活数组成员：struct blah{    int foo[];};但是，当某人在工作时尝试使用C ++中的clang编译一些代码时，该语法不起作用。（它已经与MSVC一起使用。）我们必须将其转换为：struct blah{    int foo[0];};纵观C ++标准，我发现根本没有引用弹性成员数组。我一直认为这[0]是一个无效的声明，但是显然对于灵活的成员数组而言，它是有效的。弹性成员数组在C ++中实际上有效吗？如果是这样，是正确的声明[]还是[0]？

Answer 1

C ++于1998年首次标准化，因此它早于C中添加了灵活数组成员（C99中的新增功能）。2003年对C ++进行了更正，但是并没有添加任何相关的新功能。C ++的下一个修订版（C ++ 0x）仍在开发中，似乎没有在其中添加灵活的数组成员。

Answer 2

C ++在结构的末尾不支持C99灵活数组成员，无论是使用空索引符号还是0索引符号（除非特定于供应商的扩展名）：

struct blah

{

    int count;

    int foo[];  // not valid C++

};

struct blah

{

    int count;

    int foo[0]; // also not valid C++

};

据我所知，C ++ 0x也不会添加它。

但是，如果将数组的大小设置为1个元素：

struct blah

{

    int count;

    int foo[1];

};

事情是有效的，并且运作良好。您可以使用不太可能出现一次性错误的表达式分配适当的内存：

struct blah* p = (struct blah*) malloc( offsetof(struct blah, foo[desired_number_of_elements]);

if (p) {

    p->count = desired_number_of_elements;

    // initialize your p->foo[] array however appropriate - it has `count`

    // elements (indexable from 0 to count-1)

}

因此，它可以在C90，C99和C ++之间移植，并且与C99的灵活数组成员一样好用。

雷蒙德·陈（Raymond Chen）对此写得很好：为什么有些结构以大小为1的数组结尾？

注意：在Raymond Chen的文章中，在初始化“灵活”数组的示例中有一个错字/错误。它应显示为：

for (DWORD Index = 0; Index < NumberOfGroups; Index++) { // note: used '<' , not '='

  TokenGroups->Groups[Index] = ...;

}

Answer 3

第二个将不包含元素，而是指向blah。因此，如果您具有这样的结构：

struct something

{

  int a, b;

  int c[0];

};

您可以执行以下操作：

struct something *val = (struct something *)malloc(sizeof(struct something) + 5 * sizeof(int));

val->a = 1;

val->b = 2;

val->c[0] = 3;

在这种情况下，c它将表现为5 ints 的数组，但数组中的数据将在something结构之后。

我正在研究的产品将其用作大小字符串：

struct String

{

  unsigned int allocated;

  unsigned int size;

  char data[0];

};

由于受支持的体系结构，这将消耗8个字节plus allocated。

当然，所有这些都是C，但是例如g ++毫不费力地接受了它。