c++ - 请解释为什么这个简单的 C++(Qt) 代码工作起来如此奇怪

Question

请解释这段代码的行为:

#include <QCoreApplication>
#include <QMap>

int testFunc(const QList<int>& data)
{
    // my debugger says data is {0,3}, but I expected {2, 3}. What happened?!
    return data.at(0);
}

int main(int argc, char* argv[])
{
    QCoreApplication a(argc, argv);

    QMap<int, int> test_map;
    int x = test_map.value(1, 2); // // x is 2 (OK)
    test_map[1] = testFunc(
            {
            test_map.value(1, 2), // 2
            3
            });

    return 0;
}

从评论中可以看出，我希望函数传递一个包含{2,3}的数组，但实际上传递的是{0,3} (由调试器检查，在 Linux 上使用 gcc 6)。

Answer 1

一般来说，一个表达式的不同子表达式的求值顺序在 C++ 中是未指定的。在这种特殊情况下，这意味着未指定首先评估赋值运算符的哪一侧。

换句话说，编译器发出的代码将首先评估 test_map[1]，然后才评估 testFunc 调用，这是完全合法的。当然，如果发生这种情况，那么在评估参数 test_map.value(1, 2) 时，test_map[1] 已经创建了映射 1 : 0 在映射中，因此 test_map.value(1, 2) 返回 0 的现有映射值，而不是使用提供的默认值 2。

请注意，在这种情况下，以上仅适用于 C++14 及更早版本。自 C++17 起，内置赋值运算符的右侧保证在左侧之前求值，因此在 C++17 中，您看到的行为不应该有效。