C结构体指向数组的指针

Question

我有以下代码，但我有点困惑为什么会出现分段错误。

typedef struct {
  int tag;
  int valid;
} Row;

typedef struct {
  int index;
  int num_rows;
  Row **rows;
} Set;

/* STRUCT CONSTRUCTORS */

// Returns a pointer to a new Sow.
// all fields of this row are NULL
Row* new_row() {
  Row* r = malloc(sizeof(Row));
  return r;
}

// Returns a pointer to a new Set.
// the set's index is the given index, and it has an array of
// rows of the given length.
Set* new_set( int index, int num_rows, int block_size ) {
  Set* s = malloc(sizeof(Set));
  s->index = index;
  s->num_rows = num_rows;

  Row* rows[num_rows];
  for (int i = 0; i < num_rows; i++) {
    Row* row_p = new_row();
    rows[i] = row_p;
  }
  s->rows = rows;

  return s;
}

/* PRINTING */

void print_row( Row* row ) {
  printf("<<T: %d, V: %d>>", row->tag, row->valid);
}

void print_set( Set* set ) {
  printf("[ INDEX %d :", set->index);


  for (int i = 0; i < set->num_rows; i++) {
    Row* row_p = set->rows[i];
    print_row(row_p);
  }

  printf(" ]\n");
}


int main(int argc, char const *argv[]) {

  Set* s = new_set(1, 4, 8);
  print_set(s);


  return 0;

}

基本上，一个Set有一个指向Row数组的指针。我认为Row* row_p = set->rows[i];是从集合中获取行的正确方式，但我可能遗漏了什么。

- Nathan Lilienthal

Answer 1

你正在分配一个本地的Row*数组。

  Row* rows[num_rows];
  for (int i = 0; i < num_rows; i++) {
    Row* row_p = new_row();
    rows[i] = row_p;
  }
  s->rows = rows;

并让Set的rows指针指向它。局部数组在函数返回后不再存在，因此s->rows是一个悬空指针。必须使用malloc（或其同类函数）分配在函数返回后仍然有效的内存。

- Daniel Fischer

Answer 2

s->rows被赋予了函数new_set()中本地变量rows的地址，这意味着当new_set()返回时，s->rows是一个悬空指针。动态分配一个Row*数组来进行更正：

s->rows = malloc(num_rows * sizeof(Row*));
if (s->rows)
{
    /* for loop as is. */
}

请记住，s->rows及其元素必须进行free()操作。

- hmjd