Bjarne:为什么不能有虚拟构造函数? |
|
www.nanhushi.com 佚名 不详 |
虚拟调用是一种能够在给定信息不完全(given partial information)的情况下工作的机制。特别地,虚拟允许我们调用某个函数,对于这个函数,仅仅知道它的接口,而不知道具体的对象类型。但是要建立一个对象,你必须拥有完全的信息。特别地,你需要知道要建立的对象的具体类型。因此,对构造函数的调用不可能是虚拟的。
当要求建立一个对象时,一种间接的技术常常被当作“虚拟构造函数”来使用。有关例子,请参见《C++程序设计语言》第三版15.6.2.节。
下面这个例子展示一种机制:如何使用一个抽象类来建立一个适当类型的对象。
struct F { // 对象建立函数的接口 virtual A* make_an_A() const = 0; virtual B* make_a_B() const = 0; };
void user(const F& fac) { A* p = fac.make_an_A(); // 将A作为合适的类型 B* q = fac.make_a_B(); // 将B作为合适的类型 // ... }
struct FX : F { A* make_an_A() const { return new AX(); } // AX是A的派生 B* make_a_B() const { return new BX(); } // AX是B的派生 };
struct FY : F { A* make_an_A() const { return new AY(); } // AY是A的派生 B* make_a_B() const { return new BY(); } // BY是B的派生 };
int main() { user(FX()); // 此用户建立AX与BX user(FY()); // 此用户建立AY与BY // ... }
| 这是所谓的“工厂模式”(the factory pattern)的一个变形。关键在于,user函数与AX或AY这样的类的信息被完全分离开来了。
|
|
|
文章录入:杜斌 责任编辑:杜斌 |
|
上一篇文章: Bjarne:为何析构函数默认不是virtual 下一篇文章: C++程序设计从零开始之指针 |
【字体:小 大】【发表评论】【加入收藏】【告诉好友】【打印此文】【关闭窗口】 |
|
|