C++中的虚构造函数

最新推荐文章于 2025-02-15 08:47:04 发布

原创最新推荐文章于 2025-02-15 08:47:04 发布

· 3.2k 阅读

3 ·

版权

文章标签：

#c++ #语言 #shapes #编译器 #function #class

编程语言专栏收录该内容

1 篇文章

订阅专栏

本文介绍了一种在C++中实现虚构造函数的方法，通过定义虚函数virtual clone()和virtual create()，使得用户能够根据运行时的具体子类实例动态地创建对象副本或新对象。这种方法适用于需要动态构造不同派生类对象的场景。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

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

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

 
  class Shape {
 public:
   virtual ~Shape() { }                 // 虚析构函数 
   virtual void draw() = 0;             // 纯虚函数 
   virtual void move() = 0;
   // ... 
   virtual Shape* clone()  const = 0;   // 使用拷贝构造函数 
   virtual Shape* create() const = 0;   // 使用默认构造函数 
 };
 class Circle : public Shape {
 public:
   Circle* clone()  const { return new Circle(*this); }
   Circle* create() const { return new Circle();      }
   // ... 
 }; 
 

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

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

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

这个函数将正确工作，而不管 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的例子。