继承和析构函数 - 理论问题 - 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; 成员。因此将打印 Af() 。这是否意味着B类实例的销毁已经完成？之后，编译器会简单地调用 ~A() （破坏基类）吗？

我想我应该先得到 Af()，然后是 Bf() （破坏类 B 实例），然后再次得到 Af() （基类的析构函数）。编译这个让我思考了一些。 当然，Exc 会在最后打印。 我已经浏览了几个主题，但没有找到任何东西。

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

AF AF 执行

Answer 1

这里确实有两个 A 对象。

1. B 继承自 A，因此 A 的基类对象先于 B 实例化。
2. 当您有一个 A 类型的成员字段作为 B 的一部分时，就会创建另一个 A 实例。

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

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

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

这可以解释为什么你会得到Af Af Exc。

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

Answer 2

您没有向我们展示您得到的输出，只是一堵胡言乱语的文字，所以很难知道您在问什么。

但是，根据记录，代码的输出是：

AF AF 执行

---

为什么？

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

这是你想知道的吗？

---

¹：

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

Answer 3

顺序应该是：
Af, Af, Exc

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

仅当 B 达到匹配的 } 时，B 的构造才算完成。但在此之前你有一个 throw 语句。因此，部分构造的 B 必须被销毁，它有一个对象 a 和继承的子对象 A。因此，这两个对象都被销毁，因此 Af 和 A​​f

接下来，您将到达 throw 块，其中 '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

您不能从构造函数或析构函数调用虚函数。它们不会作为虚拟函数工作，而是被称为非虚拟函数。
您可以在常见问题解答此处阅读相关内容 以及有关构造函数的相关主题 此处。