《Effective C++ 》学习笔记——条款09

***************************************转载请注明出处:http://blog.csdn.net/lttree********************************************

二、Constructors,Destructors and Assignment Operators

Rule 09:Never call virtual functions during construction or destruction

规则09:绝不在构造和析构过程中调用virtual函数

★不在构造函数和析构函数期间调用virtual函数★

尤其是对于JAVA和C#的程序员,因为这是C++与它们不同的一个地方。

1.依旧一个例子来开头

这是一个类的继承体系,用来塑模股市的交易,如买进、卖出的订单等。

<span style="font-family:Comic Sans MS;">class Transaction  {<span style="white-space:pre">						</span>// 这是所有交易所需继承的基类
public:
    Transaction( );
    virtual void logTransaction() const = 0;<span style="white-space:pre">		</span>// 要做一份因类型不同而不同的记录(pure virtual 所以这个类是抽象类哟)

    ...
};

Transaction::Transaction()<span style="white-space:pre">					</span>// 基类的构造函数的实现
{
    ...
    logTransaction();<span style="white-space:pre">						</span>// 在构造函数中的最后,调用了logTransaction函数
}

class BuyTransaction : public Transaction  {<span style="white-space:pre">		</span>// 派生类之一
public:
    virtual void logTransaction() const;<span style="white-space:pre">			</span>// 记录此类型的交易
    ...
};

class SellTransaction : public Transaction  {<span style="white-space:pre">		</span>// 派生类之二
public:
    virtual void logTransaction() const;<span style="white-space:pre">			</span>// 记录此类型交易
    ...
};</span>

Ok,例子叙述完毕,现在,我们执行下面这段代码,会发生什么呢?

BuyTransaction b;

编译器会这样工作:

→ 调用BuyTransaction类的基类(Transaction)的构造函数

→ 在执行到最后 logTransaction时,会记录 Transaction类型的交易

有错误了吧?

因为,在Transaction构造函数被调用时,logTransaction是Transaction的版本,并非BuyTransaction版本,这个版本的东西还都没有构造出来。

简单的来说,在基类构造函数调用期间,virtual函数并非是virtual函数。

2.为什么会酱紫?

先说直接原因

基类的构造函数的执行  更早于  派生类的构造函数的执行。所以在基类构造函数执行的时候,派生类的东西还没有被初始化。

好吧,我们先假设,我们让构造函数中的virtual函数按它想象的做法来,它是属于派生类的东西,但是如果这个virtual函数中用到了派生类的成员函数,这.....它们还没有被初始化呢!!

这将会导致很多不可预知的错误,所以C++ 会将这扇门关上,所以,找别的道吧。

然后就是更为根本的原因

在 derived class 对象的 base class构造期间的对象类型是 base class 而不是 derived class,不仅仅virtual函数的东西会被编译器指向 base class,如果使用其他信息,它也会是base class的东西。

在简单化一些:对象在derived class构造函数开始执行前不会成为一个 derived class 对象。

☆oh 对了,还有 析构函数 也是同构造函数一样的,当derived class 析构函数执行后,对象内的derived class内容就呈现未定义值的状态,进入 base class 析构函数后,对象就是base class对象了。☆

3.关于检测那些事

在上面的例子中,构造函数中,直接调用一个virtual函数,这很明显的错误(起码,看了这篇应该能看出来),在某些编译器中是可以被检测出来的(以警告的形式)

但是侦测这种事,并非这么简单,如果Transaction有多个构造函数,那么就容易把它们调用的相同东西做到一个函数里(避免了代码的重复),让它的各个构造函数调用这个函数,万一这个函数中有 调用 virtual函数,这肯定也是错的,但是检测起来就没那么容易了。就比如下面这种情况:

<span style="font-family:Comic Sans MS;">class Transaction  {
public:
    Transaction( )
    {  init();  }<span style="white-space:pre">						</span>// 构造函数中,调用的是non-virtual
    virtual void logTransaction() const = 0;
    ....
private:
    void init()<span style="white-space:pre">						</span>// 但是在这里调用了virtual
    {
        ...
        logTransaction();
    }
};</span>

但是在这个例子中,如果这样做,执行系统会终止程序,因为这里logTransaction是 pure virtual 。如果logTransaction单单只是 virtual 函数,就会被编译器调用,这时,就很糟糕了。

对于这个问题,唯一的解决方法,就是确保你的构造函数和析构函数都没有调用virtual函数,包括它们调用的所有函数内也不能调用virtual函数。

4.调用适当版本的logTransaction

首先要明确,调用 virtual 的 logTransaction是错误的。

所以用下面的方案来实现它:

在 Transaction类内将 logTransaction函数改为 non-virtual,然后要求 派生类 构造函数传递 必要信息给 基类(Transaction)构造函数,这样那个构造函数就可以安全地调用 non-virtual logTransaction,像这样:

<span style="font-family:Comic Sans MS;">class Transaction  {
public:
    explicit Transaction( const std::string& logInfo);
    void logTransaction( const std::string& logInfo) const;<span style="white-space:pre">					</span>// 现在它是个non-virtual函数
    ...
};

Transaction::Transaction( const std::string& logInfo )
{
    ...
    logTransaction(logInfo);<span style="white-space:pre">											</span>// 现在调用的是non-virtual函数
}

class BuyTransaction : public Transaction  {
public:
    BuyTransaction( parameters ) : Transaction( createLogString( parameters ) )<span style="white-space:pre">		</span>// 将 log 信息传给 基类 构造函数
    {  ...  }
    ...
private:
    static std::string createLogString( parameters );
};</span>

因为你无法使用 virtual 函数 从 base class 向下调用,在构造期间,可以用将必要信息传给基类构造函数加以弥补。

