c - 使用其他 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 不是 Compile-Time Constant

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

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

谢谢

Answer 1

它主要与初始化有关。

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