C ++的意外输出

Question

我发现以下程序的意外输出。

这里的指针ptr指向变量i的地址，i持有值10。这意味着ptr 也意味着10 的值。下一个ptr 递增一次。这意味着现在它持有价值11。但是在下面的程序中 ptr 会打印出12。

#include <iostream>
using namespace std;    

int main()
{
    int i = 10;
    int *ptr = &i;
    int j = 2;
    j += *ptr++;

    cout<<"i : "<<i<<"\n";
    cout<<"j : "<<j<<"\n";
    cout<<"ptr : "<<*ptr<<"\n";
}

Output:

i : 10
j : 12
ptr : 12

所以我不明白为什么ptr 打印12 而不是11？

Answer 1

程序有未定义的行为。

此声明

j += *ptr++;

等价于

j += *( ptr++ );

所以指针现在指向变量 i 之后，即它没有指向有效对象。

所以这个说法

cout<<"ptr : "<<*ptr<<"\n";

调用未定义的行为。

编译器将变量 j 放在变量 i 之后。但是，C++ 标准未指定变量的顺序。

例如 gcc 编译器的输出与您显示的相同。

i : 10
j : 12
ptr : 12

虽然clang编译器的输出是

i : 10
j : 12
ptr : 4201824

你的意思是如下

j += ( *ptr )++;

在这种情况下，输出将是

i : 11
j : 12
ptr : 11

注意i的输出值是11，因为变量i是在已经对变量施加副作用的情况下输出的。