为什么 'c[&i]' 编译而 'c[i]' 不编译？ [复制]

Question

此示例编译时没有警告/错误（gcc 4.8.2 -Wall）：

#include <stdio.h>
int main() 
{ 
    char c;
    int i;    
    printf("%p %02x\n",&i,c[&i]);
    printf("%p %02x\n",&c,c[&c]);

    // important to note that this line DOESN'T compile:
    //printf("%p %02x\n",&i,c[i]);
    //  which makes sense as c is NOT an array, it is a char.

    return 1;
}

为什么语法 c[&i] 可以编译？是故意的还是意外的？ 语法 c[&i] 在语义上是否有效？ （有什么有用的意思吗？）

我的输出示例：（指针每次都会改变）

0xbfb2577c b7718cea
0xbfb2577b 08

这个问题源于这里有问题的一段奇怪的代码“ch2[&i]”： C duplicate character,character by character

NOTE#0（经过反思更新）关于重复/类似问题： 这个问题不是 c 数组引用上的链接问题的重复。它是相关的，因此参考它们很有用。相关问题讨论了有效的 a[b] 和 b[a] 情况，其中 a 或 b 之一是指针，另一个是 int。这个问题处理更奇怪的情况，也许应该是无效的情况，其中 a 或 b 之一是字符。 对于C数组，为什么a[5] == 5[a]？ 14 个答案 With arrays, why is it the case that a[5] == 5[a]? 字符串作为数组索引 3 个答案 String as an array index

注意 #1：编译器会发生这种情况，因为变量 c 的类型是 char，当与指针结合使用时，它可以用作数组的索引。

注意 #2：由于某种原因，c[<ptr>] 的类型计算为 <ptr> 的类型。

例如：c[&pi] 和 c[&pc] 的结果类型导致以下代码中的警告：

int *pi; char *pc; pi=&i; pc=&c;
printf("%p %02x\n",&pi,c[&pi]);
printf("%p %02x\n",&pc,c[&pc]);

关于类型“int *”或“char *”而不是“unsigned int”的警告：

c/so_cweirdchar2.c: In function ‘main’:
c/so_cweirdchar2.c:13:5: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 3 has type ‘int *’ [-Wformat=]
     printf("pi %p %02x\n",&pi,c[&pi]);
     ^
c/so_cweirdchar2.c:14:5: warning: format ‘%x’ expects argument of type ‘unsigned int’, but argument 3 has type ‘char *’ [-Wformat=]
     printf("pc %p %02x\n",&pc,c[&pc]);
     ^

Answer 1

在 C 中，[] 后缀指针置换运算符是可交换的。如果a[i] 是一个有效的表达式，那么i[a] 也是一个有效的表达式，并且意思相同。尽管我们必须观察运算符的关联性和优先级，以确保我们正确地执行此反转操作。您的c[&i] 与(&i)[c] 的含义相同：指针&i 被整数c 取代。

[] 的可交换性的基础是索引与指针位移和解引用的组合之间的等价性，其中+ 运算符是可交换的：

E1[E2]  <-->  *(E1 + E2)
  ^               ^
  |               |
  v               v
E2[E1]  <-->  *(E2 + E1)

这里我们将E1 理解为完全带括号的表达式，因此我们不关心优先级。实际上，我们正在操作抽象语法树，其中E1 和E2 是节点。

Answer 2

编译没有错误。完全有效的 C：

int main (int argc, char** argv)
{
    int n=5;
    char *a="abcdefghijk";

    printf("%c\n", a[n]);
    printf("%c\n", n[a]);
    return 0;
}