使用其他 Const Struct 实例初始化 Const Struct

Question

我很好奇为什么下面的代码 sn-p 不能编译：

typedef struct Foo {
    int a;
    int b;
} Foo;

static const Foo FooZero = { 0, 0 };

typedef struct Bar {
    Foo foo;
    int c;
} Bar;

static const Bar BarZero = { FooZero, 0 };

它抱怨FooZero的使用，指出FooZero不是Compile-Time Constant

但不是吗？我在这里不明白什么？

显然，我可以简单地将初始化程序中 FooZero 的使用替换为 { 0, 0 } - 我提出问题的目的不是如何解决问题 - 我试图了解 @987654329 的根本原因@ 实际上不是编译时常量。

谢谢

Answer 1

主要和初始化有关。

初始化的变量通常不是由“把这个值放到那个位置”的代码初始化的，而是通过一个加载特定值范围的定义来初始化的，.data resp。 .rodata 段，到它应该在的内存位置。这是由 OS 文件加载器完成的。 （严格来说，这不是 C 的属性，C 对此一无所知，而是执行环境的属性。）

也就是说，不可能告诉这个内存区域的一部分从另一个区域复制。但是编译器本身可能会识别声明的意图并将相同的值放在不同的位置。但这可能太过“猜测”了。

在您的情况下：指向FooZero 的指针难道不是更好的解决方案吗？值都一样...

typedef struct Foo {
    int a;
    int b;
} Foo;

static const Foo FooZero = { 0, 0 };

typedef struct Bar {
    Foo * foo;
    int c;
} Bar;

static const Bar BarZero = { &FooZero, 0 };

或者反过来：

typedef struct Foo {
    int a;
    int b;
} Foo;

typedef struct Bar {
    Foo foo;
    int c;
} Bar;

static const Bar BarZero = { { 0, 0 }, 0 };
static const Foo * FooZero = &BarZero.foo; // if that is possible, untested...

在第一种情况下，您必须使用->（如BarZero.foo->a）访问BarZero.foo 的组件，

在第二种情况下，您必须使用->（如FooZero->a）访问FooZero 的组件。

Answer 2

在 C 语言中，const 或 static const 值不被视为“编译时间常数”，而

#define FooZero  {0, 0}

被认为是编译时常量。您可能会说“但是，它甚至说 const！它怎么可能不是一个常数？？”事实上，语言说你不能改变你指定为const的东西的值，但你也不能把它用作初始化器。你可以问你为什么喜欢它，它不会改变语言定义它的方式——尽管你的编译器可能会给你一个选项来改变这种行为，而且在任何情况下都不会太难解决。

我认为 C 编译器将静态常量视为全局变量是很常见的——也就是说，实际上为变量分配空间（永远不会改变），而不是将硬值编程到机器代码中，如果你做了一个#define。在这种情况下，常量，实际上正如编译器所说，不是编译时常量，尽管它们在初始化后（在运行时）是用于所有其他目的的常量。