• Effective C++ 38-42


    38.绝不要又一次定义继承而来的缺省參数值。

    又一次定义函数缺省參数值意味着又一次定义函数。而非虚函数不能又一次定义,所以将就考虑不能又一次定义虚函数的缺省參数值的原因:虚函数是动态绑定的而缺省參数值是静态绑定的。

    静态类型是指程序中声明的类型,而动态类型是指实际对象的类型。举个栗子:

    class A{
    public:
    	virtual void fun(int a=0) const{cout<<a<<endl;}
    };
    
    class B:public A{
    public:
    	virtual void fun(int a =2)const{cout<<a<<endl;}
    };
    int main(){
    	B* pb = new B();//pb的静态类型为 B*
    	A* pa = pb;//pa 的静态类型 为 A*,
    	//可是一个指针的静态类型不一定为其动态类型,如pa它的动态类型却是B类型的对象,这是由动态绑定实现的
    	pb->fun();
    	pa->fun();
    虚函数是动态绑定的。但缺省參数值是静态绑定的,即对于pb,pa调用的虚函数,其使用的默认參数值都为静态绑定的,pa绑定的是 A类中的 a= 0,而pb绑定的是B类中的 a=2,两者不同。尽管函数都是调用B中动态绑定的虚函数,可是默认參数不同,输出结果也不同。


    39.避免 ”向下转换“ 继承层次。

    从一个基类指针到一个派生类指针称为向下转换,一般使用static_cast将基类指针强制转换为派生类指针。向下转换难看,easy导致错误。且难以理解,升级和维护。

    向下转换的消除:使用虚函数调用来取代。第一种方法非常easy理解,可是对于一些类不适用,如基类范围太大导致7有些派生类不应该有这个函数的功能。所以要将这些类的每一个虚函数称为一个空操作。或者作为一个纯虚函数。并默认实现返回错误的操作。第二个方法是加强类型约束,使得指针的声明类型和你所知道的真的指针类型同样。

    即对于用到这些向下转换时,通过一些设定。滤去那些不拥有真正指针类型的指针。仅仅留下须要进行操作的指针并以其真实的类型来调用其函数。

    假设遇到必需要转换的情况,也不要使用static_cast,而是使用安全的用于多态的向下转换 dynamic_cast,当对一个指针使用dynamic_cast时,先尝试转换。假设成功返回一个合法的指针。否则返回空指针。


    40.通过分层来体现”有一个“或”用..来实现“。

    使某个类的对象成为还有一个类的数据成员。从而实现将一个类构筑在还有一个类之上,这个称为分层 Layering,也被称为构成,包括或嵌入。

    对于有一个的概念非常easy理解,对于一个 Person, 有 Name,Address,Phone等属性,可是不能说Person是一个Name。

    对于"用..来实现”,事实上就是调用其他类的对象作为类的主要数据成员,使用这个类的的函数接口来实现新的类中的功能与接口。


    41.区分模版和继承。

    依据依赖的类的用途来区分,如过依赖的类是类的行为,则为继承,如果依赖的类是类所操作的对象类型,则是模版。

    如。企鹅类依赖于鸟类,鸟类中的接口决定的是企鹅类中的行为。即两者是继承关系,而当实现一个集合时,集合类依赖与类T,是因为类T为集合类的进行操作的对象。这是模版。

    模版的实现会如果类能够调用T的构造析构赋值等函数。模版的特性是类模版的行为在不论什么地方都不依赖于T。行为不依赖于类型。

    当对象的类型不影响类中函数的行为时,就使用模版来生成这样一组类。

    当对象的类型影响类中函数的行为时。就用继承来得到这样一组类。


    42.明智地使用私有继承。

    私有继承不为 “是一个” 的关系。假设两个类之间的继承关系为私有继承,编译器一般不会将派生类对象转换为基类对象。私有继承时,基类的公有和protected 类型的成员都变成派生类的私有成员。私有继承意味着”用...实现“。私有继承纯粹是一种实现 技术。

    私有继承仅仅是继承实现,而忽略接口。

    私有继承在 软件 ”设计“过程中毫无意义,仅仅是在软件”实现“时才实用。

    对于分层,也有 用...实现的含义,对于分层与私有继承,尽可能使用分层。必要时才使用私有继承。

    而建议使用私有继承在用到保护成员和有虚函数介入时。

    对于一个基类。仅仅作为其它类的实现来使用,使用分层作为其它类的私有成员。但其不是抽象类,导致其可能被其它人任意调用导致出错。这是就须要使用到私有继承。对于这样的具有实现可是仅仅能用于特定用途的基类。将其接口都改为protected类型。而正确使用它的类不用分层而使用私有继承来安全的使用基类。

    对于模版,其为C++中最实用的组成部分之中的一个,可是,实例化一个模版,就可能实例化实现这个模版的代码,如构成set<int> 和set<double>的代码是全然分开的两份代码,模版会导致代码膨胀。改进的方法:创建一个通用类,储存对象的void*指针。创建还有一组类来保证类型安全使用通用类。以实现栈stack为例,先构建一个stack的通用类:

    class GenericStack{
    protected://实现类使用私有继承继承这个通用类,所以将接口保护起来
    	GenericStack();
    	~GenericStack();
    	void push(void* object);//使用指针
    	void* pop();
    	bool empty() const;
    private:
    	struct StackNode{
    		void *data;
    		StackNode *next;
    		//在stack中使用指针来传递数据和保存数据,则节点析构时不用释放void指针指向的内存。
    		StackNode(void *newData,StackNode *nextNode)
    			:data(newData),next(nextNode){}
    
    	};
    	StackNode *top;
    	GenericStack(const GenericStack&);//防止拷贝和赋值
    	GenericStack& operator=(const GenericStack&);
    };
    
    而要实现stack的详细类通过私有继承这个类来实现功能,并且能够使用模版来完美的完毕这个工作:

    template <class T>
    class Stack:private GenericStack{
    public:
    	void push(T* objectPtr){GenericStack::push(objectPtr);}
    	T* pop(){return static_cast<T*>(GenericStack::pop());}
    	bool empty() const {return GenericStack::empty();}
    };
    
    这里使用私有继承。将通用类GenericStatck作为事实上现,而其接口函数都是内联函数,差点儿没有消耗,并且使用模版实现了类型安全的推断。对于创建随意类型的stack仅仅要又一次编译这个三个简单的内联函数就可以,而不是通用类中复杂的实现。极大的减少了程序的开销。

    这种代码是令人惊叹的。近乎完美的。

    首先使用了模版,编译器会依据你的须要来自己主动生成全部的接口。由于使用模版。这些类是类型安全的,类型错误会在编译期间就能发现。由于GenericStack的成员函数是保护类型,用户不可能绕过接口类来调用它。

    由于这个模版的接口成员函数都被隐式的声明为内联。使用这些类时不会带来执行开销,生成代码就想用户直接使用GenericStack来编写的一样。由于GenericStack是使用void*指针,操作栈的代码仅仅须要一份。而不同类型仅仅要简单的编译类模版中的简单的内联函数即可。

    简而言之,这个设计使代码达到了最高的效率和最高的类型安全。

  • 相关阅读:
    算法导论笔记:21用于不相交集合的数据结构
    算法导论笔记:19斐波那契堆
    xfs管理2T以上大分区
    tcpdump确认服务器连接的交换机信息
    pcp分布式监控工具
    ssh相关命令
    一次ddos攻击
    ssh-agent && ssh-agent forward && SSH ProxyCommand
    变更hostname
    yum第三方源
  • 原文地址:https://www.cnblogs.com/yfceshi/p/6744953.html
Copyright © 2020-2023  润新知