char p[0]表示自动分配的缓冲区还是安全指针

这是C++代码，它显示编译器警告，但运行良好。预期的行为如下，但是：

char sz[] = "Hello World";
char *p;
snprintf(p, 12, sz);
printf("%s", p);

上面的代码在运行时，由于没有分配*p而崩溃。好的

char sz[] = "Hello World";
char p[0];
snprintf(p, 12, sz);
printf("%s", p);

上面的代码运行良好，将显示"Hello World"而不会出现任何错误。编译上面的代码时显示编译器警告，使用[0]是非法的，但运行良好。

为什么会这样？

为什么会这样？

它仍然是未定义的行为。

它在您的设置中起作用，因为巧合的是，保存"Hello World"的数组与堆栈中的变量p相邻。

不要依赖这样的代码，也不要使用它们。这种代码的行为可以随着编译器的变化、使用不同的编译器选项等而变化。

此

char p[0];

在链接器决定的位置定义一个长度为0的字符数组
没有空间打印任何内容。

与相比的唯一差异/改进

char *p;

后者甚至没有让链接器决定将零大小的空间放在哪里。

您需要打印空间。这两种方法都没有提供/保留任何。

更改为

char p[<N>];

<N>是一个适当的高数字，以确保足够的空间，如果您可以在编译前决定一个的话。

使用

char* p;
/* ... */
p = malloc(<N>);

如果您在运行前不知道合适的大小。

正如您所期望的，第一个代码段通过访问未初始化的指针(无效内存(来调用未定义的行为。好的

第二个代码段是一个约束冲突。对于像p[0]这样的数组声明，引用C11，第6.7.6.2章，(emphasis mine(

除了可选的类型限定符和关键字static之外，[和]还可以分隔表达式或CCD_ 9。如果它们对表达式(指定数组的大小(进行定界表达式应具有整数类型如果表达式是常量表达式，则应具有大于零的值[….]

因此，代码不是有效的，编译器不应该从该代码中生成二进制代码。增加编译器警告。

char sz[] = "Hello World";
char *p;
snprintf(p, 12, sz);
printf("%s", p);

correct将获得错误内存而不分配

char sz[] = "Hello World";
char p[0];
snprintf(p, 12, sz);
printf("%s", p);

一些编译器根据字符串长度分配大小，但大多数情况下我们应该避免这种情况，这是编译器相关的问题，与snprintf无关

相关内容