虚函数 析构函数 抽象类

1. 析构函数和虚析构函数  
    如果基类的析构函数是虚的,那么它的派生类的析构函数都是虚的  
    这将导致:当派生类析构的时候,它的所有的基类的析构函数都将得到调用  
    否则,只调用派生类的析构函数(这可能导致基类的某些对象没有得到释放)     
    所以CObject类的析构函数是虚的,所有由它派生的类析构的时候一级一级的进行,不会造成内存泄漏。

    无论基类的析构函数是否为虚析构函数. 基类的析构函数总是会被自动调用的;但是, 如果用基类指针去操作一个了派生类对象,如果不为虚就不能保证派生类的析构函数被调用。

2. 纯虚析构函数

    析构函数的纯虚性唯一效果就是保证抽象类的实例化。

   《Effective C++》中第14条条款的一部分,既是对虚析构函数的彻底理解,亦是对纯虚析构函数作用的解释。

    在某些类里声明纯虚析构函数很方便。纯虚函数将产生抽象类——不能实例化的类(即不能创建此类型的对象)。有些时候,你想使一个类成为抽象类,但刚好又没 有任何纯虚函数。怎么办?因为抽象类是准备被用做基类的,基类必须要有一个虚析构函数,纯虚函数会产生抽象类,所以方法很简单:在想要成为抽象类的类里声 明一个纯虚析构函数。

这里是一个例子:
class awov {
public:
  virtual ~awov() = 0;      // 声明一个纯虚析构函数
};

      这个类有一个纯虚函数,所以它是抽象的,而且它有一个虚析构函数,所以不会产生析构函数问题。但这里还有一件事:必须提供纯虚析构函数的定义:

awov::~awov() {}           // 纯虚析构函数的定义

这个定义是必需的,因为虚析构函数工作的方式是:最底层的派生类的析构函数最先被调用,然后各个基类的析构函数被调用。这就是说,即使是抽象类,编 译器也要产生对~awov的调用,所以要保证为它提供函数体。如果不这么做,链接器就会检测出来,最后还是得回去把它添上。

3. 虚函数   

【1】在基类用virtual声明成员函数为虚函数。这样就可以在派生类中重新定义此函数,为它赋予新的功能,并能方便地被调用。

【2】在派生类中重新定义此函数,要求函数名、函数(返回)类型、函数参数个数和类型与基函数的虚函数相同。如果在派生类中没有对基类的虚函数重定 义,则派生类简单地继承直接基类的虚函数。

【3】C++规定,当一个成员函数被声明为虚函数后,其派生类中的同名函数(符合2中定义的函数)都自动成为虚函数。
【4】定义一个指向 基类对象的指针变量,并使其指向同一类族中的某个对象。通过该指针变量调用此函数,此时调用的就是指针变量指向的对象的同名函数。
【5】只能用 virtual声明类的成员函数,使它成为虚函数,而不能将类外的普通函数声明为虚函数。
【6】一个成员函数被声明为虚函数后,在同一类族中的 类就不能再定义一个非virtual的但与该虚函数具有相同参数(个数与类型)和函数返回值类型的同名函数。
【7】静态成员函数不能是虚函数, 因为静态成员函数不受限于某个对象。
【8】inline函数不能是虚函数,因为inline函数是不能在运行中动态确定其位置的。即使虚函数在 类的内部定义,编译时,仍将其视为非inline的。
【5】使用虚函数,系统要有一定的空间开销。当一个类带有虚函数时,编译器会为该类构造一 个虚函数表(virtual function tanle,vtable),它是一个指针数组,存放每个虚函数的入口地址。
4. 纯虚函数
 一个函数声明为纯虚后,纯虚函数的意思是:我是 一个抽象类!不要把我实例化!纯虚函数用来规范派生类的行为,实际上就是所谓的“接口”。它告诉使用者,我的派生类都会有这个函数。
virtual void show()=0;//纯虚函数

这里将show()声明为纯虚函数(pure virtual function)。纯虚函数是在声明虚函数时被“初始化”为0的虚函数。
声 明纯虚函数的一般形式为,
virtual 函数类型 函数名(参数列表)=0;

