C++构造函数与析构函数
构造函数不能是虚函数
首先需要了解 vptr指针和虚函数表的概念,以及这两者的关联。
vptr指针指向虚函数表,执行虚函数的时候,会调用vptr指针指向的虚函数的地址。
当定义一个对象的时候,首先会分配对象内存空间,然后调用构造函数来初始化对象。vptr变量是在构造函数中进行初始化的。又因为执行虚函数需要通过vptr指针来调用。如果可以定义构造函数为虚函数,那么就会陷入先有鸡还是先有蛋的循环讨论中。
#include<bits/stdc++.h>
using namespace std;
class A{
public:
virtual A(){
}
};
void test1(){
A a;
}
int main(){
test1();
}
构造函数可以调用虚函数但是没意义 尽量不要这样用
虚函数底层实现原理(但是最好不要在构造和析构函数中调用) 可以,但是没有动态绑定的效果,父类构造函数中调用的仍然是父类版本的函数,子类中调用的仍然是子类版本的函数。
#include<bits/stdc++.h>
using namespace std;
class A{
public:
A(){
f();
}
virtual void f(){
cout << "A : virtual";
}
};
void test1(){
A a;
}
int main(){
test1();
}
空类的大小 有虚函数的类大小
#include<bits/stdc++.h>
using namespace std;
class ANULL{
};
class A{
public:
A(){
}
virtual void f(){
cout << "A : virtual";
}
};
void test1(){
A a;
ANULL anull;
cout << "ANULL:" << sizeof(anull);
cout << "A:" << sizeof(a) << endl;
}
int main(){
test1();
}
空类大小1 带有虚函数类在64位系统下 占了一个指针的长度 8 代表一个虚表指针
析构函数一般必须设置为虚函数
基类指针指向了派生类对象,而基类中的析构函数是非virtual的,而虚构函数是动态绑定的基础。现在析构函数不是virtual的,因此不会发生动态绑定,而是静态绑定,指针的静态类型为基类指针,因此在delete的时候只会调用基类的析构函数,而不会调用派生类的析构函数。这样,在派生类中申请的资源就不会得到释放,就会造成内存泄漏,这是相当危险的:如果系统中有大量的派生类对象被这样创建和销毁,就会有内存不断的泄漏,久而久之,系统就会因为缺少内存而崩溃。
当然,如果在派生类中没有动态申请有资源的时候,是不会造成内存泄漏的。而当派生类对象的析构函数中有内存需要回收,并且在编程过程中采用了基类指针指向派生类对象,如为了实现多态,并且通过基类指针将对象销毁,这时,就会因为基类的析构函数为非虚函数而不触发动态绑定,从而没有调用派生类的析构函数而导致内存泄漏。
因此,为了防止这种情况下的内存泄漏的发生,最后将基类的析构函数写成virtual虚析构函数。