C语言结构体中typedef数组初始化仅首元素有效问题及初始化方法咨询

让我们一步步拆解你遇到的问题，找到根源和可行的解决办法：

为什么第二个元素输出0.0？ #

核心原因是数组退化和不完整的初始化：

1. 你可能没注意到，在C语言中，当把数组作为函数参数传递时，编译器会自动把它转换成指向数组第一个元素的指针。也就是说，foo函数里的const struct simple_struct arg_s[2]（或者typedef后的const arr_typedef arg_s），实际会被解析成const struct simple_struct *arg_s——它不再是真正的数组，只是个指针。
2. 当你用*arg_s初始化结构体里的数组时，*arg_s其实就是arg_s[0]，也就是原数组的第一个元素。这时候你只给结构体数组的第一个位置赋了值，剩下的元素会被编译器自动做值初始化——对于double类型来说就是0.0，这就是第二个元素输出0的原因。

为什么去掉解引用会编译报错？ #

当你去掉*直接写test = { arg_s }时，arg_s是一个const struct simple_struct *类型的指针，但结构体里的struct_arr是const struct simple_struct[2]数组。初始化数组的第一个元素时，你试图用指针去初始化struct simple_struct类型的变量，类型完全不匹配，所以编译器抛出了那个错误（报错信息里提到double是因为结构体的第一个成员是double，编译器检查时深入到了成员层级）。

怎么正确初始化整个数组？ #

要让结构体数组的两个元素都被正确初始化，你需要明确提供所有元素的值，或者利用C99及以后的特性。这里有几种靠谱的方法：

方法1：显式列出所有元素 #

直接通过指针访问原数组的每个元素，把它们都放进初始化列表里：

void foo(const struct simple_struct arg_s[2]) {
    struct struct_with_arr test = {
        { arg_s[0], arg_s[1] } // 明确初始化两个元素
    };

    int i;
    for (i = 0; i < 2; i++) {
        printf("value: %f \n", test.struct_arr[i].a);
    }
}

方法2：用复合字面量（C99+） #

复合字面量可以直接生成一个临时数组，用来匹配结构体里的数组类型：

void foo(const struct simple_struct arg_s[2]) {
    struct struct_with_arr test = {
        (const struct simple_struct[2]){ arg_s[0], arg_s[1] }
    };

    int i;
    for (i = 0; i < 2; i++) {
        printf("value: %f \n", test.struct_arr[i].a);
    }
}

方法3：改成指针成员（如果场景允许） #

如果你的代码逻辑允许，可以把结构体里的数组改成指针类型，这样直接赋值指针就行（注意要保证原数组在结构体使用期间一直有效）：

struct struct_with_arr {
    const struct simple_struct *struct_arr; // 替换成指针
};

void foo(const struct simple_struct arg_s[2]) {
    struct struct_with_arr test = { arg_s }; // 直接赋值指针

    int i;
    for (i = 0; i < 2; i++) {
        printf("value: %f \n", test.struct_arr[i].a);
    }
}

方法4：用memcpy（需要去掉const） #

如果结构体里的数组不需要是const的，你可以先初始化结构体，再用memcpy复制整个数组：

// 修改结构体，移除const修饰
struct struct_with_arr {
    struct simple_struct struct_arr[2];
};

void foo(const struct simple_struct arg_s[2]) {
    struct struct_with_arr test;
    memcpy(test.struct_arr, arg_s, sizeof(test.struct_arr)); // 复制整个数组的内容

    int i;
    for (i = 0; i < 2; i++) {
        printf("value: %f \n", test.struct_arr[i].a);
    }
}

验证效果 #

用方法1修改你的代码后，编译运行会得到预期的输出：

value: 1.000000 
value: 2.000000

内容的提问来源于stack exchange，提问作者Alex_na