More Effective C++之25

条款25：将constructor和non-member functions虚化

       虚拟构造函数：这个名词有点恐怖，C++的构造函数是不允许虚拟的，那么这个虚拟构造函数又拥有什么样的含义呢？

       考虑如下代码：

class Base //基类

{

};

class DeriveA : public Base

{

};

class DeriveB : public Base

{

};

class ClassSet

{

public:

ClassSet(istream& str)

{

while(str)

    components.push_back(GetObject(str))

}

static Base* GetObject(istream& str);

 

private:

       vector<Base*> components;

};

       所谓虚拟构造函数就是指类ClassSet的构造函数，他能够使components被初始化为各种类型的继承类的集合。这就是所谓虚拟构造函数，我看着和对象工厂非常相似。在以往的程序设计中，这是我们经常使用的手段。

       考虑如下代码：

class Base //基类

{

       virtual Base* clone() const = 0;

};

class DeriveA : public Base

{

virtual DeriveA * clone() const

{return new DeriveA(*this);}

};

class DeriveB : public Base

{

virtual DeriveB * clone() const

{return new DeriveB(*this);}

};

class ClassSet

{

public:

ClassSet(const ClassSet& rhs)

{

//这里有个bug, rhs.components.begin()是非法的

for(vector<Base*>::iterator iter = rhs.components.begin():iter!=rhs.end();iter++)

       components.push_back((*iter)->clone);

}

static Base* GetObject(istream& str);

 

private:

       vector<Base*> components;

};

       这被称作虚拟拷贝构造函数？我现在看这段代码没有问题，需要注意就是需要对STL加深了解。

       非成员函数的虚化非常简单，就是写一个虚函数做实际工作，然后写一个非成员函数啥都不做，只负责调用虚函数，为了减少成本，可以将非成员函数inline。

       考虑如下代码

class Base //基类

{

       virtual ostream* print(ostream& s) const = 0;

};

class DeriveA : public Base

{

virtual ostream* print(ostream& s) const

{return new DeriveA(*this);}

};

class DeriveB : public Base

{

virtual ostream* print(ostream& s) const}

};

inline operator<<(ostream&s ,const Base& c)

{

       return c.print(s);

}