为什么析构函数在 C++ 中运行两次？

Question

在完成我的编程作业时，我似乎对基本的 C++ 概念感到困惑。我在我的程序中发现了这个错误，这是由于我的析构函数运行的次数超出了我的预期。这是一个代码示例，展示了我做错了什么，直到最基本的要素。

#include <iostream>
using namespace std;

class A
{
public:
    A(int num)
    {
        number = num;
        cout << "A constructed with number " << number << ".\n";
    }
    ~A()
    {
        cout << "A destructed with number " << number << ".\n";
    }
private:
    int number;
};

class B
{
public:
    B(A pa)
        : a(pa)
    {
        cout << "B constructor run.\n";
    }
    ~B()
    {
        cout << "B destructor run.\n";
    }
private:
    A a;
};


int main()
{
    A foo(7);
    {
        B bar(foo);
    }
    //Pause the program.
    system("pause");
}

我期望发生的是A foo(7); 在堆栈上为名为@9​​87654327@ 的A 对象分配空间并调用构造函数，传递7。它将7 分配给number 并打印输出指示构造函数运行。现在B bar(foo); 在堆栈上为名为@9​​87654333@ 的B 对象分配空间并调用构造函数，通过值传递foo，这只是int 的容器。构造函数将传递给它的A 参数分配给它自己的私有数据成员a，并将输出打印到屏幕上。

现在，当bar 在右大括号处超出范围时，我希望调用bar 的析构函数，它将输出打印到屏幕上，然后为其数据成员调用析构函数，即@987654340 @。该析构函数将输出打印到屏幕上，并丢弃它所包含的 int number。

我期望的输出应该是：

A constructed with number 7.
B constructor run.
B destructor run.
A destructed with number 7.
//Destructors should be called in the reverse order of their construction right?

实际输出：

A constructed with number 7.
B constructor run.
A destructed with number 7. //This is unexpected.
B destructor run.
A destructed with number 7.

是什么造成了额外的破坏？

Answer 1

您的B 构造函数按值获取A 对象，这意味着foo 被复制到参数pa 中，然后该参数被复制到成员a。编译器已经能够删除其中一个副本（构造函数的参数），但不能删除另一个副本，并且第二个 A 对象被销毁了。

Answer 2

显然来自会员数据A a； B类的。我猜你的疑问是为什么看不到A的任何构造输出，因为它是用A类的默认复制ctor构造的，最好为A类添加一个复制ctor，这样你就会看到构造过程。

A(const A& a)
{
     number = a.number;
     cout << "A copy-constructed with number " << number << ".\n";
}

Answer 3

我讨厌人们用“foo”和“bar”变得可爱。

但我看到“A”的两个实例正在构建 - 一个是显式构造的，另一个是由“B”隐式构造的。并且调用了两个析构函数。

这张照片有什么不喜欢的;)？

Answer 4

因为在B类中，有一个成员A a 所以要破坏B对象，首先要调用其成员的析构函数。