指针算法：++*ptr 还是 *ptr++？

Question

我正在学习 C 语言，很困惑 ++*ptr 和 *ptr++ 之间的区别。

例如：

int x = 19;
int *ptr = &x;

我知道++*ptr 和*ptr++ 会产生不同的结果，但我不确定这是为什么？

Answer 1

由于运算符绑定的方式，这些语句会产生不同的结果。特别是前缀++ 运算符与* 具有相同的优先级，并且它们从右到左关联。因此

++*ptr

被解析为

++(*ptr)

意思是“增加ptr所指向的值”。另一方面，后缀 ++ 运算符的优先级高于取消引用运算符 *。所以

*ptr++

意思

*(ptr++)

这意味着“增加ptr 以转到它指向的元素之后的元素，然后取消引用它的旧值”（因为后缀++ 交还了指针曾经拥有的值）。

在您描述的上下文中，您可能想要编写++*ptr，这将通过ptr 间接增加x。写*ptr++ 会很危险，因为它会将ptr 前进到x，并且由于x 不是数组的一部分，因此指针会悬在内存中的某个位置（可能在其自身之上！）

希望这会有所帮助！

Answer 2

正如 templatetypedef 所说，但您应该在 *ptr 周围提供括号以确保结果。例如，在我的计算机上，使用 GCC 生成 1606415888，使用 CLang 生成 0：

int x = 19;
int *ptr = &x;
printf("%d\n", *ptr++);
printf("%d\n", *ptr);

而您预计 x 为 20。因此请改用 (*ptr)++。

Answer 3

接受的答案不正确。后缀++ 运算符的优先级与取消引用/间接* 的优先级不同。前缀和后缀运算符的优先级不同，只有 prefix 运算符与取消引用/间接具有相同的优先级。

正如precedence table 所示，后缀++ 的优先级高于取消引用/间接引用*。所以*ptr++ 被评估为*(ptr++)。 ptr++ 计算为 ptr 的当前值；它增加ptr 仅作为副作用。表达式的值与ptr 的当前值相同。所以它不会对存储在指针上的值产生任何影响。它只会取消引用指针（即，获取存储在那里的当前值，即 19），然后推进指针。在您的示例中，ptr 的新位置没有存储定义的值，因此指针指向垃圾。现在取消引用将是危险的。

同样如表所示，前缀++ 与取消引用/间接引用* 具有相同的优先级，但由于左右关联性，它被评估为++(*ptr)。这将首先取消引用指针（即，获取存储在指向的地址的值），然后增加该值。即，现在的值为 20。

关于两者的影响，公认的答案是正确的，但实际机制与那里给出的不同。