/*此文是译者出于自娱翻译的GotW(Guru of the Week:http://www.gotw.ca/gotw/index.htm)系列文章的一篇，原文的版权是属于Hub Sutter（著名的C++专家，《Exceptional C++》的作者）。此文的翻译没有征得原作者的同意，只供学习讨论。——译者:黄森堂*/
#38 多重继承 Ⅱ.
难度：8/10
如何你不能使用多重继承，如何模仿它吗？，不要忘记模仿可能出在客户端的自然语法。
问题：
1.思考以下代码： struct A { virtual ~A() { }
virtual string Name() { return "A"; } };
struct B1 : virtual A { string Name() { return "B1"; } };
struct B2 : virtual A { string Name() { return "B2"; } };
struct D : B1, B2 { string Name() { return "D"; } };
在以上示例中，如果不使用多重继承，如何写出等价的Class D的代码（尽可能地相近）,如何获得像D一样的效果与可用性，且在客户端的语法如何进行最小的改变。
开始：你要开始考虑在以下代码的情形里： void f1( A& x ) { cout << "f1:" << x.Name() << endl; }
void f2( B1& x ) { cout << "f2:" << x.Name() << endl; }
void f3( B2& x ) { cout << "f3:" << x.Name() << endl; }
void g1( A x ) { cout << "g1:" << x.Name() << endl; }
void g2( B1 x ) { cout << "g2:" << x.Name() << endl; }
void g3( B2 x ) { cout << "g3:" << x.Name() << endl; }
int main() {
D d;
B1* pb1 = &d; // D* -> B* 转换
B2* pb2 = &d;
B1& rb1 = d; // D& -> B& 转换
B2& rb2 = d;
f1( d ); // 多态(polymorphism)
f2( d );
f3( d );
g1( d ); // 切片(slicing)
g2( d );
g3( d );
// dynamic_cast/RTTI
cout << ( (dynamic_cast<D*>(pb1) != 0)
? "ok " : "bad " );
cout << ( (dynamic_cast<D*>(pb2) != 0)
? "ok " : "bad " );
try {
dynamic_cast<D&>(rb1);
cout << "ok ";
} catch(...) {
cout << "bad ";
}
try {
dynamic_cast<D&>(rb2);
cout << "ok ";
} catch(...) {
cout << "bad ";
}
}
解决方法：
1.思考以下代码： struct A { virtual ~A() { }
virtual string Name() { return "A"; } };
struct B1 : virtual A { string Name() { return "B1"; } };
struct B2 : virtual A { string Name() { return "B2"; } };
struct D : B1, B2 { string Name() { return "D"; } };
在以上示例中，如果不使用多重继承，如何写出等价的Class D的代码（尽可能地相近）,如何获得像D一样的效果与可用性，且在客户端的语法如何进行最小的改变。
这儿有几种策略，每种都有弱点，以下这种是比较完整的： struct D : B1 {
struct D2 : B2 {
void Set ( D* d ) { d_ = d; }
string Name();
D* d_;
} d2_;
D() { d2_.Set( this ); }
D( const D& other ) : B1( other ), d2_( other.d2_ )
{ d2_.Set( this ); }
D& operator=( const D& other ) {
B1::operator=( other );
d2_ = other.d2_;
return *this;
}
operator B2&() { return d2_; }
B2& AsB2() { return d2_; }
string Name() { return "D"; }
};
string D::D2::Name() { return d_->Name(); }
但有几个缺点：
-提供operator B2&引起引用结束（不一致性引起）
-你需要调用D::AsB2()来显式地使用D来像B2(在测试代码中，有一处需要改变："B2* pb2 = &d;"改变成"B2* pb2 = &d.AsB2();"）
-dynamic_cast从D*动态转换成B2*将不能工作，(如果你使用前处理来重定义dynamic_cast,它可能会工作)
有趣的是，你必须要观察D对象在内存中的布局,在多重继承中是否是相同的对象,因为我们只是尝试模仿MI，刚才没有考虑到所有语法与对语言内存提供支持的方便性。 
|
本类阅读TOP10