C 存储大小不是常量...为什么？

Question

这是一个简单的示例程序

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

const char *hello_string = "Hello";

int main(void)
{
char *world_string = " World";
static char hello_world[strlen(hello_string)+strlen(world_string)];
strcpy(&hello_world[0], hello_string);
strcat(&hello_world[0], world_string);
printf("%s\n", hello_world);
return 0;
}

编译器输出:

test.c: In function ‘main’:
test.c:9:13: error: storage size of ‘hello_world’ isn’t constant
static char hello_world[strlen(hello_string)+strlen(world_string)];
            ^

我意识到在这种情况下完全无用和不必要地使用“static”会导致错误，并且删除它后一切都会正常编译。这只是一个简单的例子来说明我的问题。

我不明白的是，当“hello_string”被声明为 const char * 并且其大小在执行过程中不会改变时，为什么存储大小不是常量。这只是编译器不够聪明，无法知道这一点的情况吗？

Answer 1

当编译器提示存储大小不是常量时，隐式意味着编译时常量，即编译器可以在编译时确定的值。 strlen 的调用显然会在运行时发生，因此编译器无法知道数组的大小。

试试这个:

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

const char hello_string[] = "Hello";

int main(void)
{
    char world_string[] = " World";
    static char hello_world[sizeof hello_string + sizeof world_string];
    strcpy(&hello_world[0], hello_string);
    strcat(&hello_world[0], world_string);
    printf("%s\n", hello_world);
    return 0;
}