在C99中，您可以这样声明一个结构体的柔性数组成员：
struct blah
{
int foo[];
};
然而，当我们在工作中有人尝试使用clang编译C++代码时，那个语法就不能用了。（使用MSVC时可以）我们不得不将其转换为：
struct blah
{
int foo[0];
};
在查阅了C++标准后，我发现完全没有提到可变成员数组；我一直认为[0]是无效的声明，但显然对于可变成员数组它是有效的。可变成员数组在C++中是否有效？如果有效，正确的声明是[]还是[0]？
C++不支持在结构体末尾使用C99灵活数组成员，无论是使用空索引符号还是0索引符号（除了一些特定于厂商的扩展）：
struct blah
{
int count;
int foo[]; // not valid C++
};
struct blah
{
int count;
int foo[0]; // also not valid C++
};
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的文章中，有一个打印错误/bug在初始化“灵活”数组的示例中。应该这样写：
for (DWORD Index = 0; Index < NumberOfGroups; Index++) { // note: used '<' , not '='
TokenGroups->Groups[Index] = ...;
}
int* p = malloc(sizeof(int)*4); p[3] = 0;。 - Michael Burrp->foo是类型为blah[1]的，所以p->foo[1]是未定义行为。但是，尽管p->foo[1]超出了对象foo的范围，但它并没有超出使用malloc分配的char数组的范围，因此它是在一个对象内部。通过char *进行适当的强制转换，至少可以进行读取访问。不过，我无法记住标准法律术语的具体规定。 - Steve JessopC++在1998年首次被标准化，因此它比C中灵活数组成员的添加要早（这是在C99中新增的）。在2003年有一个对C++的勘误，但那并没有添加任何相关的新功能。下一版的C++（C++2b）仍在开发中，似乎仍未添加灵活数组成员。
g++给出一个警告？使用-std=c++xx -Wall -Wextra好像不够，感觉很可怕。:-（ - Ciro Santilli OurBigBook.com-Wpedantic或者-pedantic会触发警告。 - Werner Henze如果您的应用程序仅需要几个已知的大小，那么您可以使用模板有效地实现一个灵活的数组。
template <typename BASE, typename T, unsigned SZ>
struct Flex : public BASE {
T flex_[SZ];
};
flex_的大小将在编译时固定。但是，您可以使用任意多个大小，每个大小将表示不同的类型。 - jxh如果你只想要
struct blah { int foo[]; };
那么你根本不需要结构体，而只需处理一个malloc/new分配的int数组。
如果你有一些成员在开头：
struct blah { char a,b; /*int foo[]; //not valid in C++*/ };
然后在C++中，我想你可以用一个foo成员函数来替换foo：
struct blah { alignas(int) char a; char b;
int *foo(void) { return reinterpret_cast<int*>(&this[1]); } };
使用示例：
#include <stdlib.h>
struct blah {
alignas(int) char a;
char b;
////////
int *foo(void) { return reinterpret_cast<int*>(&this[1]); }
};
int main()
{
blah *b = (blah*)malloc(sizeof(blah)+10*sizeof(int));
if(!b) return 1;
b->foo()[1]=1;
}
int 替换为 double，包括 alignas 和强制类型转换/返回值。一般来说，在 C 或 C++ 中，只要（1）有足够的空间和（2）结构体具有相等或更大的对齐方式，就可以在 malloced/aligned_alloced 结构体之后放置数组，以便 "just after" (&this[1]) 足够对齐。 - Petr Skocikalignas()来对齐一种不太严格对齐的类型可能会强制将一个更严格对齐的struct元素转换为无效的对齐方式。用最严格的元素类型替换alignas()并不是一个好的解决方案，因为包含其他structs的复杂structs可能会因添加了更严格对齐的类型而导致其中一个子struct发生改变。 - Andrew Henleblah之后。因此，如果您有这样的结构：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个int的数组，但数组中的数据将位于something结构体之后。struct String
{
unsigned int allocated;
unsigned int size;
char data[0];
};
已分配。sizeof(String)，而不会考虑你为 data 分配的大小。但只要你将其作为引用或指针传递，它应该可以工作，对吗？ - filipeT[0]既不是有效的类型说明符，也不是合法的语法。你应该使用T[]。 - Johannes Schaub - litb[0]声明它们的论点，这是无效的语法。 - underscore_d一项提案正在进行中，可能会被纳入未来的 C++ 版本中。 详情请参见 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1039r0.html（该提案相对较新，因此可能会发生变化）。
int foo[] 或者 int foo[0] 可能无法编译。虽然有一个提案正在讨论中，但它尚未被最新版本的C++（C++2b）接受。问题在于，如果您在最高警告级别(-Wall --pedantic)下使用此扩展，可能会导致警告。
clang -fsanitize=undefined也可以正常工作：#include <new>
#include <type_traits>
struct A {
int a[1];
};
int main()
{
using storage_type = std::aligned_storage_t<1024, alignof(A)>;
static storage_type memory;
A *ptr_a = new (&memory) A;
ptr_a->a[2] = 42;
return ptr_a->a[2];
}
{{链接1：演示}}
glibc 头文件，我发现有一些可变数组成员的用法，例如在声明为以下内容的 struct inotify 中（省略了注释和一些无关的成员）：struct inotify_event
{
//Some members
char name __flexarr;
};
__flexarr宏的定义如下：
/* Support for flexible arrays.
Headers that should use flexible arrays only if they're "real"
(e.g. only if they won't affect sizeof()) should test
#if __glibc_c99_flexarr_available. */
#if defined __STDC_VERSION__ && __STDC_VERSION__ >= 199901L
# define __flexarr []
# define __glibc_c99_flexarr_available 1
#elif __GNUC_PREREQ (2,97)
/* GCC 2.97 supports C99 flexible array members as an extension,
even when in C89 mode or compiling C++ (any version). */
# define __flexarr []
# define __glibc_c99_flexarr_available 1
#elif defined __GNUC__
/* Pre-2.97 GCC did not support C99 flexible arrays but did have
an equivalent extension with slightly different notation. */
# define __flexarr [0]
# define __glibc_c99_flexarr_available 1
#else
/* Some other non-C99 compiler. Approximate with [1]. */
# define __flexarr [1]
# define __glibc_c99_flexarr_available 0
#endif
我不熟悉MSVC编译器，但是可能需要根据MSVC版本添加一个条件宏。
标准C++不支持灵活数组成员，然而clang文档表示：
“除了这里列出的语言扩展之外，Clang旨在支持广泛的GCC扩展。”
C++的gcc文档表示：
“GNU编译器为C++语言提供这些扩展（您还可以在C++程序中使用大多数C语言扩展）。”
而C的gcc文档则支持零长度数组。
struct blah
{
int* foo;
};
std::vector:struct blah
{
std::vector<int> foo;
};
std::vector<int>成员变量，这样你就能够关注更有趣的事情了，除非这是一个布局问题。 - fredoverflowblah需要一个连续的分配，并且foo的大小是可变的。关于为什么我们首先需要它，这当然是一个很好的设计问题，但我无法在这里讨论。 - MSNblah需要一个额外的成员，在foo之前才能有效。 - HelloGoodbye