揭开私有继承的面纱
来源:互联网 发布:被男友强啪的经验知乎 编辑:程序博客网 时间:2024/05/23 17:34
什么是私有继承?以前在学校学习的时候,冥冥乎知道有这样一个东西,却没有仔细研究过。后来工作中用到Boost库才开始了解它。如果说保护继承大多是为了语言完整性的话,私有继承还是有一些用途的。
私有继承 vs 公有继承
公有继承继承的是接口与实现,它表示了类与类之间is-a的关系。而私有继承继承的仅仅是实现,它表示了has-a (或者 is-implemented-in-terms-of)的关系。
在公有继承中,基类的公有成员在派生类中仍然公有,基类拥有的接口完整无缺地传给了派生类,也就是说基类对象出现的每一个地方都可以用派生类对象替换(is-a)。因此,编译器可以安全地把派生类对象的引用、指针隐式转换为基类对象的引用、指针。而在私有继承中,基类的公有和保护成员在派生类中变成了私有,从外界来看,派生类对象不再拥有基类的行为。因此,编译器不会做类似的转换。同样,对象切片(object slicing)也只有在公有继承中才会出现。
class Base{public: void f() { cout << "Base::f\n"; }};class Derived1: public Base{};class Derived2: private Base{};void method(Base &b){ b.f();}int main(){ Base b; // 基类对象,ok method(b); Derived1 d1; // 公有派生类对象,隐式转换成基类对象,也ok method(d1); Derived2 d2; // 私有派生类对象,无法转换成基类对象,编译出错 method(d2);}私有继承的本质
私有继承隐藏了基类的接口,但这些被隐藏的函数在派生类的成员函数中是可以调用的。所以,你在实现派生类函数的时候可以调用基类对象函数来完成部分功能(is-implemented-in-terms-of)。下面这个例子中,企鹅类私有继承了鸟类。没有公有继承是因为企鹅并不是严格意义上的鸟,因为它们不会飞。如果我们要求所有的企鹅在走完路以后都要蹦一下,我们完全可以重用基类的Bird::walk来完成走路这个子过程。
class Bird{public: void fly(); void walk();};class Penguin: private Bird{public: // walk()作为函数实现,其本身对于外界不可见 void jumpAfterWalk() { walk(); jump(); }private: void jump();};私有继承 vs 组合
实际上,私有继承只是实现 has-a 的方式之一,对象组合(composition/aggregation/containment)同样可以达到相同的目的。还是考虑企鹅的例子,鸟类对象作为了企鹅类的一个私有成员,企鹅的行走动作是通过调用该私有成员(b)的公有成员函数(walk)来完成的。企鹅和鸟对象之间是一种包含关系。
class Bird{public: void fly(); void walk();};class Penguin{public: void jumpAfterWalk() { b.walk(); jump(); }private: void jump(); Bird b;};同样是 has-a 的关系,它们两个各有什么优缺点呢?
组合的优点
(一)组合相对于继承来说耦合度较小,特别是当Penguin类hold了一个Bird对象的指针而非对象时。这时候包含Penguin定义的头文件甚至都不用包含Bird.h而只用一个向前声明即可。这样的好处是,当Bird的内部实现发生变化时,Penguin类不需要重新编译。这在大型项目中非常重要。// bird.hclass Bird{..};// penguin.hclass Bird;class Penguin{..private: Bird *b;};(二)Penguin类可以同时有多个Bird类的对象成员b1,b2.. 继承是无法做到这点的。
私有继承的优点
(一)你要继承一个类,但只希望保留其中的部分公用接口。首先,公有继承肯定不合适,因为基类接口必须全部保留。用组合可以实现,但是由于组合不会把子对象的接口暴露出来,你需要重新定义那些你希望保留的接口。为了实现接口,你需要调用子对象的相应函数。相比较之下,私有继承就简单很多。因为基类的接口派生类都有,只不过是私有的,重新把它们声明为公有即可。比如下面这个例子,派生类只希望暴露f1和f2这两个接口。class Base{public: void f1(); void f2(); void f3();};// 使用私有继承,暴露部分接口的工作变得非常简单class Derived1: private Base{public: using Base::f1; using Base::f2;};// 使用组合,稍微复杂些class Derived2{public: void f1() { b.f1(); } void f2() { b.f2(); }private: Base b;};(二)如果你希望重新定义一个类的虚函数,那么只好用私有继承。这点并没有看上去那么容易理解:由于是私有继承,怎样才能实现运行时多态呢?毕竟,基类的指针指向派生类对象是不允许的。如果不能调到派生类重新定义的虚函数,我们实现它又有什么意义呢?下面这个例子给出了一种可能的模型。
class Base{public: void f1() { vf(); } // 相当于this->vf(),运行时多态protected: virtual void vf() { cout << "Base::vf()\n"; }};class Derived: private Base{public: void f2() { f1(); }private: virtual void vf() { cout << "Derived::vf()\n"; }};int main(){ Derived d; d.f2(); // 打印 "Derived::vf()"}(三)如果要保证一个类不具有拷贝属性(例如mutex,数据库连接等),应该怎么做?一种方法是把拷贝构造函数、赋值运算符私有化。但还是有一个问题,类的成员函数还是可以调用它们。一个更好的办法是继承boost::noncopyable。只有当有对象拷贝动作的时候,编译器才会合成出拷贝构造函数等,这时候编译出错,因为基类的拷贝函数无法访问;当没有拷贝动作时,不会生成拷贝函数,一切正常。注意,由于noncopyable的构造析构是保护属性,组合方式不可行,只能使用继承。虽然私有和公有继承技术上都可行(因为所有noncopyable的函数都已经不是公有了),但私有继承更好,因为这里正是一个is-implemented-in-terms-of 而非 is-a 的关系。
class noncopyable{protected: noncopyable() {} ~noncopyable() {}private: // emphasize the following members are private noncopyable( const noncopyable& ); const noncopyable& operator=( const noncopyable& );};class MyClass: private boost::noncopyable{..}int main{ MyClass d1, d2; d1 = d2; // 编译出错}
(四)最后,当你需要用到一个类保护成员的时候,不得不用私有继承。因为保护成员对于外界不可见,但对于派生类可见。
虚析构函数的思考
当私有继承一个基类时,派生类对象不再是基类对象,编译器也不会执行隐式类型转换,因此也不会出现通过基类指针释放派生类对象的问题。所以,如果你写了一个类不打算做基类,或者只打算作为以后派生类的实现(私有继承),那么大可不必有虚析构函数。上面的 boost::noncopyable 就是一个例子。
小结:
- 私有继承中,基类所有的成员在派生类中都为私有。编译器也因此不会做从派生类到基类的隐式类型转换。
- 公有继承表示 is-a 的关系,私有继承表示has-a 或 is-implemented-in-terms-of 的关系。
- 私有继承和组合都表示 has-a 关系,各有千秋。一般来说,能用组合尽量用组合,因为它松耦合,维护也比较简单直观。当必须使用私有继承时才使用它。
- 揭开私有继承的面纱
- 揭开私有继承的面纱
- 揭开私有继承的面纱
- 揭开私有继承的面纱
- 揭开私有继承的面纱
- 揭开私有继承的面纱
- 揭开私有继承的面纱 && 条款 42: 明智地使用私有继承
- 揭开隐藏的面纱
- 揭开socket的面纱
- 揭开宇宙的面纱
- 揭开数字电视的面纱!
- 揭开Eclipse的面纱
- 揭开Wayland的面纱
- 揭开Wayland的面纱
- 揭开智能卡的面纱
- 揭开“电商迷局”的面纱
- 揭开Wayland的面纱
- 揭开J2EE的面纱
- 一个不错的藏书宝地
- XML使用创建添加
- IO输入输出
- Java API
- byte a =(byte)129; System.out.println(a);//会输出什么呢?
- 揭开私有继承的面纱
- ubuntu 11.04安装QQ【笔记】
- Molpro 2010.1 PL20并行编译(一):InfiniBand网络
- 黑马程序员--C#中静态类构造方法
- HTML解析器 jsoup
- fluent scheme 之 xyplot 功能
- windows系统设置: 系统死机-重启设置 window7 自动登录
- Molpro 2010.1 PL20并行编译(二):千兆网络
- Service 两种启动方式