C++中的多态分为静多态和动多态两种情况。
静多态是在编译时就能确定调用函数的类型,包括重载和模板。动多态则是需要在运行时才能确定调用哪一个函数。
动多态的产生条件是需要在基类的指针指向派生类的对象,并调用派生类的函数。而要想调用派生类的函数,那么基类里这个函数应写为虚函数。什么是虚函数?所谓的虚函数就是允许子类对其重新的定义,这种称之为覆盖。
当基类写了虚函数时便会有虚函数指针(vptr)和虚函数表,在他的类对象内存前面会多出四字节大小,这里来存放虚函数指针,虚函数指针来指向虚函数表,所谓的虚函数表就是用来存放着所有虚函数的位置,由于其动态绑定特性,在覆写后在子类中存储的虚函数位置与父类中不相同。
当子类重新定义了父类的虚函数后,父类指针根据赋给它的不同的子类指针,动态的调用属于子类的该函数,这样的函数调用在编译期间是无法确定的,运行时才能获取虚函数指针vptr和根据虚函数表的偏移量确定实际函数地址。
class Animal
{
public:
Animal(string name)
{
_name = name;
}
virtual void call()
{
cout << _name << "wwwwwwww" << endl;
}
virtual ~Animal()
{
}
private:
string _name;
};
class cat : public Animal
{
public:
cat(string name)
:Animal(name),_name(name)
{}
void call()
{
cout << _name<<":miao miao miao" << endl;
}
~cat()
{
}
private:
string _name;
};
class dog : public Animal
{
public:
dog(string name)
:Animal(name), _name(name)
{}
void call()
{
cout << _name<< ":wang wang wang" << endl;
}
~dog()
{
}
private:
string _name;
};
这里基类是Animal类,派生类为cat和dog类。
int main()
{
Animal * aaa = new cat("cat");
aaa->call();
Animal * bbb = new dog("dog");
bbb->call();
}
在运行这样的程序之后的结果为
这样就产生了多态,调用同一个函数call()但是产生了不同的结果。
在c++中还有一个特点,
C++里规定,为了防止内存泄漏。当你在基类的构造函数中申请了资源的时候,派生类继承了基类,也就基础了基类的构造函数。所以析构的时候也要调用基类的析构函数。但是要注意一定要将基类中的析构函数写成虚函数,因为如果这个类被其他类继承但并没有把析构函数写成虚函数,若定义一个父类的指针指向子类,当释放这个指针时的过程是:只是释放了父类的资源,而没有调用继承类的析构函数,造成内存泄漏.。
构造和析构的顺序是相反的。
构造时,基类先构造,然后再派生类。析构时则反过来。先调用派生类的析构,再调用基类的析构。这符合资源栈的操作。先进后出,先申请的资源后释放。 举个例子:
class Animal
{
public:
Animal(string name)
{
_name = name;
cout << "Animal()" << endl;
}
virtual void call()
{
cout << _name << "wwwwwwww" << endl;
}
virtual ~Animal()
{
cout << "~Animal()" << endl;
}
private:
string _name;
};
class cat : public Animal
{
public:
cat(string name)
:Animal(name),_name(name)
{
cout << "cat()" << endl;
}
virtual void call()
{
cout << _name<<":miao miao miao" << endl;
}
~cat()
{
cout << "~cat()" << endl;
}
private:
string _name;
};
class dog : public Animal
{
public:
dog(string name)
:Animal(name), _name(name)
{
cout << "dog()" << endl;
}
void call()
{
cout << _name<< ":wang wang wang" << endl;
}
~dog()
{
cout << "~dog()" << endl;
}
private:
string _name;
};
int main()
{
Animal * aaa = new cat("cat");
Animal * bbb = new dog("dog");
delete aaa;
delete bbb;
}