初始化某个结构的大数组——得到段错误

Question

下面的代码给了我一个段错误。 gdb 说它来自memos[j][k] -> cost = -1; 行，但我不知道到底出了什么问题。我在猜测我是如何分配内存的，并且数组索引错误地超出了界限？

memo_array_t mk_empty_memo_array(int l) {

    int n = pow(2, l+2);
    memo_t **memos = (memo_t **) malloc(n*sizeof(struct memo_s));
    for(int i = 0; i < pow(2, l+2); i++) {
        memos[i] = (memo_t *) malloc(n*sizeof(struct memo_s *));
    }
    for (int j = 0; j < n; j++) {
        for (int k = 0; k < pow(2, l+2); k++) {
            memos[j][k] -> cost = -1;
            memos[j][k] -> color = -1;
            memos[j][k] -> split = -1;
            memos[j][k] -> box = NULL; 
            memos[j][k] -> split_value = -1; 
        }
    }

    memo_array_t memo_array = (memo_array_t) malloc(sizeof(struct memo_array_s));
    memo_array -> dim = n;
    memo_array -> memos = memos;

    return memo_array;
}

如果你想查看结构类型定义：

typedef struct memo_s {
  int cost;
  int color;
  int split;
  double split_value;
  box_t box;  
} *memo_t;

typedef struct memo_array_s {
  int dim;
  memo_t **memos;
} *memo_array_t;

Answer 1

应该是：

memo_t **memos = malloc(n*sizeof(struct memo_s **));
for(int i = 0; i < n; i++) {                // ^^ two *s here!
    memos[i] = malloc(n*sizeof(struct memo_s *));   

    // And finally, allocate the actual structs:  
    for(int j = 0; j < n; j++) {    
        memos[i][j] = malloc(sizeof(struct memo_s); 
    }
} 

所以第一个malloc 分配了一个指针数组，第二个malloc 分配了一个指针数组，第三个malloc（你错过了）为实际的结构分配空间（因为你有pointers 的 2D 数组，而不是 structs 的 2D 数组）。

另外，don't cast the result of malloc。并且在循环条件中，使用你计算的n的值，而不是再次计算。

我认为只有一个结构名称然后在名称后添加* 使其成为指针会更简单，而不是将memo_s 作为实际结构并将memo_t 作为指针到那个结构。我在尝试解决这个问题时发现它真的很混乱。

Answer 2

除了您对数组的分配（部分）错误之外，问题在于您没有分配实际的结构。 memo[j][k] 是一个指针，但你不会让它指向任何地方，所以当你取消引用它时，你有 undefined behavior。