纯虚函数没有函数体;最后的“=0”并不代表函数返回值为0,它只起形式上的作用,告诉编译器“这是纯虚函数”;这个一个声明语句,最后有分号。
声 明纯虚函数是告诉编译器,“在这里声明了一个虚函数,留待派生类中定义”。在派生类中对此函数提供了定义后,它才能具备函数的功能,可以被调用。
纯 虚函数的作用是在基类中为其派生类保留了一个函数的名字,以便派生类根据需要对它进行定义。
如果在一个类中声明了纯虚函数,而在其派生类中没有对 该函数定义,则该函数在派生类中仍为纯虚函数。

   1. 虚函数和纯虚函数可以定义在同一个类(class)中,含有纯虚函数的类被称为抽象类(abstract class),而只含有虚函数的类(class)不能被称为抽象类(abstract class)。
   2. 虚函数可以被直接使用,也可以被子类(sub class)重载以后以多态的形式调用,而纯虚函数必须在子类(sub class)中实现该函数才可以使用,因为纯虚函数在基类(base class)
只有声明而没有定义。

   3. 虚函数和纯虚函数都可以在子类(sub class)中被重载,以多态的形式被调用。

   4. 虚函数和纯虚函数通常存在于抽象基类(abstract base class -ABC)之中,被继承的子类重载,目的是提供一个统一的接口。

   5. 虚函数的定义形式:virtual    {method body}
         纯虚函数的定义形式:virtual    { } = 0;
         在虚函数和纯虚函数的定义中不能有static标识符,原因很简单,被static修饰的函数在编译时候要求前期bind,然而虚函数却是动态绑定 (run-time bind),而且被两者修饰的函数生命周期(life recycle)也不一样。
   6. 如果一个类中含有纯虚函数,那么任何试图对该类进行实例化的语句都将导致错误的产生,因为抽象基类(ABC)是不能被直接调用的。必须被子类继承重载以 后,根据要求调用其子类的方法。

5  纯抽象类

   从C++的 角度来看,一个抽象类和一个接口之间没有任何区别。有时,我们习惯使用“纯抽象类”这个词来表示某个类仅仅只含有纯虚函数(不包含任何数据成员),它是抽 象类的最常见的形式。

   使用纯抽象类有什么好处?最明显的例子就是“多接口、单实现”,这是一种很常见的情况。

   在C++中加入了 纯虚函数的概念,一个纯虚函数必须被其派生类重写。借助此概念,你可以在一个C++类中通过将其成员函数 声明为纯虚函数的方法表明该类是一个纯接口类。从那以后,我就一直强调在C++中,有一种主要的使用类的方法就是让该类不包含任何状态, 而仅仅作为一个接口。

6  抽象类

    将不用来定义对象而只作为一种基本类型用作继承的类,称为抽象类(abstract class),由于它常用作基类,通常称为抽象基类。凡是包含纯虚函数的类都是抽象类。
    如果在派生类中没有对所有的纯虚函数进行定义,则此派生类仍然是抽象类,不能用来定义对象。
可以定义指向抽象类数据的指针变量。当派生类成为具体 类后,就可以用这个指针指向派生类对象,然后通过该指针调用虚函数。

    带有纯虚函数的类称为抽象类。抽象类是一种特殊的类,它是为了抽象和设计的目的而建立的,它处于继承层次结构的较上层。抽象类是不能定义对象的,在实际中 为了强调一个类是抽象类,可将该类的构造函数说明为保护的访问控制权限。抽象类的主要作用是将有关的组织在一个继承层次结构中,由它来为它们提供一个公共 的根,相关的子类是从这个根派生出来的。抽象类刻画了一组子类的操作接口的通用语义,这些语义也传给子类。一般而言,抽象类只描述这组子类共同的操作接 口,而完整的实现留给子类。抽象类只能作为基类来使用,其纯虚函数的实现由派生类给出。如果派生类没有重新定义纯虚函数,而派生类只是继承基类的纯虚函 数,则这个派生类仍然还是一个抽象类。如果派生类中给出了基类纯虚函数的实现,则该派生类就不再是抽象类了,它是一个可以建立对象的具体类了。

 

 

