c - 初始化结构并通过引用传递
问题描述
我对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
为什么这些值不是我初始化它们的值?我在这里想念什么?
解决方案
在您的情况下,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;