如何静态将二维数组赋值给指针的指针？及结构体静态初始化问题

让我们一步步拆解你遇到的问题，然后给出可行的解决方案：

为什么你的原写法会出错？ #

问题1：无法引用结构体成员n #

在复合字面量的初始化过程中，编译器是按顺序处理成员的，当你在.point的初始化里引用.n时，n的值还没有被完全确定（C标准不允许在同一复合字面量的初始化器中引用其他成员），所以编译器无法识别这个n。

问题2：二维数组与size_t**的类型不匹配 #

你尝试的三种写法本质上都在混淆二维数组和指针数组的区别：

• 二维数组（比如size_t[][4]）的类型是size_t(*)[4]（指向数组的指针），它的内存是连续的一块；
• 而size_t**是指向指针数组的指针，它要求底层是一个数组，每个元素都是指向一维数组的指针，内存布局完全不同。
  强制转换只会骗过编译器，运行时会因为访问非法地址导致崩溃。

正确的静态初始化方式 #

要正确初始化size_t** point，我们需要创建一个指针数组（每个元素指向一个一维数组），然后让point指向这个指针数组的首地址。而且我们可以用复合字面量来完成这一切，不需要提前创建变量：

基础版本 #

#include <stddef.h>

struct foo { 
    size_t n; 
    size_t **point; 
    // 其他无关成员
};

int main(void) {
    struct foo *bar = &(struct foo){
        .n = 4,
        .point = (size_t*[]) {
            (size_t[]) {1, 2, 3, 4},  // 第一个一维数组
            (size_t[]) {5, 6, 7, 8}   // 第二个一维数组
        }
    };
    return 0;
}

优化版本（避免重复写数组长度） #

如果你不想重复写4，可以用宏来统一管理数组长度，这样.n和数组长度能保持一致，也不需要额外变量：

#include <stddef.h>

#define ARRAY_LENGTH 4

struct foo { 
    size_t n; 
    size_t **point; 
    // 其他无关成员
};

int main(void) {
    struct foo *bar = &(struct foo){
        .n = ARRAY_LENGTH,
        .point = (size_t*[]) {
            (size_t[ARRAY_LENGTH]) {1, 2, 3, 4},
            (size_t[ARRAY_LENGTH]) {5, 6, 7, 8}
        }
    };
    return 0;
}

关键解释 #

1. (size_t*[]) { ... }是一个指针数组的复合字面量，它的类型是size_t**，正好匹配point的类型；
2. 里面的(size_t[ARRAY_LENGTH]) { ... }是一维数组的复合字面量，每个都会被隐式转换为指向数组首元素的指针（size_t*），作为指针数组的元素；
3. 宏ARRAY_LENGTH确保了.n的值和数组长度完全一致，避免了硬编码的重复。

注意：这种写法依赖C99及以后的标准，编译时需要确保编译器开启C99支持（比如GCC用-std=c99或更高版本）。

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