在C语言中，什么时候调用要移动到的对象的析构函数？

Question

我有一些类A，我可以不使用任何东西构建它，也可以使用std:：function。在销毁时，应该调用给定的函数（如果有）。我的问题是，该对象在创建后立即被销毁，并由我的getSomeA（）函数返回，该函数在应该调用它之前调用std:：function。传递给构造函数的函数只能调用一次。一些示例代码：

#include <iostream>
#include <functional>

static void testFunction(const std::string& msg)
{
    std::cout << "TestFunction: " << msg << "\n";
}

class A {
public:
    A(void) = default;

    A(const std::function<void()>& onDestroy) :
        onDestroy(onDestroy)
    {  }

    ~A(void)
    {
        if (onDestroy) onDestroy();
        else std::cout << "in dtor but no onDestroy was set\n";
    }

private:
    std::function<void()> onDestroy;
};

A getSomeA(void)
{
    return A(std::bind(testFunction, "the A that was created inside getSomeA"));
}

int main(void)
{
    A b1;
    std::cout << "After creating b1\n";
    b1 = getSomeA();
    std::cout << "After reassigning b1\n";

    std::cout << "Here the program works with b1...\n";
}

程序输出

After creating b1
TestFunction: the A that was created inside getSomeA
After reassigning b1
Here the program works with b1...
TestFunction: the A that was created inside getSomeA

因此，函数在被调用之前被调用（在int main（）的末尾）。

添加移动构造函数和赋值操作符后，一切都按预期工作：

A(A&& other) :
        onDestroy(std::exchange(other.onDestroy, nullptr))
    {  }

    A& operator=(A&& other)
    {
        onDestroy = std::exchange(other.onDestroy, nullptr);
        return *this;
    }

以及程序输出

After creating b1
in dtor but no onDestroy was set
After reassigning b1
Here the program works with b1...
TestFunction: the A that was created inside getSomeA

实际问题：第一次销毁对象以便调用testFunction的位置是哪里？在getphaA（）中，或者在赋值之前但在getphaA（）中创建对象之后的main函数中？

所有的编辑：我试着把我的问题放下一个小时，但是因为我不知道在C语言中移动/复制语义学，这对我来说很难。

Answer 1

在第一个版本中，作为返回在getSomeA中构造的对象的一部分，对象第一次被销毁。它的return语句有效地构造了一个临时对象，然后将其分配给main的b1。如果忽略从函数返回的过程，则事件顺序为：

A <temporary object>(std::bind( ... )

b1=<temporary object>

<temporary object gets destroyed>

此时，由于临时对象被销毁，绑定函数被调用。临时对象是一个完全被欺骗的对象，其所有权利和特权都被授予。包括一个析构函数。

但是等等，还有更多！b1是原始对象的完美逐位副本，带有绑定函数，然后被销毁。因此，当b1被销毁时，该函数会再次被调用。

这是三位一体规则的间接结果。当一个对象拥有一个资源，并且必须保持对该资源的独占所有权时，您需要提供一个复制和/或移动构造函数和赋值运算符，以准确说明在这种情况下应该发生什么。

注：这些规则随着C17的保证副本省略而略有变化，但基本概念仍然是一样的。