C++中的虚构造函数

 一种允许你做一些 C++ 不直接支持的事情的用法。

你可能通过虚函数 virtual clone()（对于拷贝构造函数）或虚函数 virtual create()（对于默认构造函数），得到虚构造函数产生的效果。

 

1.  class Shape {
2.  public:
3.    virtual ~Shape() { }                 // 虚析构函数
4.    virtual void draw() = 0;             // 纯虚函数
5.    virtual void move() = 0;
6.    // ...
7.    virtual Shape* clone()  const = 0;   // 使用拷贝构造函数
8.    virtual Shape* create() const = 0;   // 使用默认构造函数
9.  };
11.  class Circle : public Shape {
12.  public:
13.    Circle* clone()  const { return new Circle(*this); }
14.    Circle* create() const { return new Circle();      }
15.    // ...
16.  }; 

在 clone() 成员函数中，代码 new Circle(*this) 调用 Circle 的拷贝构造函数来复制this的状态到新创建的Circle对象。在 create()成员函数中，代码 new Circle() 调用Circle的默认构造函数。

用户将它们看作“虚构造函数”来使用它们：

 

1.  void userCode(Shape& s)
2.  {
3.    Shape* s2 = s.clone();
4.    Shape* s3 = s.create();
5.    // ...
6.    delete s2;    // 在此处，你可能需要虚析构函数
7.    delete s3;
8.  } 

这个函数将正确工作，而不管 Shape 是一个Circle，Square，或是其他种类的 Shape，甚至它们还并不存在。

注意：成员函数Circle's clone()的返回值类型故意与成员函数Shape's clone()的不同。这种特征被称为“协变的返回类型”，该特征最初并不是语言的一部分。如果你的编译器不允许在Circle类中这样声明Circle* clone() const（如，提示“The return type is different”或“The member function's type differs from the base class virtual function by return type alone”），说明你的编译器陈旧了，那么你必须改变返回类型为Shape*。

------------------------------------
C＋＋语言是静态语言，而把构造函数写成虚函数意味这可以动态构造。
这是和C＋＋静态语言特性相矛盾的，所以就C＋＋语言本身来说，是不允许的。

但是因为写虚构造函数的目的，就是为了动态选择创建对象。可以使用C＋＋继承，virtual等
机制可以实现。可以参考 more effecvtive C＋＋中关于double dispathing的例子。