虚函 数,虚析构函数,纯虚函数,抽象类。
author: ZJ 07-12-31
1. 虚函数
1.1 虚函数的作用
虚函数的作用是允许在派生类中重新定义与基类同名的函数,并且可以通过基类指针或引用来访问基类和派 生类中的同名函数。
class Time{
  public :
    Time(int =0,int =0,int =0);
    void show();
  protected :
    int hour;
    int min;
    int sec;
};
 
class LocalTime:public Time{
  public :
    LocalTime(int =0,int =0,int =0,string="+8" );
    void show();
  protected :
    string zone;
};
 
Time::Time(int h,int m,int s):hour(h),min(m),sec(s){}
 
void Time::show(){
  cout<<hour<<":" <<min<<":" <<sec<<endl;
}
 
LocalTime::LocalTime(int h,int m,int s,string z):Time(h,m,s),zone(z){}
 
void LocalTime::show(){
  cout<<hour<<":" <<min<<":" <<sec<<"@" <<zone<<endl;    
}
 
int main(){
  Time t;
  LocalTime lt;
  Time *pt=&t;
  pt->show();
  pt=&lt;
  pt->show();
  system("PAUSE" );
  return EXIT_SUCCESS;
}
结果:
0:0:0
0:0:0
这里通过指针找到派生类,但无法调用派生类 show() 。如果使用虚函数。
将基类 Time 中的 show() 函数声明为虚函数, 其余不变。
class Time{
  public :
    Time(int =0,int =0,int =0);
    virtual void show();
};
结果:
0:0:0
0:0:0@+8
本来,基类指针是指向基类对象的,如果用它指向派生类对象,则进行指针类型转换,将派生类对象的指针 先转换为基类指针,所以基类指针指向的是派生类对象中的基类部分。在程序修改前,是无法通过基类指针去调用派生类对象中的成员函数的。
虚函数突破这一限制,在派生类的基类部分中,派生类的虚函数取代了基类原来的虚函数,因此在使用基类 指针指向派生类对象后,调用虚函数时就调用了派生类的虚函数。
 
1.2 虚函数的使用方法
1 】在基类用 virtual 声明成员函数为虚函数。这样就 可以在派生类中重新定义此函数,为它赋予新的功能,并能方便地被调用。
 
2 】在派生类中重新定义此函数,要求函数 名、函数(返回)类型、函数参数个数和类型与基函数的虚函数相同。如果在派生类中没有对基类的虚函数重定义,则派生类简单地继承直接基类的虚函数。
有一种情况例外,在这种情况下派生类与基类的成员函数返回类型不同,但仍起到虚函数的作用。即基类 虚函数返回一个基类指针或基类引用,而子类的虚函数返回一个子类的指针或子类的引用。
class Base{
  public :
    virtual Base *fun(){
      cout<<"Base's fun()." <<endl;
      return this ;
    }
};
 
class Derived:public Base{
  public :
    virtual Derived *fun(){
      cout<<"Derived's fun()." <<endl;
      return this ;
    }
};
 
void test(Base &x){
  Base *b;
  b=x.fun();
}
 
int main(){
  Base b; 
  Derived d;
  test(b);
  test(d);   
  system("PAUSE" );
  return EXIT_SUCCESS;
}
结果:
Base's fun().
Derived's fun().

csw ADD 考虑一下如果
void test(Base &x)
{
  Base *b;
  b=x.fun();
}
变为
void test(Base x)
{
  Base *b;
  b=x.fun();
}
 结果又会怎样呢?
我认为结果应该是:
Base's fun().
Base's  fun().
因为值传递中会出现派生类对象的切割

3 C++ 规定,当一个成员函数被声明为虚函数 后,其派生类中的同名函数(符合 2 中定义的函数)都自动成为虚函数。
 
4 】定义一个指向基类对象的指针变量,并使 其指向同一类族中的某个对象。通过该指针变量调用此函数,此时调用的就是指针变量指向的对象的同名函数。
 
