为什么在分配的lhs中的成员函数访问之前d::unique_ptr。

Question

这会导致访问unique_ptr时出现分段错误-

这里的订货不保证吗？

#include <iostream>
#include <memory>
#include <unordered_map>

class D
{
private:
        int id_;
public:
        D(int id) : id_{id} { std::cout << "D::D\n"; }
        ~D() { std::cout << "D::~D\n"; }

        int get_id() { return id_; }

        void bar() { std::cout << "D::bar\n"; }
};

int main() {
        std::unordered_map<int, D*> obj_map;
        auto uniq_ptr = std::make_unique<D>(123);

        obj_map[uniq_ptr->get_id()] = uniq_ptr.release();
        obj_map.at(123)->bar();

        return 0;
}

Answer 1

这是因为[expr.ass]/1指出：

[...] 在所有情况下，赋值都是在右操作数和左操作数的值计算之后、赋值表达式的值计算之前排序的。右操作数在左操作数之前排序。对于顺序不确定的函数调用，复合赋值的操作是一次计算。

^强调我的

根据上面的描述，首先计算右手边，然后计算左手边，然后进行赋值。需要注意的是，这只在C17之后才有保证。在C17之前，左右侧评估的顺序尚未确定。

Answer 2

它实际上保证了这段代码总是会失败。

根据cplike：

换句话说：在您的情况下，保证在get_id（）之前调用。