正确的静态数组大小

Question

我有一个可以工作的函数，但我想知道为什么static char out[0]; 在需要在范围内静态分配内存时不会产生警告？在此示例中，out 的大小的正确值是多少？：

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

char *hex(char *s)
{
    int i, l = (int)strlen(s);
    static char out[0]; // should it be 7 ?
    for(i = 0; i < l; i++) {
        s[i] -= 5;
        sprintf(&out[i*6], "0x%02x, ", (unsigned char)s[i]);
    }
    return out;
}

int main(void)
{
    char s[] = "hello";
    printf("%s", hex(s)); // 0xa8, 0xa5, 0xac, 0xac, 0xaf, 
    return 0;
}

Answer 1

据我所知，没有任何 C 编译器会针对越界数组访问发出警告。你自己来确保数组索引在界限内。

Answer 2

我认为你必须使用 malloc 动态分配：

char *out = malloc(6 * strlen(s) + 1); // 6 = strlen("0xXX, ")

而且别忘了在你使用后释放“out”

Answer 3

为什么是静态字符输出[0]；不抛出警告

这是undefined behavior 指定一个零大小的数组，编译器没有义务在这种情况下产生诊断。如果我们查看C99 draft standard 部分6.7.5.2 数组声明符 段落1 说（强调我的）：

[..]如果他们分隔了一个表达式（它指定了一个数组的大小），那么 表达式应具有整数类型。 如果表达式是一个常量表达式，它的值应该大于零.[...]

尽管在这种情况下gcc 会警告您，如果您使用-pedantic 标志，我会收到以下警告：

警告：ISO C 禁止零大小数组“输出”[-pedantic]

如果它也 undefined 访问数组越界，这里同样适用于警告。

如果我们查看第 2 段中3.4.3 部分中未定义行为的定义，则表示（强调我的）：

注意可能的未定义行为范围从完全忽略具有不可预测结果的情况到在翻译或程序执行期间以环境特征的记录方式表现（有或没有发出诊断消息） , 终止翻译或执行（发出诊断消息）。

使用static 变量作为输出是一个有问题的设计，这意味着该方法的每个调用者都将共享相同的输出。更好的选择是使用 malloc 动态分配内存，这意味着您必须记住在完成后释放内存。