我们来看看下面的代码：
int arr[n];
// s.t. i<n
arr[i] = 12;
// s.t. i<n
*(arr + i) = 12;
arr[i] 是 *(arr+ i) 的语法糖吗？
【问题讨论】：
+ 是- - 的语法糖。去死那些懒惰的程序员！
标签： c syntactic-sugar
严格来说，数组不是指针的语法糖。根据定义，“语法糖”是一种语言结构，它允许您编写更短/更清晰的等价于其他语言结构。指针和数组的情况不同。指针是包含某个值的内存地址的变量。不同的是，数组是包含这些值本身的变量。但是，C 的语法是以某种方式构建的，它允许您将指针视为数组第一个元素的地址并对其应用索引运算符。但我不会说这是语法糖，这是语言的基本语法。
【讨论】：
是的，您可以使用 arr[i]/*(arr+i) 访问数组的元素。
您甚至可以对数组指针使用增量操作。 *ptr = &arr, 指针++
这意味着每次向数组指针添加整数或增量时，指针都会将（数据类型的大小）*i 添加到前一个指针。
【讨论】：
是的，arr[i] 与 *(arr+i) 相同，*(i+arr) 与 i[arr] 相同
来自法比奥·图拉蒂的评论： 详情请见"Why is a[5] == 5[a]"。
【讨论】：
是的，你可以说 - 数组下标访问 与使用 * 取消引用的指针访问相同。
来自6.5.2.1p2C11标准N1570
后缀表达式后跟方括号中的表达式
[]是数组对象元素的下标名称。 下标运算符[]的定义是E1[E2]与(*((E1)+(E2)))相同。由于适用于二进制+运算符的转换规则，如果E1是一个数组对象（等效地，一个指向数组对象初始元素的指针）并且E2是一个整数，E1[E2]指定E2-E1的第一个元素（从零开始计数）。
这绝不应该给你一个数组是指针的印象。有趣的是，当您应用 [] 时，数组会衰减为指向第一个元素的指针，并用于访问后续元素。
数组对象是另一回事——在某些情况下，数组不会衰减为指针。它们不是语法糖——你可以考虑一个例子——
int p[] = {1, 2 ,3};
int *t = p;
size_t sz1 = sizeof p;
size_t sz2 = sizeof t;
printf("%zu %zu\n", sz1, sz2);
运行它，我会理解与您的问题更相关的内容。数组不能使用数组本身以外的东西来实现。数组访问与指针取消引用相同，但这并不意味着指针占据数组的位置，反之亦然。
C 编程的关键外卖或红色药丸：
数组是数组，指针是指针。它们是不同的东西。
顺便说一句，如果sizeof 欺骗了你一点 - 不要担心有一个标准部分这么说。来自6.3.2.1p3
除非它是
sizeof运算符、_Alignof运算符或一元&运算符的操作数，或者是用于初始化数组的字符串字面量、表达式类型为'array of type'的表达式被转换为类型为'pointer to type'的表达式，该表达式指向数组对象的初始元素并且不是左值...
当用作sizeof 的操作数时，数组不会转换为指针。就是这样。这就是为什么你会得到你在早期代码 sn-p 中得到的东西。
【讨论】：
绝对不是！要看到这一点，只需在您的示例中用指针替换数组：
int *arr;
// s.t. i<n
arr[i] = 12;
// s.t. i<n
*(arr + i) = 12;
这编译得很好，但它是未定义的行为。它不能保证工作。事实上，没有这个程序可能会被认为是编译器中的错误。
数组是数组；包含数据的类型。指针指向数据所在的位置。指针不包含实际数据，而数组包含。
在一些情况下，数组名称的行为方式与指针相同。这不会使两者相同。
例如，看看这个：
int arr[12];
int ptr;
ptr = arr; // Legal
printf("array size %ld\n", sizeof(arr)); // Usually prints 12*4=48
printf("pointer size %ld\n", sizeof(ptr)); // Depending on your arch, will likely print either 4 or 8.
【讨论】：