1 
Class Shape {
    virtual Shape() = 0;
    virtual ~Shape() = 0;
}

Class Circle : Public Shape {
    Circle();
    ~Circle();
    // Something ...
}

int main () {
Shape* s = new Circle();
delete s;
}

是不是在调用 Circle 的构造函数？即使它是Shape的构造的不同名称？当你删除s时，你是在调用Circle的析构函数吗？

4

3 回答 3

1

在 C++ 中，构造函数不能是虚拟的。

您提供的代码不是有效的 c++。

这是更正后的代码，您可以在这里看到它运行：http: //codepad.org/2fDc4S3e 程序的输出应该回答您所有的问题。我建议您使用代码来回答您可能遇到的任何其他问题。

class Shape {
public:
    virtual ~Shape() = 0;
};

Shape::~Shape() { std::cout << "Shape dtor called" << std::endl;} // Since you declared the destructor pure virtual you must define it

class Circle : public Shape {
public:
    Circle() { std::cout << "Circle ctor called." << std::endl; }
    ~Circle() { std::cout << "Circle dtor called." << std::endl; }
    // Something ...
};

int main () 
{
  Shape* s = new Circle(); // This will call the constructor of Circle
  delete s; // This will call the destructor of Circle and then the dtor Shape.
  return 0;
}
于 2012-08-26T06:25:05.943 回答
0

是的，Circle 的 dtor 将被称为：

  • 因为 Shape 的 dtor 是虚拟的，所以任何从它继承的类都会有一个虚拟的 dtor。
  • 这意味着 dtor 不是直接调用，而是通过 v-table 调用：当您“删除 s”时，它调用 s.dtor()，它调用 v-table 中的正确项目，即 Circle 的 dtor。
于 2012-08-26T06:24:20.297 回答
0

构造函数不能是虚拟的。

class Shape {
    virtual ~Shape() = 0;
};

class Circle : public Shape {
    Circle() {};
    ~Circle() {};
};

int main() {
    Shape *s = new Circle();
    delete s;
}

是的，new Circle()调用 Circle 的构造函数。这是因为表达式new <type><optional initializer>分配了足够的内存，然后通过调用适当的构造函数（或其他非类类型的初始化）对其进行初始化。这一点不需要是虚拟的，因为您已经明确声明了最派生的类型。

的结果new Circle()是一个指向圆的指针。将此类型分配给指向 Shape 类型指针的变量涉及隐式转换。转换的结果是指向 Circle 的基本 Shape 子对象的指针。同样，这一切都不是虚拟的，因为 Shape 不是虚拟基础，它只是一个常规基础对象，并且它在 Circle 内的位置是静态已知的。

delete s确实调用了 Circle 析构函数。这确实使用了虚拟调度。编译器知道它正在删除一个 Shape，并且 Shape 的析构函数是虚拟的，因此它会查找适当的析构函数 is~Circle()并调用它。如果 Shape 的析构函数不是虚拟的（并且实际上在某处有定义），则不会这样做，只有 Shape 对象会被破坏，而不是 Circle 对象，并且释放可能无法正确完成。行为将是未定义的。

于 2012-08-26T06:29:15.540 回答