Question

我对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

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

Answer 1

在您的情况下，uint8 data[];是flexible array member。您需要先为data分配内存，然后才能实际访问它。

在您的代码中，您试图访问无效的内存位置，从而导致undefined behavior。

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

在特殊情况下，结构中具有多个命名成员的最后一个元素可能数组类型不完整；这称为灵活数组成员。在大多数情况下， flexible数组成员将被忽略。特别是，结构的大小就像省略了柔性数组成员，只是它的尾随填充可能比遗漏意味着。但是，当。（或->）运算符的左操作数为（指向）具有灵活数组成员和正确操作数名称的结构，成员，其行为就好像该成员被最长的数组（具有相同的元素类型），不会使结构大于要访问的对象；的数组的偏移量应保持灵活数组成员的偏移量，即使这可能有所不同从替换阵列的那个。 如果此数组不包含任何元素，则其行为就像它只有一个元素，但是如果尝试访问该元素，则行为是不确定的元素或生成一个指针。

在第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;

初始化结构并通过引用传递

1 个答案: