1、改善程序设计技术的50个有效做法 第二版2002.3 Scott Meyers 侯 捷 译 如何完成较好的设计如何避免常见的问题如何提高效率的一些准则不是放之四海而皆准的唯一真理C+新标准新的类型bool 有两个值true,false.typedef int bool;const bool false=0;const bool true=1;新的转型动作static_cast(expression)/将表达式expression转为type类型const_cast(expression)/将常数类型expression转为非常数类型dynamic_cast(expression)/安全向下转型
2、 见39reinterpret_cast(expression)/函数指针类型转换 不常用1.尽量以const和inline取代#define#define 是一个宏，只能被预处理，而不被编译，用它定义的常量甚至不被编译器看见，因此不能发现使用中的错误。用#define定义一个简单函数，必须为每一个参数加上一个括号，容易造成错误。用内联函数高效准确。define ratio 1.653/编译器看不见ratio，只看见1.653/一旦出错，不会报告const double ratio=1.653;const char*const name=“Scott Meyers”;/字符串常量In Clas
3、s 常量 用静态变量类内声明，类外定义。class EngineerConstants private:static const double Factor;const double EngineerConstants:Factor=1.35;2.尽量以取代scanf printf 函数 不能扩充用来输入输出自定义类型的变量。cinix;coutix；可以扩展，方便得多3.尽量以new和delete取代malloc和freemalloc 和free 不能调用构造函数，析构函数 new 和delete则可。不能混用new delete malloc free 必要用C库函数时检查是否用到mall
4、oc重新用new和delete改过。4.尽量使用C+风格的注释形式/*/要保证成对出现，不小心错一大片。/好看好读 可以混合使用当心！define light_speed 3e8 /m/sec(in a vacum)内存管理内存管理(memory management)new 隐式调用构造函数，delete 隐式调用析构函数，可以重载operator new和operator delete.不小心运用new 和delete会导致各种错误。5.使用相同形式的new和deletestring*a=new string10;delete a;/出错delete a;/正确string*b=new s
5、tring;delete b;/出错delete b;/正确typedef string addresslines4;string*a=new addresslines;delete a;/出错delete a;/正确不要对数组类型用typedef,不容易记住用哪一种delete6.记得在析构函数中以delete对付指针成员如果类中有指针数据成员，在每个构造函数中为指针成员配置内存，否则将它初始化为0（NULL指针）。若构造函数中用new配置了内存，一定要 在析构函数中用delete释放在赋值运算重载时要将原有指针的内存删除，重新分配内存。要在析构函数中删除这个指针。不要用delete删除一个
6、未完成初始化的指针，不要删除一个未分配内存的指针。不要delete从一个类外面传来的指针。7.为内存不足的状况预作准备 不能认为“检查内存是否分配成功”是多此一举。否则会出现严重后果。必须建立一个错误处理策略。当operator new 无法满足需求时，在抛出异常之前，会调用一个内存不足处理函数new handler，这个函数由头文件提供。typedef void(*new_handle)();new_handler set_new_handler(new_handler p)throw();new_handler是一个函数指针，无参,无返回值。函数set_new_handler用来配置new
7、_handler，参数和返回值都是函数指针，new_handler类型。它确定新的new_handler函数(参数)，保留旧的new_handler函数（返回）。可以自定义新的new_handler函数，用set_new_handler确认。void nomoreMemory()cerr“Unable to satisfy for memeoryn”abort();/exit int main()set_new_handler(nomoreMemory);int*pBigDataArray=new int100000000;当operator new 无法配置10000000个整数空间时，系统
8、调用nomoreMemory，然后结束。设计new_handler函数，令其完成如下任务：-让更多的内存可用。预留一块内存，new_handler第一次被调用时释放，同时发出警告。安装新的new_handler以取代自己。new_handler中调用C+标准库函数set_new_handler即可。卸载这个new_handler，返回NULL指针，并抛出bad_alloc（或其继承）类型的异常。直接调用abort或exit终止程序。C+不支持不支持class中中专用的专用的new_handler，但仍可以在一个，但仍可以在一个class中重载中重载operator new,和和set_new_
9、handler函数，让它函数，让它调用特定的调用特定的new_handler函数，而不用系统给出的全局函数，而不用系统给出的全局new_handler。class X public:static new_handler set_new_handler(new_handler p);static void*operator new(size_t siz);private:static new_handler currentHandler;new_handler X:currentHandler;/初始化为0new_handler X:set_new_handler(new_handler p)n
10、ew_handler oldHandler=currentHandler;/保留当前new_handler currentHandler=p;/再设置当前new_handler return oldHandler;void*X:operator new(size_t size)newHandler globalHandler=std:set_new_handler(currentHandler);/配置新new_handler 保存globalHandler void*memory;try memory=:oprator new(size);/试分配内存 catch(std:bad_alloc
11、&)std:set_new_handler(globalHandler);/恢复原有处理方法 throw;/传播异常 std:set_new_handler(globalHandler):/恢复原有处理方法 return memory;/调用一次特定处理方法，用毕恢复/应用void nomoreMemory();X:set_new_handler(nomoreMemory);X*px1=new X;/如果内存分配失败，调用nomoreMemory()string*ps=new string;/如果内存分配失败，调用globalHandlerX:set_new_handler(0);X*px2=
12、new X;/如果内存分配失败，立即抛出异常可以做一个混合风格基类允许“设定class专属new_handler”templateclass NewHandlerSupport public:static new_handler set_ new_handler(new_handler p);static void*operator new(size_t siz);private:static new_handler currentHandler;templatenew_handler NewHandlerSupport:set_new_handler(new_handler p)new_ha
13、ndler oldHandler=currentHandler;/保留当前new_handler currentHandler=p;/再设置当前new_handler return oldHandler;templatevoid*NewHandlerSupport:operator new(size_t size)newHandler globalHandler=std:set_new_handler(currentHandler);/配置新new_handler 保存globalHandler void*memory;try memory=:oprator new(size);/试分配内存
14、catch(std:bad_alloc&)std:set_new_handler(globalHandler);/恢复原有处理方法 throw;/传播异常 std:set_new_handler(globalHandler):/恢复原有处理方法 return memory;new_handler NewHandlerSupport :currentHandler;/初始化为0class X:public NewHandlerSupport /不必声明set_new_handler和operator new类X 不必改动原有的程序代码，就可以继续运作。1993年前C+要求operator new
15、在无法满足内存需求时返回0，新标准则是抛出一个bad_alloc类型异常。失败便转为0的传统被保留为“nothrow”不抛出异常。头文件中定义了一个nothrow对象 class Widget;Widget*pw1=new Widget;/如果失败抛出std:bad_alloc异常 if(pw1=0)/无效 widget*wp2=new(nothrow)Widget;/如果失败，返回0 if(wp2=0)/有效8.撰写operator new和operator delete时应遵守的公约当你有必要重载operator new时，你的new函数的行为应该与系统原有的new函数的行为保持一致。应该
16、有正确的返回值：返回一个指针指向分配的内存。如果内存不足，抛出一个bad_alloc类型的异常。不能覆盖系统原有的new函数。/new 函数的伪码void*operator new(size_t size)if(size=0)size=1;/将0内存需求，看成1内存需求，避免与无内存混淆 while(true)/无穷循环 直到内存被分配 或抛出异常 attempt to allocate size bytes;if(the allocation was successful)return(a pointer to the memory);new_handle globalHandle=set_
17、new_handler(0)/利用NULL，找出目前的错误处理函数 set_new_handler(globalHandler);/重新设定为原本的函数 if(globalHandler)(*globalHandler)()else throw std:bad_alloc();无穷循环可以让更多的内存可用，或安装一个不同的new_handler，或卸载new_handler，或抛出一个异常，或直接结束程序。operator new 可以被继承，但要小心,否则会导致问题class Base public:static void*oprator new(size_t size);；class De
18、rived:public Base；/导出类中没有operator new 函数Derived*p=new Derived;/调用Base类中的operator new出错这里导出类内存比基类要大。改进的办法：void*operator new(size_t size)if(size!=sizeof(Base)return:oprator new(size);/回到标准operator new函数 重写operator deletevoid operator delete(void*rawMemory)if(rawMemory=0)return;/与C+标准delete保持一致 Dealloc
19、ate the memory pointed to by rawMemory;return;/member版class Base public:static void*operator new(size_t size);static void operator delete(void*rawMemory,size_t size);void Base:operator delete(void*rawMemory,size_t size);if(rawMemory=0)return;if(size!=sizeof(Base)/如果大小错误 :operator delete(rawMemory);/
20、用标准版delete处理 return;deallocate the memory pointed to by rawmeMemory;return;9.避免覆盖new的正规形式解决办法(1)再写的一个专用的operator new函数，让它支 持正规的new class X public:void f();static void*operator new(size_t size,new_handler p);static void*operator new(sise_t size)return :operator new(size);X*p1=new(specialErrorHandler)
21、X;/调用X:operator new(size_t size,new_handler p);X*p2=new X;/调用X:operator new(size_t size);(2)为operator new的每一个参数提供默认值 （缺省值）10.如果写了一个operator new 不要忘记写一个operator delete需要动态分配大量小额内存空间的应用程序，有时需要重载operator new。class AirplaneRep;class Airplane public:private:AirplaneRep*rep;/唯一数据成员是指针;Airplane*p=new Airpl
22、ane;/要求内存不大分配的内存比实际所需要的内存要大，这是为了delete 这块内存时，系统能知道其大小。pa 纪录内存大小的 数据Airplane 对象所需的 内存 为了节省内存需要定制内存管理。定制内存管理。class Airplane public:static void*operator new(size_t size);static void operator delete(void*deadObject,size_t size);private:union AirplaneRep*rep;Airplane *next;/两个指针公用一个内存 static const int BL
23、OCK_SIZE;static Airplane*headOfFreeList;/用链表配置一片内存，整个类只须一个链;void*Airplane：operator new(size_t size);if(size!=sizeof(Airplane)return :operator new(size);Airplane*p=headOfFreeList;/p指向链表头 if(p)headOfFreeList=p-next;/表头后移,p可用 else Airplane*newBlock=static_cast(:operator new(BLOCK_SIZE*sizeof(Airplane);
24、for(int i=1;iBLOCKSIZE-1;+i)/保留第一块 newBlocki.next=&newBlocki+1;newBlockBLOCK_SIZE-1.next=0;/置表尾 p=newBlok;/p可用 headOfFreeList=&newBlock1;return p;只有当:operator new失败时，这里的operator new 才失败。这时:operator new会调用new_handler直到抛出异常，因此我们不需要再写一次new_handler处理具体实现文件中要先对静态成员初始化,Airplane*Airplane:headOfFreeList;/he
25、adOfFreeList置0 const int Airplane:BLOCK_SIZE=512;这个版本的operator new 可以运作良好，速度快过两个数量级。还要在Airplane类中写一个operator delete void Airplane:operator delete(void*deadObject,size_t size)if(deadObject=0)return;if(size!=sizeof(Airplane):operator delete(deadObject);/与operator new处理保持一致 return;Airplane*carcass=stat
26、ic_cast(deadObject);carcass-next=headOfFreeList;HeadOfFreeList=carcass;如果没有定义相应的delete函数，而使用了原有的delete,结果会出现意想不到的错误，有时是严重的错误。如果用member版本不要忘记定义virtual 析构函数。这里的delete函数没有memory leak 问题。问题。这是因为用了memory pool 一次分配一块内存，逐步使用逐步释放，不必再专门释放memory pool.定义一个memory pool 类，使每一个pool对象都是一个内存配置器。class Pool public:Poo
27、l(size_t n);void*alloc(size_t n);/为一个对象配置足够 /的内存遵循operator new的规矩 void free(void*p,size_t n);/将p的内存送回 /pool遵循operator delete的规矩 pool();/释放pool中所有内存;用Pool 对象来配置内存，当被销毁时，配置的内存自动被释放。于是memory leak 就可以避免。class Airplane public:static void*operator new(size_t size);static void operator delete(void*p,size_t
28、 size);private:AirplaneRep*rep;static Pool memPool;/Airplane的memory pool ;inline void Airline:operator new(size_t size)return memPool.alloc(size);inline void Airline:operator delete(void*p,size_t size)memPool.free(p,size);为Airplane 的memPool初始化，要放在Airplane 类实现的文件里Pool Airplane:memPool(sizeof(Airplane
29、);构造函数、析构函数和赋值运算符构造函数、析构函数和赋值运算符 构造函数、析构函数和赋值运算用来产生一个新对象并初始化，撤销一个对象并收回占有的内存，为已有的对象赋一个新值。不能有错，必须将他们彻底搞清楚。11.class内有成员指针并动态配置内存时，一定要有拷贝构造函数，赋值运算符重载class String public:String(const char*value);String();/没有拷贝构造函数，/也没有赋值运算符重载 private:char*data;String:String(const char*value)if(value)data=new charstrlen(v
30、alue)+1;strcopy(data,value);else data=new char1;*data=“0”;inline String:String()delete data;String a(“Hello”);String b(“World”);b=a;HelloWorldabdatadata由于没有自定义的赋值函数，只能用C+产生的默认赋值函数，它简单地将b的成员指针data指向a.data,引起 字符串“World”占有的内存遗失。而且a.data与b.data指向同一个内存，其中一个被析构时另一个就丢失了。拷贝构造函数用来传值，void donothing(String la)
31、String s=“the truth is out of there”;donothing(s);当函数donothing完成任务后，参数s所含的指针被析构，la被删除。即便la不再使用，将来又一次析构la会造成问题。解决的办法就是自己定义拷贝构造函数，赋值函数重载。如果确信永不使用这些函数，把他们定义为私有函数，而且不实现。一旦出错，编译器会给出错误提示。12构造函数中尽量以初始化代替赋值一个类中的const成员数据和reference引用数据只能被初始化，不能被赋值。即便没有const成员数据和reference引用数据，初始化也比赋值效率高。构造函数分两个阶段实现：1.数据成员初始化。
32、2.调用构造函数。数据成员赋值要调用构造函数，再调用赋值函数，做两次调用影响效率。初始化也容易维护，修改。有一种例外：一个类内有大量数据成员时，赋值比初始化效率高。class ManyDataMbs public:ManyDataMbs（）ManyDataMbs（const ManyDataMbs&x）;private:int a,b,c,d,e,f,g,h;double i,j,k,l,m;void init();/用来将数据成员初始化，不做他用;void ManyDataMbs:init()a=b=c=d=e=f=g=h=1;i=j=k=l=m=0;ManyDataMbs:ManyData
33、Mbs()init();ManyDataMbs：ManyDataMbs(const ManyDataMbs&x)init();静态数据成员static class member不应该在构造函数中初始化。静态数据成员只能初始化一次，不能初始化多次。12.数据成员初始化的次序应该和类内声明的次序相同templateclass Array/有上下界的数组 public:Array(int lowBound,int highBound);private:vector data;/数组数据存储于一个vector对象data中 size_t size;/数组中元素的个数 int lBound,hBound
34、;/上下界；templateArray:Array(int lowBound,int highBound):size(highBound-lowBound+1),lBound(lowBound),hBound(highBound),data(size)实际初始化中，data先被初始化，然后 size,lBound,hBound.这样数组中，究竟有多少个元素无法确定。基类成员总是比导出类先初始化。多重继承时初始化的先后次序要十分小心。14.总是让基类拥有虚析构函数总是让基类拥有虚析构函数一个军事应用软件class EnemyTarget public:EnemyTarget()+numTarge
35、ts;EnemyTarget(const EnemyTarget&)+numTargets;EnemyTarget()-numTargets;static size_t numberOfTargets()return numTargets;virtual bool destroy();/摧毁敌方目标是否成功 private:static size_t numTargets;/对象计数器；size_t EnemyTarget:numTargets;/静态成员初始化为0，放在类外class EnemyTank:public EnemyTarget public:EnemyTank()+numTan
36、ks;EnemyTank(const EnemyTank&)+numTanks;EnemyTank()-numTanks;static size_t numberOfTanks()return numTanks;virtual bool destroy();/摧毁敌方坦克是否成功 private:static size_t numTanks;/敌方坦克计数器；EnemyTarget*targetPtr=new EnemyTank;delete targetPtr;/未定义，计数出错，影响战斗胜败 解决办法，把EnemyTarget类中的析构函数定义为virtual即可。几乎所有的基类都有虚函数
37、，只要有一个虚函数，就要把析构函数定义为虚函数。没有虚函数的类，有继承派生类对象析构，也要定义虚析构函数。但虚函数会增加内存开销。完全不必要时不要用虚析构函数。声明一个抽象类，可以加一个纯虚析构函数。15.让让operator=返回返回*this的引用的引用referenceC语言中operator=的原型C&C:operator=(const C&);char x,y,z;x=y=z=a;x,operator=(y.operator=(z.operator=a);z.operator=的返回值是y.operator=的实参。他们应该有相同的类型。但不要让operator=返回void类型，c
38、onst类型Strin&String:operator=(const String&rhs)return*this;/返回一个引用指向左侧对象Strin&String:operator=(const String&rhs)return rhs;/返回一个引用指向右侧对象，错误后一个返回值，编译器无法编译，无法返回const类型.如果参数中去掉const变成：Strin&String:operator=(String&rhs)；X=a;/无法编译 rhs应该是一个变量。结论：必须返回*this;16.在在operator=中为所有的数据成员赋值中为所有的数据成员赋值基类中这不成问题，在派生类中要
39、小心。正确的赋值运算Derived&Derived:operator=(const Drived&rhs)if(this=&rhs)return*this;Base:operator=(rhs);/调用基类的赋值运算 data=rhs.data;return*this;Derived&Derived:operator=(const Drived&rhs)if(this=&rhs)return*this;static_cast(*this)=rhs;/*this强制转换成基类的引用赋值基类成员 data=rhs.data;return*this;拷贝构造函数中要调用基类构造函数。用第一种方法在在
40、operator=中检查是否中检查是否“自己赋值给自己自己赋值给自己”class X;X a;X&b=a;/b是a的别名(aliasing)a=b;/自己赋值给自己 合法 在赋值函数中要特别谨慎的处理自己的别名赋值给自己的问题。提高效率 先做检查，一发现自己赋值给自己立即返回。导出类的赋值运算重载中一定要先检查，可以节省许多工作确保正确性 赋值运算通常要先将左边对象的资源释放，再行赋值。如果有自己赋值给自己的现象，这个资源可能丢失，不可挽回了。如何判断两个对象是同一个对象？不是对象的内容相同，而是看他们的地址是否相同。X&X:operator=(const X&rhs)if(this=&rhs
41、)return*this;aliasing问题不限于赋值运算内，只要用到指针或引用，就可能出现。这时我们就要当心，不要误删了有用的资源。类和函数的设计和申明类和函数的设计和申明设计一个高效率的类型（class 型别），必须先回答下列问题对象如何产生和销毁？确定构造函数和析构函数的设计。对象的初始化和赋值有什么不同？决定构造函数和赋值函数的设计。对象如何传值 决定拷贝构造函数的设计确定合法的范围 成员数据的定义域 确定做什么检查，何时抛出异常判断是否能从已有的类继承 如果能继承，注意受基类哪些约束，哪些要用虚函数。允许那种类型转换 构造函数可以用作隐式类型转换，显式类型转换要自定义。新类型需要哪
42、些运算和函数 确定class的接口。哪些运算和函数必须禁用 放到private成员中。新类型的对象可调用哪些函数 确定公有成员函数，保护成员函数，私有成员函数。是否通用类型 确定是否要用类模板18努力让接口完满（努力让接口完满（complete）且最小化）且最小化客户端接口客户端接口（client interface）指公有成员，一般只有公有函数，不要有公有数据。完满接口完满接口 允许客户做合理要求的任意事情。最小化接口最小化接口 尽量让函数个数最少。不能有功能重叠的函数。太多函数不容易被理解，不易维护，浪费资源。如果增加一个函数，使新类型更方便使用，就可以增加。T&operator(int
43、index);/传回数组的一个元素，可读，可写const T&operator(int index)const;/传回数组的一个元素，可读，不可写19区分成员函数、非成员函数区分成员函数、非成员函数 和友元函数和友元函数成员函数可以动态绑定，可以用virtual非成员函数不能用virtual，非成员函数能不做友元尽量不做友元函数。非成员函数要调用类中私有数据成员或私有函数，则一定要声明为友元。不要让operaor成为类的成员函数,必要时作友元。要让函数式左边对象做类型转换，就不能做成员函数。例子class complex complex operator*(complex rhs)const;
44、private:float x,y;complex a(1,2),b(1.5,4);a=a*b;/正确a=a*2;/可以a=2*a;/出错只能声明为非成员函数const complex operator*(const complex&lhs，const complex&rhs);20避免将数据成员设置为公有数据避免将数据成员设置为公有数据 让公有成员都是函数，可以保持一致性。将数据成员声明为私有成员或保护成员，可以确保数据的安全。21尽可能使用尽可能使用const使用const可以让编译器知道某值不能改变，编译器会确保这个条件不会被改变。const char*p;/指针，指向常值字符串char
45、*const p;/常指针，指向固定地址，地址内字符串不一定是常量const char*const p;/常指针，指向固定地址，内置常字符串const chr*p;char const*p;/意义相同函数中函数中const 可以修饰传回值，参数，成员可以修饰传回值，参数，成员函数时甚至可以修饰整个函数。函数时甚至可以修饰整个函数。函数返回值用 const，可以改善函数的安全性，和效率。T&A:operator(int index);/传回数组的一个元素，可读，可写A a(8);couta2;a2=b；/正确 const T&A:operator(int index);/传回数组的一个元素，可读
46、，不可写 A a(8);couta2;/正确 a2=b；/错误const complex operator*(const complex&lhs，const complex&rhs);complex a,b,c;(a*b)=c;/不允许参数用const 可以保证参数值不变，让编译器作检查。const成员函数保证this指针不变。class A public:int length()const;private:int size;；int A:length()const if(size0)return 0;/错误 不能改变任何数据成员 return size;新C+标准 新增保留字 mutable
47、class A public:int length()const;private:mutable int size;/可以在任何地点被改动，/即使在const成员函数中；int A:length()const if(size0)return 0;/正确 return size;22尽量使用引用参数传址尽量使用引用参数传址pass by reference拷贝构造函数用来传值pass by value，为函数的参数传值，为函数的返回值传值。传值要占用许多资源。class Person public:Person();Person();private:string name,address;cla
48、ss student：public Person public:student();student();private:string schoolname,schoolAddress;student returnstudent(student s)return s;student plato;returnstudent(plato);函数调用中copy构造函数被调用两次，将plato传给参数s,再将函数值返回，析构函数调用两次，析构s,析构函数返回值。更有甚者，基类Person 的构造函数也要调用两次。student对象中两个string数据对象要构造，基类Person中两个string数据对
49、象也要构造，plato给s构造四次,返回传值构造四次总共调用12次构造函数，当然还有12次析构函数要调用。免除这些不当成本，改用引用参数传址by reference const student&returnstudent(const student&s)return s;引用参数传址by reference 不调用任何构造函数析构函数。虚函数的引用参数是基类时，实际传入派生类对象时可以调用派生类的函数。传值参数没有这样的功能。引用参数要注意别名（aliasing）问题。23当你必须传回当你必须传回objebct(传值传值)时不要传时不要传址址(引用）引用）尽可能让事情简单，但不要过于简单。A.
50、Einstein尽可能让事情有效率，但不要过于有效率。C+函数必须传回一个对象，就不要传址不要返回引用。不能传回一个不存在的地址，不能传回函数中产生的局部对象的地址。const complex operator*(const complex&lhs，const complex&rhs)complex temp(lhs.x*rhs.x-lhs.y*rhs.y,lhs.x*rhs.y+lhs.y*rhs.x);return temp;&错误。返回值地址指向局部对象，与局部对象同名，运算执行完毕，局部对象被析构，返回值指向一个不存在的地址。const complex&operator*(const
