关于抽象基类中的 构造函数和析构函数

Question

1.他也不实例化对象 写那个干啥 2.我就是把它去掉了 也能运行 为什么 3，程序中构造函数是普通的 为什么析构函数写成了 虚函数形式？
#include <iostream>
using namespace std;
class Shape
{
public:
Shape(void) { }
virtual ~Shape(void) { }
virtual double area() = 0; // 纯虚函数
};
class Rect : public Shape
{
public:
Rect(int l, int w) : m_l(l), m_w(w) { }
virtual ~Rect(void) { }
virtual double area() // 实现纯虚函数
{
return m_l * m_w;
}
private:
double m_l;
double m_w;
};
class Square : public Shape
{
public:
Square(int l) : m_l(l) { }
virtual ~Square(void) { }
virtual double area() // 实现纯虚函数
{
return m_l * m_l;
}
private:
double m_l;
};
int main()
{
Shape *s1, *s2;
s1 = new Rect(3, 4);
cout << s1->area() << endl;
s2 = new Square(5);
cout << s2->area() << endl;
delete s1;
delete s2;
return 0;
}

Answer 1

我来回答吧：
#1.他也不实例化对象 写那个干啥
在你这个例子中的确没有什么用。虽然有纯虚函数的类不能被实例化，但是它可以被继承，子类的构造过程就调用父类的构造函数的。所以当虚类有构造逻辑时，写构造函数是正常的。

#2.我就是把它去掉了 也能运行 为什么
你的这个例子因为构造函数为空，其实和没写一样。删除后，编译器其实会自动生成一个构造函数的，也是什么都不做，一个空函数。

#3.程序中构造函数是普通的 为什么析构函数写成了 虚函数形式？
虚析构函数是为了确保类的实例能够被正确析构。因为非虚函数的调用的代码是在链接期绑定的，而完全可能出现本来是类SubClass的实例，你转换为FatherClass的指针了，这个时候会导致父类的析构函数被调用，而导致错误的析构。所以C++的书上基本上都是建议将可能被继承的类的析构函数声明为虚函数。（虚函数的调用是运行期绑定的）

追问

非常感谢你的回答 关于：子类的构造过程就调用父类的构造函数的 这句话 我不是很理解 能帮忙解释一下吗 另外 我抽象基类构造函数一般情况是不是都为空呢？ 不为空的能举个简单的例子吗 采纳后我回再补20分 的 谢谢了

追答

比如类 A 有成员 int i，有纯虚方法；
类B 继承类A，类C继承类A，那么如果你不给类A写构造函数，你不就得在类B和类C中写变量i的构造逻辑了么？如果你写了类A的构造函数，那么在类B和类C的构造时，是会先调用你类的构造函数，然后再构造自己类的成员的。类的继承都是按照这个构造顺序。

至于是不是虚类就是空构造的这个问题，的确是，大多数情况下都是空的。

Answer 2

无参构造函数，写不写都可以，即使不写，编译器也会给你加一个默认构造函数的
析构函数写成虚函数，在这个例子当中没有发现这么写的必要，但是这样写有一个好处
就是当派生类中析构函数有操作时，调用基类函数指针进行delete操作，同样可以执行派生类析构函数
所以在基类析构函数没有任何操作情况下，把它定义成虚函数

Answer 3

> 1.他也不实例化对象 写那个干啥
看看抽象的解释吧。主函数中的s1和s2，实例是Rect和Square。但是你并不需要把s1和s2定义成Rect和Square。现在只有Rect和Square，要是以后还有五边形，六边形，圆形等等呢。所以只要定义Shape就可以。

> 2.我就是把它去掉了 也能运行 为什么
因为它是抽象的，具体实现在子类中，基类实际上相当于"Interface"的作用了。

> 3，程序中构造函数是普通的 为什么析构函数写成了 虚函数形式？
解释起来稍多些，网上有专业的解释，你百度一下“虚析构函数”有很多介绍。

追问

谢谢你 我对问题1 的表述可能不太清楚
我意思是 构造函数和析构函数是和实例化的对象有关的
抽象基类并没有实例化对象 那我为什么还要在基类中写构造函数和析构函数？ 谢谢

追答

构造函数可以用来初始化成员变量的。你现在没有成员变量罢了。
即使你不写构造函数，编译器也会自动给你产生一个没有参数的构造函数的。