在地图中分配值时，正确的计算顺序是什么？

Question

我知道编译器通常是代码中错误的最后一个罪魁祸首，但对于以下C代码（从实际项目中提炼出来）的以下行为，我看不到任何其他解释：

#include <iostream>
#include <map>

int main()
{
    auto values = { 1, 3, 5 };
    std::map<int, int> valMap;

    for (auto const & val : values) {
        std::cout << "before assignment: valMap.size() = " << valMap.size();
        valMap[val] = valMap.size();
        std::cout << " -> set valMap[" << val << "] to " << valMap[val] << "\n";
    }
}

此代码的预期输出为：

before assignment: valMap.size() = 0 -> set valMap[1] to 0
before assignment: valMap.size() = 1 -> set valMap[3] to 1
before assignment: valMap.size() = 2 -> set valMap[5] to 2

但是，当我使用（默认）C 14编译器构建发布版本时，输出变为：

before assignment: valMap.size() = 0 -> set valMap[1] to 1
before assignment: valMap.size() = 1 -> set valMap[3] to 2
before assignment: valMap.size() = 2 -> set valMap[5] to 3

换句话说，valMap中的所有值都比它们应该的值大1-它看起来像是在赋值的右侧被计算之前附加的映射。

这只发生在具有C 14语言标准的版本构建中（这是VS2019中的默认值）。调试构建工作正常（我讨厌这种情况发生——我花了几个小时才知道发生了什么），就像C 17和C 20的发布构建一样。这就是为什么它在我看来像一只虫子。

我的问题是：这是一个编译器错误，还是我使用做了一些错误/危险的事情。作业中的size（）？

Answer 1

在c 17之前没有指定A=B的求值顺序，在c 17之后B保证在A之前求值，参见https://en.cppreference.com/w/cpp/language/eval_order规则20。

valMap[val]=valMap的行为。大小（） 在c 14中未指定，您应该使用：

auto size = valMap.size();
valMap[val] = size;

或者使用emplace来避免问题，这比依赖[]自动插入一个不存在的值更明确：

valMap.emplace(val, size);