/*此文是译者出于自娱翻译的GotW(Guru of the Week:http://www.gotw.ca/gotw/index.htm)系列文章的一篇,原文的版权是属于Hub Sutter(著名的C++专家,《Exceptional C++》的作者)。此文的翻译没有征得原作者的同意,只供学习讨论。——译者:黄森堂*/
#40 多态控制.
难度:8/10
IS-A型多态是非常有用的工具,但有时你必需限制使用它们,并确定在哪些代码中使用可靠的类多态。本期的GotW将给你一个示例,显示如何获得指定的效果。
问题:
1.思虑以下代码:
class Base { public: virtual void VirtFunc(); // ... }; class Derived : public Base { public: void VirtFunc(); // ... }; void SomeFunc( const Base& );
以下有两个其它函数:目标是允许f1的参数中的基类中期待使用派生对象的多态形为,然而,要防止在其它函数(包含f2)里工作。
void f1() { Derived d; SomeFunc( d ); // 正常工作, OK } void f2() { Derived d; SomeFunc( d ); // 我们要防止这种情形 }
示范如何做到这个效果。
解决方法:
1.思虑以下代码:
class Base { public: virtual void VirtFunc(); // ... }; class Derived : public Base { public: void VirtFunc(); // ... }; void SomeFunc( const Base& );
这儿有个前提:为什么所有代码中使用基类来期待使用派生类对象呢?,是因为派生类是从基类进行public继承过来的(这儿没有奇怪的地方).
如果替代的方法:派生类从基类进行private继承,当“几乎”没有代码使用派生类当作基类看待的时候,这个“几乎”的前提是代码只能存取到派生类对象的private部分与存取到从基类中派生的基类的private部分;因此,在基类的地方使用派生类的多态是正常的。通常,只有派生类的成员函数有这样的存取权限,然而,我们使用了“friend”来扩展相似的存取功能到外部代码中。
把提出的每一部分集合起来,我们就获得:
以下有两个其它函数:目标是允许f1的参数中的基类中期待使用派生对象的多态形为,然而,要防止在其它函数(包含f2)里工作。
void f1() { Derived d; SomeFunc( d ); // works, OK } void f2() { Derived d; SomeFunc( d ); // we want to prevent this }
示范如何做到这个效果。
我们的回答是:
class Derived : private Base { public: void VirtFunc(); // ... friend void f1(); };
这种方式利索地解决了这个问题,然而,它比起原始版本里的f1,它给予f1更大的权限
本文地址:http://com.8s8s.com/it/it3282.htm