在这个例子中, 注意BuyTransaction 内的private static 函数 createLogString的运用。比起成员初值列内给予基类所需数据,利用辅助函数创建一个值传递给积累构造函数往往比较方便,而且令次函数为 static 也就不可能意外指向“初期未成熟的BuyTransaction对象内尚未初始化的成员变量”。

5.请记住

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

***************************************转载请注明出处:http://blog.csdn.net/lttree********************************************

时间: 2024-10-07 20:20:46

《Effective C++ 》学习笔记——条款09的相关文章

effective c++学习笔记条款23-25

条款23:宁可用非成员,非友元函数来替代成员函数 1.非成员函数提供了更好的封装性,这个函数内不能访问类的私有成员,封装的越严密我们对类的数据就可以弹性越大的操纵,因为可见这些数据的客户越少,反之数据影响的客户也就越少. 2.c++比较自然的做法-(关系到标准库numplace的组织结构),可以把不同便捷函数放到不同Namespace去,让客户来决定要用的非成员函数功能,这是类不能提供的. 条款24:若所有参数皆需类型转换,请为此采用非成员函数. 1.如果你需要为某个函数的所有参数(包括被thi

effective c++学习笔记条款11-13

条款11: 1.令赋值运算符返回一个&,因为STL,string都是这样做的,除非你有足够好的理由不这样做. 2.处理自我赋值的方法----(1).在没有成功获取对象数据时不要删除自己的数据,避免发生异常后原对象指针是一个悬浮指针 (2).判断自我赋值的检查操作会耗费不少时间,可以用swap交换数据技术来优化---(1)形参为赋值而来,(2)形参为静态引用,多加一个函数内拷贝操作.

effective c++学习笔记条款8-10

条款7:为多态基类声明虚析构函数 1.一个基类指针接受一个派生类对象的地址时,对该指针delete,仅仅释放基类部分 2.给所有类都带上虚析构函数是个馊主意,会带有vptr指向一个函数指针数组,扩大不必要的对象大小,除非补偿vptr,否则没有移植性. 3.string类和STL不含有虚析构函数,然而一些用户 却将他们作为基类,运用   delete指向派生类的基类指针,导致错误[c++11添加了禁止派生性质],他们不适合当基类. 4,手头上没有合适的纯虚函数,但你确实需要一个抽象类,把析构函数声

effective c++学习笔记条款20-22

条款20:用引用传递代替值传递 1.尽量以引用传递来代替传值传递,前者比较高效,并且可以避免切割问题 2.以上规则不适用于内置类型,以及STL的迭代器,和函数对象 条款21:必须返回对象时,别妄想返回对象的引用 1.绝对不要返回指针和引用指向一个局部对象或者静态局部对象而有可能需要多个这样的对象,条款4已经为在单线程环境合理返回&指向一个局部静态提供了一份设计实例.(保护初始化顺序) 条款22:将成员变量声明为private 1.切记将成员变量声明为private.这可赋予客户访问数据的一致性,

effective c++学习笔记条款4-7

条款4:确定对象被使用前已经初始化 一. 变量在不同情况下可能会初始化,也可能不会初始化. 注意初始化和赋值的区别. 1.在类中内置类型不会发生隐式初始化,自定义有默认构造函数的能被默认初始化 所以在构造类时务必初始化内置类型,最好给自定义的对象显示初始化避免在函数体中赋值浪费资源. 2.内置类型在函数体内不会初始化,在函数体外自动初始化为0. 二. 1.const和引用类型必须初始化,不可能赋值 三 1.当类实在是有较多构造函数,并且总是要对一些成员数据重复初始化,可以考虑将那些“赋值和初始化

effective c++学习笔记条款17-19

条款17:以独立语句将New对象放置入智能指针. 1.以独立语句将newed对象放置入智能指针内,如果不这样做,一旦异常被抛出,有可能导致难以察觉的资源泄露. void name(shared_ptr<管理对象类型>(new 管理对象类型),其它函数)),New被分配内存不一定马上放入管理对象,因为有其它函数干扰,这不是独立语句. 条款18:让接口容易被正确使用,不易被误用. 1.好的接口很容易被正确使用,不容易被误用.你应该在你的所有接口中努力达成这些性质. 2.“促进正确使用”的办法包括接

effective c++学习笔记条款35-37

#include<iostream> using namespace std; class A { public: void asd() { pri(); } private: /*virtual*/ void pri() { cout << "基类函数" << endl; } }; class B :public A { private: void pri() /*override*/ { cout << "派生类函数&quo

effective c++学习笔记条款29-31

条款29:为异常安全而努力是值得的[回顾] 1.异常安全函数即使发生异常也不会泄露资源或允许任何数据结构败坏,这样的函数分为3种可能的保证:基本型,强烈型,不抛异常型 2.“强烈保证”往往能通过copying and swap 来实现出来,但并非所有函数都可实现或者具备现实意义. 3.函数提供的“异常安全保证”通常最高只等于其所调用的各个函数的“异常安全中”的最弱者.

effective c++学习笔记条款26-29

条款26:尽可能延后变量定义式的时间 1.中途抛出异常浪费构造函数 2.在循环内定义变量,消耗n个构造函数,n个析构函数:在循环外定义变量消耗n个赋值函数,1个构造,一个析构: 除非赋值的消耗比构造和析构少的不少,或者你处理的代码效率高度敏感,还是在循环内定义变量吧. 条款27:尽量少做转型动作 1.const_cast-----脱离常量属性,static_cast(隐式转换显示化),dynamic_cast(从一个寄放派生类的基类指针或引用调用派生类的成分),reinterpret_cats低