条款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);
}