C++箴言-用成员函数接受兼容类型.pdfVIP

C++箴言:用成员函数接受兼容类型 class Middle: public Top { ... }; class Bottom: public Middle { ... }; Top *pt1 = new Middle; // convert Middle* = Top* Top *pt2 = new Bottom; // convert Bottom* = Top* const Top *pct2 = pt1; // convert Top* = const Top* 在 user-defined smart pointer classes （用户定义智能指针类） 中仿照这些转换是需要技巧的。我们要让下面的代码能够编译： template class SmartPtr { public: // smart pointers are typically explicit SmartPtr(T *realPtr); // initialized by built-in pointers ... }; SmartPtr pt1 = // convert SmartPtr = SmartPtr (new Middle); // SmartPtr SmartPtr pt2 = // convert SmartPtr = SmartPtr (new Bottom); // SmartPtr SmartPtr pct2 = pt1; // convert SmartPtr = // SmartPtr 在同一个 template （模板）的不同 instantiations （实例化）之间 没有 inherent relationship （继承关系），所以编译器认为 SmartPtr 和 SmartPtr 是完全不同的 classes，并不比（比方说）vector 和 Widget 的 关系更近。为了得到我们想要的在 SmartPtr classes 之间的转换，我们 必需显式地为它们编程。 在上面的 smart pointer （智能指针）的例如代码中，每一个语句创 立一个新的 smart pointer object （智能指针对象），所以现在我们就集 中于我们如何写 smart pointer constructors （智能指针的构造函数）， 让它以我们想要的方式运转。一个关键的事实是我们无法写出我们需要的 全部 constructors （构造函数）。在上面的 hierarch （继承体系）中， 我们能从一个 SmartPtr 或一个 SmartPtr 构造出一个 SmartPtr ，但是 假如将来这个 hierarch （继承体系）被扩大，SmartPtr objects 还必 需能从其它 smart pointer types （智能指针类型）构造出来。例如，假 如我们后来参加 class BelowBottom: public Bottom { ... }; 我们就需要支持从 SmartPtr objects 到 SmartPtr objects 的创立， 而且我们固然不盼望为了做到这一点而必需转变 SmartPtr template。 大体上，我们需要的 constructors （构造函数）的数量是无限的。 由于一个 template （模板）能被实例化而产生很多个函数，所以似乎我 们不需要为 SmartPtr 供应一个 constructor function （构造函数函数）， 我们 需要 一个 constructor template （构 造 函数 模 板 ）。这样 的 templates （模板）是 member function templates （成员函数模板）（经 常被恰如其分地称为 member templates （成员模板）） 生成一个 class 的 member functions （成员函数）的 templates （模板）的范例： template class SmartPtr { public: template // member template SmartPtr(const SmartPtr // for a “generalized ... // copy constructor “ };