在共享指针的值中调用 std::swap 调用一堆构造函数和析构函数

Calling std::swap in shared pointers' values call a bunch of constructors and destructors

本文关键字:调用 一堆 构造函数 析构函数 swap 共享 std 指针      更新时间:2023-10-16

我最近开始学习移动语义和共享指针,我很难理解它。

我目前正在学习有关这些主题的课程,但讲师没有解释为什么当我们交换指针中包含的值时会调用这些构造函数和析构函数。在共享指针中调用交换(如在 b.swap(a))和 std::swap(a, b) 中不调用任何构造函数或析构函数,而对 std::swap(*a, *b) 的调用调用调用一堆构造函数或析构函数。

主代码:

int main(int argc, char** argv){
std::shared_ptr<strc> a = std::make_shared<strc>("one");
std::shared_ptr<strc> b = std::make_shared<strc>("two");
message("b.swap(a)"); // No constructors or destructors are called.
b.swap(a);
disp(a);
disp(b);
message("std::swap"); // A bunch of constructors and destructors are called.
std::swap(*a, *b);
disp(a);
disp(b);
message("std::swap"); // No constructor or destructors are called.
std::swap(a, b);
disp(a);
disp(b);
return 0;
}

"strc"的实现类是(为了简洁起见,我只是要展示其中的"重要"实现):

strc::strc(strc && o){
msg("Move Constructor.");
this->data = std::move(o.data);
o.data = nullptr;
}
strc::~strc(){
msg("Destructor.");
delete [] data;
}
strc & strc::operator = (strc o){
msg("Copy and Swap (=).");
swap(o);
return *this;
}
void strc::swap(strc & o){
msg("Calling std::swap");
std::swap(this->data, o.data);
}

这是正在打印到控制台的内容(让我更多地了解正在发生的事情,并对移动语义和共享指针有透彻的了解)。

调用 b.swap(a)一 (1) 二 (1)

调用 std::swap(*a, *b)strc: 移动构造函数。 strc:移动构造函数。 strc:复制和交换 (=)。 strc:调用标准::交换 strc:析构函数。 strc:移动构造函数。 strc:复制和交换 (=)。 strc:调用标准::交换 strc:析构函数。 strc:析构函数。 二 (1) 一 (1)

调用标准::交换(a, b)一 (1) 二 (1)

为什么?它与移动语义有关吗?它不应该调用标准交换函数吗?我无法理解这些交换调用之间的区别,以及为什么其中一个调用所有这些构造函数和析构函数。

  1. b.swap(a)交换指针。
  2. std::swap(*a, *b)交换尖头对象的内容。
  3. std::swap(a, b)再次交换指针。

移动构造函数在案例 2 中使用。这就是他们的目的。

移动构造函数也用于案例 1 和 3,但您没有观察到这一点,因为您没有修改std::shared_ptr构造函数。

您可以在此处了解更多信息 复制和交换成语应该成为 C++11 中的复制和移动习语吗?