三元运算符的意外行为

Question

当我运行这段代码时：

#include <iostream>
#include <map>

using namespace std;

void f1() {
    map<int, int> m;
    m[5] = m.find(5) == m.end() ? 1 : 2;
    cout << m[5] << endl;
}
void f2() {
    map<int, int> m;
    if (m.find(5) == m.end())
        m[5] = 1;
    else
        m[5] = 2;
    cout << m[5] << endl;
}
int main() {
    f1();
    f2();
    return 0;
}

我得到以下输出：

2
1

为什么我在使用三元运算符时会得到错误的输出？

Answer 1

函数调用的顺序是不确定的，会影响您的结果。考虑：

void f1()
{
    map<int, int> m;
    int& result = m[5]; // creates m[5]
    auto it = m.find(5); // finds the empty m[5] created above
    int value = (it == m.end())? 1: 2;
    result = value;
    std::cout << m[5] << std::endl;
}

这是您编写的代码的完全合法的实现。

三元运算符没有错。这样就可以了：

bool notfound = (m.find(5) == m.end());
m[5] = notfound? 1: 2;

重要的是m[5] 是否可能在m.find(5) 之前被评估。

Answer 2

在此声明中

m[5] = m.find(5) == m.end() ? 1 : 2;

您通过将对象 m[5] 放置在分配的左侧来创建它。所以 m.find(5) != m.end() 因为 m[5] 已经存在。

实际上存在未定义的行为，因为没有指定赋值的左右操作数的求值顺序。