C++ 中的“有返回值”的“虚”构造函数

       C++ 如何会有“虚构造函数”？而且还有返回值？有时我们希望类构造函数能够像其它普通成员函数一样使用：带返回值，可覆盖（override）。我们可以设计这样一个 constructor 函数：

       我们在 LB 类中定义了这样一个“带返回值的虚构造函数”。在派生类中，我们可以覆盖（override）它。现在我们可以让这个“构造函数”像一个普通的成员函数一样使用了（其实它就是一个普通的成员函数）。这里有一点需要注意，C++ 中覆盖（override）一个非空返回类型的虚函数需要满足以下两个条件：

1. 只有返回类型可变，而函数签名不可变，也即函数名及参数表不可变
2. 返回类型只可以由基类指针类型向派生类指针类型、或者基类引用类型向派生类引用类型转变

       这种特性称为“协变返回类型（Covariant Return Types）”。

       下面的是“复制构造函数”：

       这里，使用中有一点需要特别注意，由于“构造函数”直接返回的是裸右值对像指针或引用，分配了额外的堆空间。调用者在使用之后，需要自己显式调用 delete 算符去析构之。我们希望能使之在使用时更像一个真正的构造函数，其生成的对像在离开作用域时由系统去析构它。否则会有隐患。一个可行的方法是用智能指针去封装它，比如 std::auto_ptr 类，便可放心使用。如下代码：

       当然，凡事有利必有弊，使用“虚构造函数”的最大问题可能就是，在派生类中，每每必须覆盖它才可以……这有时会显得比较烦……不仅增加了敲代码量，还有测试量……

---

       参考：

       《关于构造函数为何不能是虚函数的说法》