(整理自Effctive C++,转载请注明。整理者:华科小涛@http://www.cnblogs.com/hust-ghtao/

为方便采用书上的例子,先提出问题,在说解决方案。

1 问题

   1: class Transaction{

   2: public:

   3:     Transaction();

   4:     virtual void LogTransaction() const = 0 ;

   5:     ...

   6: };

   7:  

   8: Transaction::Transaction()                //Base class 的构造函数之实现

   9: {

  10:     ...

  11:     LogTransaction();                    //最后动作是调用LogTransaction函数

  12: }

  13:  

  14: class BuyTransaction:public Transaction{

  15: public:

  16:     virtual void LogTransaction() const ; 

  17:  

  18: };

假设在程序中:

   1: BuyTransaction b ;

BuyTransaction构造函数会被调用,但首先Transaction的构造函数会被调用;derived class对象内的base class成分会在derived class自身成分被构造之前先构造妥当。Transaction构造函数最后一行调用virtual函数LogTransaction是base class内的版本。是的,base class构造期间virtual函数绝对不会下降到derived class阶层。即“在base class 构造期间,virtual函数不是virtual函数”。

这一似乎反直觉的行为有个好理由:对于base class构造函数的执行更早于derived class构造函数,当base class构造函数执行时derived class的成员变量尚未初始化。如果此期间调用virtual函数下降至derived class阶层,要知道derived class的函数几乎必然取用local成员变量,而那些变量尚未初始化,C++不允许你这样做。

其实还有更根本的原因:在derived class对象的base class构造期间,对象的类型是derived class。

相同道理也适用于析构函数。一旦derived class析构函数开始执行,对象内的derived class 成员变量便呈现未定义的值。进入base class析构函数后对象就成为一个base class对象,而virtual函数等也那么看待它。

另外,侦测“构造函数或析构函数运行期间是否调用virtual函数”并不是很轻松。唯一能够避免此问题的做法就是:确定你的构造函数和析构函数都没有(在对象被创建和被销毁期间)调用virtual函数,而它们调用的所有函数也都服从同一约束。

2 解决方案

上面提到唯一能够避免此问题的做法就是:确定你的构造函数和析构函数都没有(在对象被创建和被销毁期间)调用virtual函数,而它们调用的所有函数也都服从同一约束。

但是,如何确保每次一继承体系上的对象被创建,都有适当版本的函数被调用呢?很显然,在base class构造函数内对着对象调用virtual函数是一种错误的做法。其他方案可以解决这个问题:一种做法是在class Transaction内将LogTransaction函数改为non-virtual,然后derived class构造函数传递必要的信息给Transaction构造函数,然后那个构造函数便可安全调用non-virtual LogTransaction:

   1: class Transaction{

   2: public:

   3:     explicit Transaction ( const string& logInfo ) ;

   4:     void LogTransaction ( const string& logInfo ) const ;//如今是个non-virtual函数

   5:     ...

   6: };

   7: Transaction::Transaction( const string& logInfo )

   8: {

   9:     LogTransaction(logInfo);                //如今是个non-virtual 调用

  10: }

  11:  

  12: class BuyTransaction:public Transaction{

  13: public:

  14:     BuyTransaction( parameters ):Transaction(createLogString(parameters))  //将log信息传递给base class构造函数

  15:     {...}

  16:     ...

  17: private:

  18:     static string createLogString(parameters) ;

  19: };

  20:  

换句话说由于无法使用virtual函数从base class向下调用,在构造函数期间,你可以借由“令derived class将必要的构造信息传递至base class构造函数”替换之而加以补偿。

令createLogString为static,也就不可能意外指向“初期未成熟之BuyTransaction对象尚未初始化的成员变量”。这很重要,正因为“那些成员变量处于未定义状态”,所以在“base class构造和析构期间调用的virtual函数不可下降至derived class” 。

请注意:在构造和析构期间不要调用virtual函数,因为这类调用从不下降至derived class。

Effective C++_笔记_条款09_绝不在构造和析构过程中调用virtual函数的更多相关文章

  1. Effective C++ -----条款09:绝不在构造和析构过程中调用virtual函数

    在构造和析构期间不要调用virtual函数,因为这类调用从不下降至derived class(比起当前执行构造函数和析构函数的那层).

  2. Effective C++ 条款九、十 绝不在构造和析构过程中调用virtual函数|令operator=返回一个reference to *this

      1.当在一个子类当中调用构造函数,其父类构造函数肯定先被调用.如果此时父类构造函数中有一个virtual函数,子类当中也有,肯定执行父类当中的virtual函数,而此时子类当中的成员变量并未被初始 ...

  3. 条款9:绝不在构造和析构过程中调用virtual函数(Never call virtual functions during construction or destruction)

    NOTE:在构造和析构期间不要调用virtual函数,因为这类调用从不下降至derived class(比起当前执行构造函数和析构函数的那层)

  4. 条款09:绝不在构造和析构过程中调用virtual函数

    不该在构造函数和析构函数期间调用virtual函数,这一点是C++与jave/C#不同的地方之一. 假设有一个class继承体系,用来模拟股市交易如买进.卖出的订单等等.这样的交易一定要经过审计,所以 ...

  5. NO.8:绝不在构造或者析构过程中调用virtual函数

    在构造和析构执行期间不要调用virtual函数,因为这类调用从不会下降至derived class(比起当前执行构造函数和析构函数) 如果在base class 构造函数或者析构函数调用virtual ...

  6. 【09】绝不在构造和析构过程中调用virtual方法

    1.绝不在构造和析构过程中调用virtual方法,为啥? 原因很简单,对于前者,这种情况下,子类专有成分还没有构造,对于后者,子类专有成分已经销毁,因此调用的并不是子类重写的方法,这不是程序员所期望的 ...

  7. 条款9:不要在构造和析构过程中调用virtual函数

    如下是一个股票交易的例子: class Transaction // 交易的基类 { public: Transaction(); ; // 用于记录交易日志 }; Transaction::Tran ...

  8. Effective C++ .09 不在构造和析构过程中调用virtual函数

    看过C++对象模型的话就可以知道,在构造基类时,完整的vtable没有建立起来(表项没有被相应的子类函数替换),因而无法调用到子类的函数(即构造函数中的virtual函数是本类里的方法,不是virtu ...

  9. 绝不要在构造函数和析构过程中调用virtual函数

    下面是一个用来塑模股市交易的类: derived的类的构造函数被调用,但是首先得调用基类Transaction的构造函数,但是在后面还得调用virrual函数,这个时候子类的对象的构造还没有完成,那么 ...

随机推荐

  1. Python之路Day6

    Day6的主要内容是: configparser模块 shutil模块 subprocess模块 处理xml的模块 1.configparser模块 #! /usr/bin/env python # ...

  2. 我的Python成长之路---第四天---Python基础(15)---2016年1月23日(寒风刺骨)

    二.装饰器     所谓装饰器decorator仅仅是一种语法糖, 可作用的对象可以是函数也可以是类, 装饰器本身是一个函数, 其主要工作方式就是将被装饰的类或者函数当作参数传递给装饰器函数.本质上, ...

  3. USACO Subset 整数划分01背包

    又是去理解了一次01背包. 这道题目的意思就是给你一个N (N < 40)表示有一个集合{1,2,3,... n} 你要将它划分成相等的两个子集合,求有几种划分方式 如果N是奇数,那么显然不能由 ...

  4. 用QT创建WINDOWS服务程序

    恩, qtservice挺好的http://www.qtsoftware.com/products/appdev/add-on-products/catalog/4/Utilities/qtservi ...

  5. javaCore分析示例(转)

    当两个或多个线程彼此形成循环依赖关系时,就出现了死锁.例如,如果线程 A 处于等待线程 B 的等待状态,而同时线程 B 处于等待线程 A 的等待状态,则出现了死锁.一旦形成此情况,线程 A 和线程 B ...

  6. 分享:json2.js源代码解读笔记

    1. 怎样理解"json" 首先应该意识到,json是一种数据转换格式,既然是个"格式",就是个抽象的东西.它不是js对象,也不是字符串,它仅仅是一种格式,一种 ...

  7. ADB logcat 过滤方法(抓取日志)

    1. Log信息级别 Log.v- VERBOSE  : 黑色 Log.d- DEBUG  : 蓝色 Log.i- INFO  : 绿色 Log.w- WARN  : 橙色 Log.e- ERROR ...

  8. mysql数据库修改数据库编码,字段编码与表编码(转) good

    最近看了一下KIGG框架,发现在用EF + MYSQL数据库时,数据出现了乱码,用工具(Navicat )查看一下表category的结构发现 KIGG 数据库的默认情况是用latin1编码的(DEF ...

  9. c语言数组初始化问题

    2147483648字符数组的初始化,最容易理解的方式就是逐个字符赋给数组中各元素. charstr[10]={'I','','a','m','',‘h’,'a','p','p','y'}; 即把10 ...

  10. 基于visual Studio2013解决算法导论之006最大堆排序

     题目 最大堆排序 解决代码及点评 #include <stdio.h> #include <stdlib.h> #include <malloc.h> #i ...