关于地图的C ++下标运算符[关闭]

Question

最近，我对地图的下标运算符感到困惑。例如 ，代码如下所示

#include <map>

class A{
public:
    int a;
    A(){cout << "default constructor" <<endl;}
    A(int a){
        cout << "user_defined constructor" <<endl;
        this->a = a;
    }
    A(const A& tmp){
        cout << "copy constructor" <<endl;
        this->a = tmp.a;
    }
    A& operator= (const A& tmp){
        cout << "assign constructor" <<endl;
        this->a = tmp.a;
        return *this;
    }

};
int main(){
    std::map<int, A> m;
    m[1] = A(1);  // error occur  right?
    m.insert (make_pair(1,A(1)));   // ok
}

我想知道我们编写代码时发生了什么。

m[1] = A(1); // it will first make a empty pair ? right? 

m.insert (make_pair(1,A())); // here call default constructor  

然后调用Assignment构造函数还是拷贝构造函数？ 输出是

user_defined constructor
default constructor
copy constructor
copy constructor
assign constructor

能否详细解释一下，非常感谢。

Answer 1

当你写作时：

m[1] = A(1);

首先，map 会查找键为 1 的条目。如果找不到，它会尝试使用该键创建一个新条目，以及默认构造的A 对象。由于您的 A 类不是默认可构造的，因此无法编译。

但假设情况并非如此，则返回对这个新创建的A 对象的引用（或对已经存在的对象的引用，如果找到密钥的话）。这一切都发生在m[1] 表达式中。语句的其余部分 = A(1) 创建一个新的 A 对象并将其分配给从 m[1] 返回的引用。

Answer 2

如果您想知道调用了哪些函数，只需在调试器中对其设置断点即可。你会看到m[1] = A(1);按顺序调用

1. 构造函数A(int)
2. 默认构造函数A()（编译时必须添加）
3. A& operator=(const A& other)

所以发生的事情很清楚：它首先构造您的A(1)，然后在地图中搜索键 1，找不到它，因此在其上插入默认的A，最后用您的A(1) 替换它.

请注意，这发生在调试版本上。发布版本可以是optimized 以避免上述一些操作。在这些函数中添加打印以完全确定。

如果您想尽量减少副本数量，请使用m.emplace(1,1) 而不是m[1] = A(1)。它只会调用构造函数A(int)，既不调用默认构造函数，也不调用赋值运算符。