Question

这是我有两个结构的简化版本：

struct MyStruct1 {
    double d;
}

struct MyStruct2 {
    struct MyStruct1* a;
    int i;
}

我可以按如下方式初始化第二个结构：

void InitStruct(struct MyStruct2 pMyStruct2) {
    static struct MyStruct1 A[] = { {.d=12} , {.d=17} , {.d=1} };
    *pMyStruct2 = (struct MyStruct2) { .a = A, .i = 3 };
}

但实际上我必须以这种方式初始化它（因为这个结构又是一个更大的结构的一部分，应该立即初始化）：

void InitStruct(struct MyStruct2 pMyStruct2) {
    *pMyStruct2 = (struct MyStruct2) { 
        .a = (struct MyStruct1[]) {
            {.d=12} , {.d=17} , {.d=1}},
        .i=3 };
}

两种方式编译时都没有任何警告，但第二种解决方案中的数据已损坏。

我认为内部数组不是静态的，因此.a - 指针立即变为无效。

是否有另一种方法告诉编译器将数组的数据保存在内存中？

Answer 1

C99 standard§6.5.2.5p6说：

复合文字的值是未命名对象的值由初始化列表初始化。如果出现复合文字在函数体外，该对象具有静态存储持续时间;否则，它有自动存储持续时间封闭的块。

在这两种情况下，应该对可变数据进行适当的初始化，并且可以在声明的范围内使用它们。

但是，如果您通过值从函数返回结构，则指针将变为无效。

以下是我用于测试的示例代码。 Valgrind显示没有错误。

#include <stdio.h>

struct MyStruct1 {
  double d;
};

struct MyStruct2 {
  struct MyStruct1* a;
  int i;
};

struct MyStruct1 A[] = { {.d=12} , {.d=17} , {.d=1} };
struct MyStruct2 b1 = { .a = A, .i = 3 };

struct MyStruct2 b2 = { .a = (struct MyStruct1[]) {
                                {.d=12} , {.d=17} , {.d=1}
                            },
                        .i=3 };



int main( void ) {
  struct MyStruct1 B[] = { {.d=12} , {.d=17} , {.d=1} };
  struct MyStruct2 b3 = { .a = B, .i = 3 };

  struct MyStruct2 b4 = { .a = (struct MyStruct1[]) {
                                {.d=12} , {.d=17} , {.d=1}
                            },
                          .i=3 };

  printf("b1->a.d=%1.2f\n", b1.a->d);
  printf("b2->a.d=%1.2f\n", b2.a->d);

  printf("b3->a.d=%1.2f\n", b3.a->d);
  printf("b4->a.d=%1.2f\n", b4.a->d);

}

结构初始化期间的静态数组初始值

1 个答案: