/*此文是译者出于自娱翻译的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更大的权限