c++ - = make_pair 是否调用复制构造函数？

Question

通常是 =在变量声明中，编译器将其视为移动构造。例如:

vector<int> foo = vector<int>(13, 0);

将调用vector<int>::vector<int>(vector<int>&&)构造函数。

这如何与 make_pair 一起工作？ ？如果我这样做，我是否正在构建一个临时的并移动它:

pair<int, int> foo = make_pair(13, 0);

显然，随着 pair 中的类型，结果变得更加重要比int重的东西s，但问题仍然存在。这里是临时搭建的吗？如果make_pair强制临时，我想我可以打电话:

pair<int, int> foo = pair(13, 0);

无论哪种方式，当类型可以隐式转换但不相同时怎么办？例如:

pair<string, int> foo = make_pair<"Hello World!", 13>;

或者:

pair<string, int> foo = pair("Hello World!", 13);

是临时的pair<const char*, int>在这种情况下创建？

Answer 1

std::make_pair 返回 pair 对象的右值，然后赋值运算符 = 将右值移动到左值，因为 std::pair 已经定义了 copy/move assignment operator .

“类对象的赋值是由复制/移动赋值运算符定义的。”

引用:Cpp11 标准 5.17 赋值和复合赋值运算符。