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

Question

我最近开始学习移动语义和共享指针，我在尝试理解它时遇到了很多困难。

我目前正在学习这些主题的课程，但是教师没有解释为什么在我们交换指针中包含的值时会调用这些构造函数和析构函数。调用交换共享指针（如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：调用std :: swap strc：析构函数。 strc：移动构造函数。 strc：复制和交换（=）。 strc：调用std :: swap strc：析构函数。 strc：析构函数。二（1）一（1）

调用std :: swap（a，b）一（1）两（1）

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

Answer 1

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

移动构造函数用于案例2.它就是它们的用途。

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

你可以在这里了解更多Should the Copy-and-Swap Idiom become the Copy-and-Move Idiom in C++11?