代码之家 › 专栏 › 技术社区 › Antti Haapala -- Ð¡Ð»Ð°Ð²Ð° Ð£ÐºÑÐ°ÑÐ½Ñ

*当x是指向未定义维度数组的指针时,x与x[0]不同[duplicate]

language-lawyer c

Antti Haapala -- Ð¡Ð»Ð°Ð²Ð° Ð£ÐºÑÐ°ÑÐ½Ñ · 技术社区 · 6 年前

我想 a[0] 相当于 *a ,但后来我遇到了这段代码:

int arr[] = {1, 2, 3};
int (* a)[] = &arr;
printf("%d", (*a)[2]); // compiles
printf("%d", a[0][2]); // errors out

test.c:8:21: error: invalid use of array with unspecified bounds
     printf("%d", a[0][2]);
                     ^

叮当声的错误是

error: subscript of pointer to incomplete type 'int []'

error C2036: 'int (*)[0]': unknown size

为什么不呢 a[0] 相当于 *a ?

1 回复 | 直到 6 年前

Community CDub 4 年前

a[0] 完全等同于 *(a + 0) ( C11 6.5.2.1p2 ).

对于 * C11 6.5.3.2p2 说

一元数的操作数 *

哪一个 int (*)[] 是解引用的结果 (*a) 是 int [] int * [2] ,结果为3。

然而 a[0][2] 相当于 (*(a + 0))[2] + 操作员先申请! C11 6.5.6p2 说

约束条件

对于加法,两个操作数中的任何一个都应具有算术类型, 另一个应为整数型。(增加等于增加1。)

0 具有整数类型,并且 a 是指针,但它不是指向完整对象类型的指针,这意味着它与约束不匹配。

由于此文本出现在约束部分,因此一致性编译器必须将此诊断为约束冲突。和往常一样,一致性实现仍然可以正确地翻译无效的程序,但至少GCC似乎会用一条错误消息彻底拒绝。

推荐文章

Aidan · 为什么在将最后一个索引分配给空终止符(\0)后,我无法释放char缓冲区

3 月前

Chris · 用目的地捕捉信号

4 月前

MaPo · Linux,设置锁定ICMP_过滤器选项

4 月前

KevInSol · 在FreeBSD的配置阶段,从源代码构建PHP时找不到libjpeg

4 月前

Doohyeon Won · 内联函数上的奇怪现象?[关闭]

4 月前

MaSc. H. · 大小与阵列大小

4 月前

Fulmineo · 我的C代码运行良好,但在结束前崩溃(0xC0000374)

4 月前

Mehan Alavi · TCP Socket-打印字符串中所有不在C中的字符不起作用

4 月前

Bobby · 复合字面值总是左值吗?

4 月前

9-Pin · C: 嵌套结构的堆栈内存分配

4 月前