类析构函数被调用两次

Question

我有以下程序：

#include<iostream>

using namespace std;

class A {
protected:
    A() { cout << "Executing A()" << endl; }
public:
    ~A() { cout << "Executing ~A()" << endl; }
};

class B : public A {
public:
    B() { cout << "Executing B()" << endl; }
    ~B() { cout << "Executing ~B()" << endl; }
};

class C : public B {
public:
    C() { cout << "Executing C()" << endl; }
    ~C() { cout << "Executing ~C()" << endl; }
};

void someFunc() {
    A a = C();
}

int main() {
    someFunc();
    return 0;
}

打印以下内容：

为什么~A() 被调用了两次？

Answer 1

A 的析构函数被调用了两次，因为有两个对象需要被销毁。 By printing something when the copy or move constructor is called you can verify this:

class A {
protected:
  A() { cout << "Executing A()" << endl; }
public:
  A(const A &) { cout << "Executing A(const A &)" << endl; }
  // with recent compilers, you could also try A(A &&)
  ~A() { cout << "Executing ~A()" << endl; }
};

输出：

执行 A()
执行 B()
执行 C()
执行 A(const A &)
执行 ~C()
执行 ~B()
执行 ~A()
执行~A()

基本上，A a = C(); 不会像您认为的那样做。它创建一个匿名C 对象，然后创建a 作为A 对象，从刚刚创建的匿名对象中复制。它不会让a 以某种方式指向一个真实的C 对象。

声明为A 的变量始终是A，绝不是任何派生类型。要达到这种效果，您需要使用指针或引用。

const A &a = C();

这里，a 不是 A 对象。这将创建与以前相同的匿名 C 对象，但随后使 a 成为对该匿名对象的引用，而不是尝试创建新的 A 对象。