首页 > 代码库 > Effective C++ Items
Effective C++ Items
Item2:尽量以const,enum,inline替换#define
原因:1, #define ASPECT_RATIO 1.63
编译错误时产生魔数,应以const double Aspect_Ratio = 1.63替换
2, #define不能提供作用域,如某个类的常量
class GamePlayer{
private:
static const int = 1024;
int scores[NumTruns];
};
上面的类也可以通过下面的enum实现, 但是此种实现更像是define,因为取NumTruns的地址在此种情况下不合法,define的标识符也不能取地址。
class GamePlayer{
private:
enum{ NumTruns = 5 };
int scores[NumTruns];
};
3, 用inline替换define的函数
#define CALL_WITH_MAX(a,b) f((a) > (b) ? (a) : (b))
应以如下inline函数替换
template <typename T>
inline void CallWithMax(const T &a, const T &b)
{
f(a > b ? a : b);
}
如果不, 会怎么样:
N.A
Item 3: 尽量使用const
原因:1, 使用const修饰返回值可以降低客户错误造成的意外
const Rational operator* (const Rational &lhs, const Rational &rhs);
可以防止:
Rational a, b, c;
(a * b) = c;
2, const 成员函数的作用是1)确认函数可以作用域const对象。2)操作const对象,pass by reference to const是C++程序的关键,必须有const函数
关于第二点要说明的是1)const对象调用成员函数,必须为const成员函数,原因见http://www.cnblogs.com/dracohan/archive/2009/11/30/1614089.html
2)非const对象优先调用非const成员函数,如果无const成员函数,也可以调用该函数对应的const重载函数。
3)const成员函数和非const成员函数重载,可让非const成员函数调用const成员函数,因为const函数要求更严格。
3,关于什么函数可以为const,const成员函数可以修改它所处理的对象内的bits,但只有在客户端检测不出的情况下才可以。
Item 4: 类成员的初始化
原因:
为保证所有的类成员都被初始化,可以将所有的变量放入初始化队列。
如果不, 会怎么样:
如果遗漏,则有些变量没有被初始化,会导致不明确行为。
Item5: 1)一个空类,编译器会默默的编写4个函数:默认构造函数,析构函数,copy构造函数,copy赋值操作符
Empty& operator= (const Empty& rhs){...}
2) class定义内有reference或者const成员的,编译器拒绝生成copy赋值操作符,因为它也不知道怎么办
3) 基类的copy 赋值操作符如果是私有的,则编译器不会为派生类生成copy赋值操作符
Item6:可以通过两种方式防止拷贝动作:
1)将copy构造和copy赋值操作符声明为private,但此种方法不能防止member函数或者friend函数这么做。
2)可以将copy构造和copy赋值操作符声明为private,并单独生成一个基类。想要此功能的类,私有派生自此基类。此方法的原理是,编译器为派生类生成的默认copy构造和copy赋值操作符都尝试调用基类的对应兄弟,因为是private,必定失败,因为编译器会拒绝。
1 class Uncopyable{ 2 protected: //允许derive对象构造和析构 3 Uncopyable(){} 4 ~Uncopyable(){} 5 private: //不允许copy 6 Uncopyable(const Uncopyable&); 7 Uncopyable& operator= (const Uncopyable& rhs); 8 }; 9 10 class XXX : private Uncopyable{11 ...12 };
Item 7: 1) 为多态的基类声明virtual的析构函数,否则派生类的部分得不到析构
2)如果不是多态的基类,不要声明virtual析构函数,影响性能。
3)不带virtual析构函数的类,不能被用作基类。
Item9: 绝不在析构函数和构造函数中调用virtual函数
原因: 1)因为构造和析构过程中,virtual函数不能下放到派生类中。如果下放,派生类中的变量尚未初始化,将导致未定义行为。
2) 有一个替代方法,就是让派生类调用基类的版本,但是在调用过程中传递一个派生类的信息给基类,从而加以弥补。
class Base{public: Base(); Log();};class Derived{public: Derived();};Base::Log(const LogInfo& Linfo){ cout << Linfo << endl;}Base::Base(){ Log(baseLogInfo);}Derived::Derived(){ Log(DerivedLogInfo);}
如果不, 会怎么样:
实际调用的虚函数是基类中的版本,不是你想要的。
Item 10: operator= 返回一个reference to *this
原因: 随大流,主要为了实现连锁赋值,如a = b = c;
如果不,会怎么样: 无大碍
Item11: 在写赋值操作符的时候要注意自我赋值的情况
原因:如果不处理,则会导致异常,如下面的写法:
widget& operator= (const widget& rhs){ delete m_pointer; m_pointer = new widget(*rhs.m_pointer); return *this;}
如果是同一对象,第一步就会删除指针,第二步读取异常。有两种方法可以避免问题:
1)合理安排语句的顺序:
widget& operator= (const widget& rhs){ widget* pb = m_pointer; m_pointer = new widget(*rhs.m_pointer); delete pb; return *this;}
2) 使用copy-and-swap技术
widget& operator= (const widget& rhs){ widget tmp(rhs); swap(tmp); return *this;}
Item12: 如果你自己写了copy构造或者copy赋值函数,那么你就要小心了。
1)如果增加了成员变量,必须修改copy构造函数和copy赋值函数
2)如果是派生类,那么记得要调用基类的copy构造函数和copy赋值函数
如果不,会怎么样:
新增加的成员变量或者基类的成员变量将被默认构造函数初始化,不是要copy的值。
Item13: 以对象管理资源:
1)autoptr,auto_ptr<Pointee>(createPointee()); //createPointee is a factory function
2) shareptr, shared_ptr<Pointee>(createPointee());
3)注意不要在数组身上使用auto_ptr或者share_ptr,因为他们都是执行的delete操作而不是delete[]。
4)尽量不让工厂类函数直接返回为加工的指针。
5)copy动作对于auto_ptr来说是交出所有权,赋值后rhs为NULL。对于share_ptr来说是,是增加引用计数。
如果不,会怎么样:
N.A
Item14: 不是所有的对象都是在堆上被创建的,不一定都是new/delete,所以有时候需要自己写资源管理类,构造和析构函数有可能调用的是lock/unlock操作。
但是这种类需要注意的是这些类的copy,有几种方法处理copy:
1) 禁止copy,见Item6
2)对底层资源使用引用计数
3)做深拷贝,复制整块内存
4)交出拥有权,如auto_ptr
如果不,会怎么样:
会导致多个对象的指针指向同一块内存,当一个对象析构时,其资源已经被释放,其他对象析构将引起未定义行为。
Item15: 提供资源管理对象对底层资源的访问,同时适当提供隐式转换函数
class Font{public: operator Fonthandle() const {return f;}private: Fonthandle f;};
Item16: 尽量以pass by const reference 代替pass by value
原因: 1) 可以提高效率,不用构造新的对象
2) 避免对象切割问题
如果不,会怎么样
N.A
Item30: inline函数不是随便用的
优点: 不用函数开销,比宏好用
缺点:1)增加代码大小。2)改变inline函数,客户需要重新编译。3)不能设置断点调试。
template放在头文件中,如果inline,则所有template生成出来的函数都将是inline的
Item31:将文件间的依存关系将之最低。
方法: 1)使用引用和pointer能办成的事,就不要用对象完成
2)以class声明式代替class定义式
3)为声明式和定义式提供不同的头文件。声明式文件中,要么是保存定义式的指针,并在接口中调用之;要么是声明一个基类的abstract类,实现类继承之。
Item34: 区分接口继承和实现继承
1)声明一个pure virtual函数的目的是为了让derived class只继承函数接口
2)声明一个普通virutal函数的目的是为了让derived class继承该函数的接口和默认实现
为了让这种默认继承更加安全,避免在派生类没有声明需要此函数的时候就使用了它的问题,可以用一个基类的pure virutal函数代替,并实现之。派生类实现此pure virtual 函数,从而成为concrete 类,并且调用基类名::函数名()来达到原来普通impure virtual函数的作用。
3)声明一个non-virtual函数的目的是为了给derived class一个接口和一份强制实现,不得修改。
Item36: 不重新定义继承而来的non-virtual函数
原因: Base* pb = new Derived;
如果不,会怎么样:通过基类或者派生类的指针调用该函数的时候会造成行为不一致。
Item37: 不重新定义继承来的缺省参数值
原因:缺省参数是编译器确定的,虚函数是运行时才确定的。
如果不,会怎么样: 会产生一个奇葩,派生类函数+基类的默认参数
Item39: private继承
private继承和普通继承有两个不同点:1)private继承而来的派生类不会自动将一个派生类对象转换为一个基类对象
2)private继承也叫实现继承,嘛意思呢,就是说基类的接口在派生类里毛都没了,全部封装
Item40: 多重继承
多重继承可用来公共继承几口,私有继承实现。
class CPerson: public IPerson, private PersonInfo{...};