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

Question

我很好奇为什么以下代码片段无法编译：

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 不是一个编译时常量

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

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

谢谢

Answer 1

它主要与初始化有关。

初始化的变量通常不是通过“将此值放入该位置”的代码来初始化的，而是通过加载特定值范围的定义（分别是 .data）来初始化。 .rodata 段，到它应该在的内存位置。这是由操作系统文件加载器完成的。 （严格来说，这不是 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 的组件（如 BarZero.foo->a），

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

Answer 2

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

#define FooZero  {0, 0}

被视为编译时常量。你可能会说“但是但是，它甚至说const！它怎么可能不是一个常量呢？”事实上，该语言表示您不能更改指定为 const 的值，但您也不能将其用作初始值设定项。您可以问为什么您喜欢，它不会改变语言定义它的方式 - 尽管您的编译器可能会为您提供更改此行为的选项，并且在任何情况下都不难解决。

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