结构赋值的 2 个不同的奇怪错误

Question

拥有此代码：

#include <stdio.h>
#include <stdlib.h>

struct Test { char c; } foo;

int main (void) {

   struct Test *ar[10];
   struct Test *(*p)[] = &ar; //what type of syntax is this *(*p)[]

   *(*p+1) = &foo; // the same  (*p)[1] = &foo
   //this only works


   p[0][1] = &foo  //the same as *(*p+1) 
   ////1error: invalid use of array with unspecified bounds

   (*(*p+1)+1) = &foo // the same as p[1][1] = &foo 
   ////2error: lvalue required as left operand of assignment

   //HOW TO make assignment of p[1][1] = &foo   and NOT p[0][1] ??

   return 0;
}

尝试将地址从结构分配到结构数组时，我遇到了 2 个奇怪的错误。我想要错误解释以及如何将分配（即代码）分配给p[1][1]。

编辑：the same as 语句可能是错误的。我只是想，如果“正常”指针（它们的类型），它们将是平等的

Answer 1

逐行回答你的cmets：

#include <stdio.h>
#include <stdlib.h>

struct Test { char c; } foo;

int main (void) {

   struct Test *ar[10];
   struct Test *(*p)[] = &ar; //what type of syntax is this *(*p)[]

cdecl.org 表示struct Test *(*p)[] 表示declare p as pointer to array of pointer to struct Test。顺便说一句，数组是一个未知/未指定大小的数组，因为方括号中没有任何内容。

   *(*p+1) = &foo; // the same  (*p)[1] = &foo
   //this only works

你是对的，是的，它有效。

   p[0][1] = &foo;  //the same as *(*p+1) 
   ////1error: invalid use of array with unspecified bounds

（我添加了你缺少的分号。）你通常是对的，但在这种情况下，有点迂腐意味着你不是。 x[0] 不等同于*x，而是*(x + 0)。这些通常是等价的，但是当x 是一个指向未知大小的指针时，你不能对其进行指针运算。

   (*(*p+1)+1) = &foo; // the same as p[1][1] = &foo 
   ////2error: lvalue required as left operand of assignment

（我再次添加了您丢失的分号。）不完全是。 p[1][1] 将是 *(*(p+1)+1)。你的*s 和括号是错误的。

   //HOW TO make assignment of p[1][1] = &foo   and NOT p[0][1] ??

你不知道*p指向的数组有多大。

   return 0;
}

Answer 2

来自 C 标准（6.5.2.1 数组下标）

约束

1 表达式之一应具有类型“'指针完成 对象类型''，另一个表达式应该是整数类型，并且 结果的类型为“类型”。

在作业的左侧

p[0][1] = &foo 

o 是由于声明而指向不完整对象类型的指针

struct Test *(*p)[] = &ar;

其中Test *[] 类型是不完整类型，因为数组的大小未知（未指定）。所以编译器会报错。

在此声明中

*(*p+1) = &foo;

在表达式*p + 1 中使用的解引用指针p (*p) 被转换为指向数组ar 的第一个元素的指针，并具有struct Test ** 类型。表达式*p + 1 指向数组的第二个元素，在解除引用 *( *p + 1 ) 后，您将获得数组第二个元素的左值，该元素获取对象 foo 的地址。

在此声明中

(*(*p+1)+1) = &foo;

使用了pointer + 1 类型的右值。所以你不能给这个临时对象赋值。

看起来和这段代码 sn-p 中的一样

int a[] = { 1, 2 };
int *p = &a[0];

p + 1 = &a[1];