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

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标准 §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);

}