C++ 输入流:Solaris 与 Linux 中的操作顺序

Question

我有一个非常简单的测试程序，它使用istringstreams从std：：string中读取整数。 代码为：

std::map<int, int> imap;
int idx, value;
std::string str("1 2 3 4 5 6 7 8");
istringstream is(str);
while(is >> idx >> imap[idx]){
    cout << idx << " " << imap[idx] << endl;
}
cout << endl;
std::map<int, int>::iterator itr;
for(itr = imap.begin(); itr != imap.end(); itr++){
    cout << itr->first << " " << itr->second << endl;
}

当我在 Solaris 10 上运行它时，它会产生以下输出：

1 2
3 4
5 6
7 8
1 2
3 4
5 6
7 8

但是，当我在 CentOS 7 下运行它时，我得到：

1 0
3 0
5 0
7 0
1 4
3 6
5 8
7 0
4204240 2

有谁知道为什么在Linux下和在Solaris下会有所不同？ 显然是在读取地图的索引之前将值读入地图，但我不知道为什么。 我可以通过稍微更改代码来使其在 Linux 下工作：

std::map<int, int> imap;
int idx, value;
std::string str("1 2 3 4 5 6 7 8");
istringstream is(str);
while(is >> idx >> value){
    imap[idx] = value;
    cout << idx << " " << imap[idx] << endl;
}
std::map<int, int>::iterator itr;
for(itr = imap.begin(); itr != imap.end(); itr++){
    cout << itr->first << " " << itr->second << endl;
}

我知道这是一个有效的修复，但我周围的人想知道为什么它不同。 我们正在从Solaris迁移到Linux，当这样的事情出现时，他们想知道为什么。我不知道为什么，所以我在寻求指导。

Answer 1

is >> idx >> imap[idx]

此表达式等效于

operator>>(operator>>(is, idx), imap.operator[](idx))

同一函数的参数的求值相对于彼此是无序的;可以首先计算operator>>(is, idx)或imap.operator[](idx)（即，可以首先计算is >> idx或imap[idx]）。如果首先评估后者，则结果是一个左值，指的是对应于映射中idx的旧值的值;第二次读取将覆盖的是该值，而不是对应于idx新值的值。

修改后的代码通过确保在访问imap[idx]之前读取idx来解决此问题。