c++继承问题

Question

我对此有一个问题：

class A
{
  int a;
  int* pa;
public:
   A(int i):a(i) , pa(new int(a))
   {
      cout<<"A ctor"<<a<<endl;
   }
   ~A()
    {
      delete pa;
      cout<<"dtor\n";
    }
    int * &get()
    {
     return pa;
    }
};

class B : public A
{
     int b;
public:
      B (A obj): A(obj) , b(0)
      {
       cout<<"B ctor\n";
      }
      ~B()
      {
       cout<<"B dtor\n";
      }
};

int main()
{
 int i = 23 ; 
 A* p = new B(i);
}

可以告诉我为什么 main 中的最后一行可以编译吗？我将一个 int 传递到 B 的构造函数中，该构造函数需要一个 A 对象。我相信 int 在 B 的构造函数中被转换为 A，但为什么呢？

提前致谢。

阿夫里。

Answer 1

由于您尚未将 A 构造函数声明为 explicit，编译器正在使用 i 创建 A 的匿名实例并使用它初始化 B 实例。如果您不希望编译器执行这些隐式转换，请将您的构造函数声明为显式。然后你会得到一个编译器错误。

Answer 2

由于 A 有一个采用 int 且未标记为 explicit 的单参数构造函数，因此您可以隐式转换 int > 到 A。

当您执行 new B(i) 时，由于 B 唯一可行的构造函数采用 A，因此会尝试转换 i 到 A 并从中构造新的 B。此转换是通过使用采用 int 的构造函数创建临时 A 来完成的。

当构造 B 对象时，基类 A 是从临时 A 复制构造的，这意味着复制成员变量 a< /code> 和来自临时 A 的 pa。

严格来说，因为构造函数按值获取 A 对象，所以从概念上讲，临时对象被再次复制。然而，编译器可以通过直接从 i 构造 B 的构造函数参数来消除临时参数，因此效果很可能看起来只是一个副本。

这会导致严重错误，因为当临时A被销毁时，delete pa会导致动态分配的int被销毁，但基类新分配的 B 对象的 A 仍将具有此指针的副本，该指针现在不再指向无效对象。如果编译器没有消除其中一个副本，则会立即发生“双重释放”。

A 的关键方面是它有一个用户定义的析构函数来执行资源操作（释放）。这是一个强烈警告，表明 A 需要用户定义的复制构造函数和复制赋值运算符，因为编译器生成的版本可能与 A 的设计不一致。

这被称为“三规则”，它表示如果您需要析构函数、复制构造函数或复制赋值运算符之一的用户定义版本，那么您可能需要所有这些的用户定义版本。

如果您尝试释放示例中动态分配的 B 对象，则可能会导致“双重释放”错误。此外，A 的析构函数需要标记为virtual，以便通过指向 A 的指针进行删除才能正常工作。

Answer 3

由于存在从 int 到 A 的转换，因此您的代码会隐式转换为

 A* p = new B(A(i));