数组和指针算术〜需要澄清答案

【问题标题】：arrays and pointer arithmetic ~ clarification needed数组和指针算术〜需要澄清
【发布时间】：2013-09-13 02:15:18
【问题描述】：

我正在做一些关于数组和指针的实验：

int a[3][3] = {1, 2, 3, 4, 5, 6, 7, 8, 9};
int i = 1, j = 1;
int (*p)[3];

p = a;
printf ("*(*(a + i) + j) = %d\n", *(*(a + i) + j));
printf ("*(a[i] + j) = %d\n", *(a[i] + j));
printf ("*(a + i)[j] = %d\n", *(a + i)[j]);
printf ("*(a + 3 * i + j) = %p\n", *(a + 3 * i + j));
printf ("*(*(p + i) + j) = %d\n", *(*(p + i) + j));
printf ("*(p[i] + j) = %d\n", *(p[i] + j));
printf ("*(p + i)[j] = %d\n", *(p + i)[j]);
printf ("*(p + 3 * i + j) = %p\n", *(p + 3 * i + j));
printf ("p[i][j] = %d\n", p[i][j]);

输出是：

1. *(*(a + i) + j) = 5
2. *(a[i] + j) = 5
3. *(a + i)[j] = 7
4. *(a + 3 * i + j) = 0x7fff5e0e5b94
5. *(*(p + i) + j) = 5
6. *(p[i] + j) = 5
7. *(p + i)[j] = 7
8. *(p + 3 * i + j) = 0x7fff5e0e5b94
9. p[i][j] = 5

我了解 1、2、4、5、6、8 和 9 的输出。但我不了解 3 和 7 的输出。
为什么输出是7？

【问题讨论】：

阅读comp.lang.c FAQ的第6部分。

标签： c arrays pointers multidimensional-array pointer-arithmetic

【解决方案1】：

由于运算符[]的优先级高于运算符*，所以如下表达式：

int x = *(a + i)[j];

等于：

int* p = (a + i)[j];
int  x = *p;

也等于：

int* p = ((a + i) + j);
int  x = *p;

在这种情况下等于：

int  (*p0)[3]  = (a + i);
int*  p        = (p0 + j);
int   x = *p;

意味着i和j最终都将第一个索引移动p指向元素a[2][0]，其值为7

[] 和 * 运算符的优先级与此表达式的评估有什么关系？使用() 进行简单测试以确保首先评估* 就足够了。这意味着：

int y = (*(a + i))[j];

等于：

int y = *(a[i] + j);

这很简单：

int y = a[i][j];

【讨论】：

【解决方案2】：

假设a+i 是b

                        +--------------a+0---> {1, 2, 3, 
                        |              a+1--->  4, 5, 6, 
                        |              a+2--->  7, 8, 9};
                        |
*(a + i)[j] =       *(*(b+j)) = *(*(b+1)+1) 
                              = *(*(b+2))
                              = *(*(a+2))
                              = **(a+2) 
                              = a[2][0]
                              = 7

int (*p)[3]; // Is pointer to array of 3 int s

什么时候 p=a同场景，类似使用b

【讨论】：