1.3 声明虚函数的限制
1 】只能用 virtual 声明类的成员函数,使它成为虚 函数,而不能将类外的普通函数声明为虚函数。
 
2 】一个成员函数被声明为虚函数后,在同一 类族中的类就不能再定义一个非 virtual 的但与该虚函数具有相同参数(个数与类型)和函数返回值类型的同名函数。
 
3 】静态成员函数不能是虚函数,因为静态成 员函数不受限于某个对象。
 
4 inline 函数不能是虚函数,因为 inline 函数是不能在运行中动态确定其 位置的。即使虚函数在类的内部定义,编译时,仍将其视为非 inline 的。
 
5 】使用虚函数,系统要有一定的空间开销。 当一个类带有虚函数时,编译器会为该类构造一个虚函数表 (virtual function tanle,vtable) ,它是一个指针数组,存放每个虚函数的入口地 址。
2. 虚析构函数
class Time{
  public :
    Time(int =0,int =0,int =0);
    ~Time(){
      cout<<"Time destructor" <<endl;
    }       
  protected :
    int hour;
    int min;
    int sec;
};           
 
class LocalTime:public Time{
  public :
    LocalTime(int =0,int =0,int =0,string="+8" );
    ~LocalTime(){
      cout<<"LocalTime destructor" <<endl;
    }
  protected :
    string zone;
};                 
 
Time::Time(int h,int m,int s):hour(h),min(m),sec(s){}
 
LocalTime::LocalTime(int h,int m,int s,string z):Time(h,m,s),zone(z){}
 
int main(){
  Time *p=new LocalTime;// 指向派生类
  delete p;  
  system("PAUSE" );
  return EXIT_SUCCESS;
}
结果:
Time destructor
从结果可以看出,执行的还是基类的析构函数,而程序的本意是希望执行派生类的析构函数。此时将基类的 析构函数声明为虚析构函数,
virtual ~Time(){
  cout<<"Time destructor" <<endl;
}
结果:
LocalTime destructor
Time destructor
如果将基类的析构函数声明为虚函数,由该基类所派生的所有派生类的析构函数也自动成为虚函数。
把基类的析构函数声明为虚函数的好处是,如果程序中 delete 一个对象,而 delete 运算符的操作对象是指向派生类 对象的基类指针,则系统会调用相应类的析构函数。
构造函数不能声明为虚函数。
3. 纯虚函数
virtual void show()=0;// 纯虚函数
这里将 show() 声明为纯虚函数 (pure virtual function) 。纯虚函数是在声明虚函数 时被“初始化”为 0 的 虚函数。
声明纯虚函数的一般形式为,
virtual 函数类型 函数名 ( 参数列表 )=0;
纯虚函数没有函数体;最后的“ =0 并不代表函数返回值为 0 ,它只起形式上的作用,告诉编译器“这是纯虚函数”;这个一个声明语句,最后有分号。
声明纯虚函数是告诉编译器,“在这里声明了一个虚函数,留待派生类中定义”。在派生类中对此函数提 供了定义后,它才能具备函数的功能,可以被调用。
纯虚函数的作用是在基类中为其派生类保留了一个函数的名字,以便派生类根据需要对它进行定义。
如果在一个类中声明了纯虚函数,而在其派生类中没有对该函数定义,则该函数在派生类中仍为纯虚函 数。
4. 抽象类
将不用来定义对象而只作为一种基本类型用作继承的类,称为抽象类 (abstract class) , 由于它常用作基类,通常称为抽象基类。凡是包含纯虚函数的类都是抽象类。
如果在派生类中没有对所有的纯虚函数进行定义,则此派生类仍然是抽象类,不能用来定义对象。
可以定义指向抽象类数据的指针变量。当派生类成为具体类后,就可以用这个指针指向派生类对象,然后通 过该指针调用虚函数。
本文出自 “ 子 孑 ” 博客,请务必保留此出处 [url]http://zhangjunhd.blog.51cto.com/113473/57543[/url]
  • 0
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值