继承和析构函数 - 理论问题 - C++

Question

class A
{
    public:
         virtual void f(){ printf("A.f "); }
         ~A(){ f(); }
};

class B : public A
{
    A a;

    public:
         void f(){ printf("B.f "); }
         B(){ throw -1; }
        ~B(){ f(); }
};

int main()
{
    try{ B b; }
    catch(...){ printf("Exc");}
}

这就是我的看法。在 try 块内，构造 B b; 时没有打印任何内容。块结束。我认为编译器首先破坏了A a; 成员。所以A.f() 会被打印出来。这是否意味着class B 实例的销毁已经完成？之后，编译器会简单地调用~A()（破坏基类）吗？

我想我应该得到A.f()，然后是B.f()（破坏B类实例），然后又是A.f()（基类的析构函数）。编译这个让我思考了一下。 Exc 将在课程结束时打印。 我已经浏览了几个主题，但没有找到任何东西。

编辑：Dev-C++ (GCC 3.4.2) 的输出是

A.f A.f Exc

Answer 1

这里确实有两个A 对象。

1. B 继承自 A，因此 A 的基类对象在 B 之前首先被实例化。
2. 另一个A 实例被创建，因为您有一个A 类型的成员字段作为B 的一部分。

当您创建B b 时，您将创建基类A，以及实例A a。

但是，您随后在 B 的构造函数中抛出异常，因此此时所有完全构造的对象都被破坏，也就是说。

• 在实例A a 上调用~A()。
• ~A() 在基类 A 上调用。

这就解释了为什么你会得到A.f A.f Exc。

B 的析构函数不会被调用，因为 B 的构造函数没有成功完成，因此没有完全构造。

Answer 2

你没有向我们展示你得到的输出，只是一堵乱七八糟的文字墙，所以很难知道你在问什么。

但是，为了记录，the output of your code is：

A.f A.f Exc

---

为什么？

• 构造 b 失败。
• b 的 B 析构函数未被调用，但其成员的析构函数为¹。
• 它有一个A类型的成员，其析构函数调用函数f()。
• 还有一个完全构造的A基础b；所以，b 的A 析构函数也被调用，像以前一样调用A::f()。
• Exc 当然是由周围的异常处理程序输出的。

这是你想知道的吗？

---

¹：

[n3290: 15.2/2]: 任何存储持续时间的对象，其 初始化或销毁被异常终止会有 为其所有完全构造的子对象执行析构函数 （不包括类联合类的变体成员），也就是说，对于 主构造函数 (12.6.2) 已完成的子对象 执行和析构函数尚未开始执行。 [..]

Answer 3

顺序应该是： A.f, A.f, Exc

在调用B的构造函数时，在进入之前，由于继承，首先调用了A的构造函数。接下来，在进入B的构造函数之前（即{之前），a是默认构造的。

B 的构造只有在达到匹配} 时才会完成。但在此之前，您有一个 throw 声明。所以部分构造的B必须被销毁，它有一个对象a和继承的子对象A。所以这两个都被销毁了，因此A.f和A.f

接下来，您到达打印“Exc”的抛出块

Answer 4

#include <stdio.h>

class A
{
    public:
         virtual void f(int i){ printf("A.f %i\n", i); }
         ~A(){ f(0); }
};

class B : public A
{
    A a;

    public:
         void f(int i){ printf("B.f %i\n", i); }
         B(){ throw -1; }
         ~B(){ f(1); }
};

int main()
{
    try{ B b; }
    catch(...){ printf("Exc\n");}
}

A 的析构函数被调用了两次，就是这样。

输出：

A.f 0
A.f 0
Exc

Answer 5

您不能从构造函数或析构函数调用虚函数。它们不会像虚拟一样工作，但会被称为非虚拟函数。
您可以在 FAQ here 和有关构造函数的相关主题 here 中阅读它。