c++ - 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已经应用于变量。