C++继承机制的多态方法必须满足两个条件:
(1)该方法在基类中必须是虚函数或纯虚函数;
(2)方法必须通过基类指针或引用调用。
之前在面向对象课上学这一点的时候,课上是理解了,但是并没有实践,所以,最终还是没有理解。在复习虚函数时,才对C++的这一点有所认识。
虚函数,就是指基类的方法在声明时加上关键字virtual:
virtual void say_something();
虚函数可以有具体的函数体的实现,而且基类中的某一函数被声明为虚函数后,其派生类中的同名函数也被自动定义为虚函数。如果在虚函数声明后加上"=0",则该番薯成为纯虚函数,基类则成为“抽象类”,不能有具体的对象:
virtual void say_something()=0;
下面是一个简单的例子,基类animal与派生类cat:
基类animal的定义:
class animal第六行的方法say_something() 是普通方法:
{
public:
animal();
animal(int, int);
void say_something();
private:
int weight;
int height;
};
void animal::say_something()子类cat的定义:
{
std::cout << "I am an animal" << std::endl;
}
class cat: public animalcat对say_something()的定义:
{
public:
cat();
cat(int, int);
void say_something();
};
void cat::say_something()
{
std::cout << "I am a cat" << std::endl;
}
测试方法say_something()的程序:
void test(animal &ani);
main()
{
cat small_cat(10,30);
small_cat.say_something();
test(small_cat);
return 0;
}
void test(animal &ani)输出为:
{
ani.say_something();
}
I am a cat
I am an animal
程序输出与我们正常的理解相符,第8行将子类cat向上转型为animal,第十五行调用基类animal 的say_something()方法。
如果我们将基类animal中的方法定义为虚方法:
virtual void say_something();
其他不变。则测试程序输出如下:
I am a cat
I am a cat
原因是子类在实现方法say_something()时,由于该方法在基类中是虚方法,所以子类cat的say_something()方法将覆盖基类的方法。于是,虽然测试程序第8行将子类cat向上转型为animal,但是在第15行调用的仍然是子类cat的say_something()方法。这就是对C++多态的简单实现。
PS:谁能告诉我怎么往博客上粘代码呢??