0

我对C相当陌生，并且在使用结构时遇到了麻烦。我有以下代码：

typedef struct uint8array {
 uint8 len;
 uint8 data[];
} uint8array;

int compare_uint8array(uint8array* arr1, uint8array* arr2) {
  printf("%i %i\n data: %i, %i\n", arr1->len, arr2->len, arr1->data[0], arr2->data[0]);
  if (arr1->len != arr2->len) return 1;
  return 0;
  }

int compuint8ArrayTest() {
 printf("--compuint8ArrayTest--\n");
 uint8array arr1;
 arr1.len = 2;
 arr1.data[0] = 3;
 arr1.data[1] = 5;    

 uint8array arr2;
 arr2.len = 4;
 arr2.data[0] = 3;
 arr2.data[1] = 5;    
 arr2.data[2] = 7;    
 arr2.data[3] = 1;    

 assert(compare_uint8array(&arr1, &arr2) != 0);
}

现在这个程序的输出是：

 --compuint8ArrayTest--
 3 4
 data: 5, 3

为什么这些值不是我初始化它们的值？我在这里想念什么？

4

1 回答 1

6

在您的情况下，uint8 data[];是一个灵活的数组成员。您需要先分配内存，data然后才能实际访问它。

在您的代码中，您试图访问无效的内存位置，从而导致未定义的行为。

引用C11，第 §6.7.2.1 章（强调我的）

作为一种特殊情况，具有多个命名成员的结构的最后一个元素可能具有不完整的数组类型；这称为灵活数组成员。在大多数情况下，灵活数组成员被忽略。特别是，结构的大小就像省略了柔性数组成员一样，只是它可能具有比省略所暗示的更多的尾随填充。然而，当一个 . （或->）运算符的左操作数是（指向）具有灵活数组成员的结构，右操作数命名该成员，它的行为就像该成员被替换为最长的数组（具有相同的元素类型) 不会使结构大于被访问的对象；数组的偏移量应保持灵活数组成员的偏移量，如果这个数组没有元素，它的行为就好像它有一个元素，但是如果尝试访问该元素或生成一个越过它的指针，则行为是不确定的。

也可以在第 §6.7.2.1 章中找到正确的使用示例

示例 2 声明后：

struct s { int n; double d[]; };

该结构struct s具有灵活的数组成员d。一个典型的使用方法是：

int m = /* some value */;
struct s *p = malloc(sizeof (struct s) + sizeof (double [m]));

并假设调用malloc成功，在大多数情况下，指向的对象的p行为就像 p被声明为：

struct { int n; double d[m]; } *p;
于 2018-10-18T06:42:09.147 回答