提问人: 提问时间:11/13/2021 更新时间:11/14/2021 访问量:415
程序使用 Copy 构造函数而不是 Move 构造函数
Program uses Copy Constructor instead of Move Constructor
问:
我正在尝试理解 C++ 中复制和移动构造函数的概念。所以尝试不同的例子。下面给出了一个我无法理解其输出的示例:
#include <iostream>
#include <vector>
using namespace std;
struct NAME
{
NAME()
{
std::cout<<"default"<<std::endl;
}
NAME(const NAME& )
{
std::cout<<"const copy"<<std::endl;
}
NAME(NAME& )
{
std::cout<<"nonconst copy"<<std::endl;
}
NAME(NAME &&)
{
std::cout<<"move"<<std::endl;
}
};
void foo(std::pair<std::string, NAME> )
{
}
void foo2(std::vector<std::pair<std::string, NAME>> )
{
}
int main()
{
foo(std::make_pair("an", NAME())); //prints default --> move --> move
std::cout << "----------------------------------------"<<std::endl;
foo({"an", NAME()}); //prints default --> move
std::cout << "----------------------------------------"<<std::endl;
foo2({{"an", NAME()}}); //prints default --> move --> const copy
std::cout << "----------------------------------------"<<std::endl;
return 0;
}
案例 1:对于foo(std::make_pair("an", NAME()));
输出
default
move
move
这就是我认为正在发生的事情。
步骤 1。NAME() 类型的临时值被占用了,因为我们已使用 的默认构造函数将其传递给。std::make_pair
NAME()
第2步。使用其中一个构造函数,它转发(移动)在第 1 步中创建的临时函数。所以的移动构造函数。std::make_pair
NAME()
第 3 步。最后,由于参数 to 是通过值传递的,因此在步骤 2 中创建的参数是“移动”(而不是“复制”?),这反过来又最后一次“移动”临时参数。foo
std::pair
NAME
案例 2:对于foo({"an", NAME()});
输出
default
move
步骤 1。将创建一个临时节点。NAME
第2步。这一次,由于我们没有 ,的初始值设定项列表构造函数(如果有)用于“移动”在步骤 1 中创建的临时。std::make_pair
std::pair
案例 3:对于foo2({{"an", NAME()}});
输出
default
move
const copy
我不知道为什么使用复制构造函数而不是移动构造函数,也不知道为什么使用 const
版本而不是 copy-constructor 的非常量版本。
我的解释正确吗?请详细纠正我在任何解释步骤中的错误。
答:
的元素 是 ,不能从中移动。std::initializer_list
const
评论
foo
案例一:为
foo(std::make_pair("an", NAME()));
输出
default move move
这里的关键问题是了解上述调用的类型是什么。这不是我认为你所相信的,而是一个!make_pair
std::pair<std::string, NAME>
std::pair<const char *, NAME>
您可以通过检查此打印来确认这一点。1
std::cout << std::is_same_v< decltype(std::make_pair("an", NAME()))
, std::pair<const char *, NAME>> << "\n";
因此,我们观察到:
NAME
使用默认构造函数构造。(输出:default
)make_pair
移动它以返回其对(输出:move
)- 我们不能将该对传递给 ,而是期望 。调用一个隐式转换构造函数,该构造函数创建并再次移动 。(输出:
foo
std::pair<std::string, NAME>
pair
string
NAME
move
)
这就是为什么我们观察到两个动作而不仅仅是一个动作。
案例二:为
foo({"an", NAME()});
输出
default move
这里我们不调用函数来制作对,所以是用来直接初始化需要的对,它有 .我们不再创建具有“错误”类型的对,因此少了一步。"an"
std::pair<std::string, NAME>
关于案例 3:我不明白为什么在案例 3 中调用移动构造函数。我认为为了允许移动 ,将移动构造函数标记为 就足够了,但即使在这种情况下,也会执行复制。我现在不知道。vector
NAME
noexcept
看起来移动构造函数并不像人们所期望的那样(有条件地)。这可能是根本原因。std::pair
noexcept
评论
T &
T const &
std::pair