c++抽象类和纯虚函数

纯虚函数和抽象类:
含有纯虚函数的类是抽象类，不能生成对象，只能派生。他派生的类的纯虚函数没有被改写，那么，它的派生类还是个抽象类。
定义纯虚函数就是为了让基类不可实例化化,因为实例化这样的抽象数据结构本身并没有意义.或者给出实现也没有意义
一.纯虚函数
在许多情况下，在基类中不能给出有意义的虚函数定义，这时可以把它说明成纯虚函数，把它的定义留给派生类来做。定义纯虚函数的一般形式为：
抽象类中不仅包括纯虚函数，也可包括虚函数。抽象类中的纯虚函数可能是在抽象类中定义的，也可能是从它的抽象基类中继承下来且重定义的。
2.抽象类特点，即抽象类必须用作派生其他类的基类，而不能用于直接创建对象实例。
一个抽象类不可以用来创建对象，只能用来为派生类提供一个接口规范，派生类中必须重载基类中的纯虚函数，否则它仍将被看作一个抽象类。
};
class Cat: public Animal
{
public:
virtual void shout() //必须要被实现，即使函数体是空的
{
printf(" miao! miao! miao! \n");
}
virtual void impl()
{
printf(" implement of Cat! \n");
virtual ~Animal() {printf(" Animal destory! \n");}; //虚析构函数
};
void Animal::impl() //纯虚函数也可以被实现。
{
printf(" Animal: I can be implement! \n");
}
class Dog: public Animal
class类名{
virtual返回值类型函数名（参数表）= 0; //后面的"= 0"是必须的，否则，就成虚函数了
};
纯虚函数是一个在基类中说明的虚函数，它在基类中没有定义，要求任何派生类都定义自己的版本。纯虚函数为各派生类提供一个公共界面。
从基类继承来的纯虚函数，在派生类中仍是虚函数。
二.抽象类
1.如果一个类中至少有一个纯虚函数，那么这个类被称为抽象类（abstract class）。
{
public:
virtual void shout() //必须要被实现，即使函数体是空的
{
printf(" wang! wang! wang! \n");
}
virtual void impl()
{
printf(" implement of Dog! \n");
}
virtual ~Dog() {printf(" Dog destory! \n");}; //虚析构函数
例如：
class B
{
virtual ~B(); //虚析构函数
…
};
关于更多的精彩解释，请参考<< c++编程思想>>一书。
*/
#include <stdio.h>
class Animal
{
public:
virtual void shout() = 0;
virtual void impl() = 0;
Animal *animal = &dog;
animal->shout();
animal->impl();
printf("\n");
animal = &cat;
animal->shout();
animal->impl();
printf("\n");
}
int main()
{
test_func();
while(1);
}
/* result:
wang! wang! wang!
implement of Dog!
miao! miao! miao!
implement of Cat!
Cat destory!
Animal destory!
Dog destory!Animal d Nhomakorabeastory!
*/
3.在effective c++上中提到，纯虚函数可以被实现（定义），但是，不能创建对象实例，这也体现了抽象类的概念。
三.虚析构函数
虚析构函数:在析构函数前面加上关键字virtual进行说明，称该析构函数为虚析构函数。虽然构造函数不能被声明为虚函数，但析构函数可以被声明为虚函数。
一般来说，如果一个类中定义了虚函数，析构函数也应该定义为虚析构函数。
Animal &display(Animal &a)
{
Dog d;
Animal &p = d;
return p;
}
void test_func()
{
//Animal a; // error:抽象类不能建立对象
Dog dog; //ok，可以声明抽象类的指针
Cat cat; //ok，可以声明抽象类的指针
}
virtual ~Cat() {printf(" Cat destory! \n");}; //虚析构函数
};
/*
Animal f() // error,抽象类不能作为返回类型
{
}
void display( Animal a) //error,抽象类不能作为参数类型
{
}
*/
//ok，可以声明抽象类的引用