C++中的结构和函数

Question

有人能解释一下为什么这段代码会输出 10 吗？当我尝试分析它时，我的逻辑给出了结果 11。

#include <iostream>
using namespace std; 
class A { 
public:     
    A() { a.a = a.b = 1; }   
    struct { int a,b; } a;  
    int b(void); 
};

int A::b(void) { 
    int x=a.a;
    a.a=a.b;
    a.b=x; 
    return x; 
};

int main(void) {     
    A a;
    a.a.a = 0;
    a.b();
    cout << a.b() << a.a.b << endl;
    return 0;
}

Answer 1

在cout 行中，a.b() 可以在评估a.a.b 之前或之后调用。初学者有时会在这种代码中假设从左到右的评估，但实际上这不是 C++ 的规则。

这两种不同的可能性可以解释您的10 和11。为避免歧义，您可以这样写：

cout << a.b();
cout << a.a.b << endl;   

（假设订单是您的意图）。

注意：C++17 may change this 并为此代码定义左右评估顺序。

Answer 2

除了使用调试器，您还可以使用cout 语句来帮助跟踪调用的时间。

为了帮助自己跟踪你的程序，我修正了一些缩进并添加了关于何时发生的事情：

#include <iostream>
using namespace std; 
class A {
public:
    A() {
        a.a = a.b = 1;
    }
    struct {
        int a,b;
    } a;
    int b(void); 
};

int A::b(void) {
    cout << "Within A::b()" << endl;
    // swap a.a, a.b
    int x=a.a;
    a.a=a.b;
    a.b=x;

    cout << "a.a.a = " << a.a << " a.a.b: " << a.b << endl;

    return x;
};

int main(void) {
    // sets a.a.a = 1, a.a.b = 1
    A a;
    // sets a.a.a = 0, a.a.b = 1
    a.a.a = 0;
    // a.a.a = 1, a.a.b = 0
    a.b();
    // check output here
    cout << a.b() << a.a.b << endl;
    return 0; 
}

上述程序在http://cpp.sh/ 上产生以下输出：

Within A::b()
a.a.a = 1 a.a.b: 0
Within A::b()
a.a.a = 0 a.a.b: 1
10

总而言之，这取决于调用cout时是先解析a.b()还是a.a.b。在这种情况下，由于cout 的工作方式，运算符优先级未定义。 This stackoverflow post 对此有一些很好的信息。