一起在指针上使用前缀和后缀时的奇怪输出

Question

给定下面的代码

char buf[] = "asfsf";

char *a=buf;
++*a++;
cout<<*a;

我希望结果是“s”的下一个字符，即“t”，但结果仍然是“s”。为什么？

为什么 ++*a++ 和

不一样

*a++;
++*a;
cout<<*a;

这真的是 ++i++ 的重复问题吗？我知道 ++i++ 是一种未定义的行为，会导致编译错误，但 ++*i++ 实际上可以运行。我的情况也是未定义的行为吗？

Answer 1

根据语言语法，运算符关联为：

++(*a++)

注意：关联性并不意味着操作的顺序。

*a++ 计算为一个左值，指定a 最初指向的位置，具有修改a 的副作用。到目前为止一切都很好。

将前缀-++ 应用于该左值会增加存储在那里的值（将'a' 更改为'b'）。

虽然这两个增量是无序的，但这不会导致UB，因为不同的对象在增量，并且指定后一个位置的左值不依赖于增量。 （它使用旧值a）。

Answer 2

就目前而言，您的代码具有未定义的行为，因为它试图修改字符串文字的内容。

阻止编译器接受此类代码的一种方法（可能是首选方法）是定义您的a，例如：

char const *a="asfsf";

这样，++*a 部分根本无法编译。

为了方便说明，我们稍微修改一下代码，变成：

#include <iostream>

int main(){ 

    char x[]="asfsf";
    char *a = x;
    ++*a++;
    std::cout<<x;
}

现在a 指向我们可以实际写入的内存，并获得有意义的结果。这将打印出bsfsf。如果我们打印出a，我们将得到sfsf。

发生的情况是a++ 增加了a，但 仍然产生a 的原始值。即取消引用，引用x 的第一个元素。然后对其应用预增量，将其从 a 更改为 b。

如果你想增加指针，取消引用结果，然后增加它，你可以使用：++*++a;。好吧，不，你不会使用它——或者至少我希望你不会。它确实增加了a 以指向数组的第二个元素，然后增加第二个元素以将其从s 更改为t——但是任何阅读代码的人都会被完全原谅，如果他们讨厌你的写作就这样吧。