Effecctive C++学习笔记

一、explicit

阻止类执行隐式类型转换，可被显示类型转换。
eg:class A有构造函数explicit A(int a),有函数void doSomething(A aObject)。
可以doSomething(A(0))为显示类型转换,但是不可以doSomething(0)为引式类型转换。

二、拷贝构造与拷贝赋值运算符

有class A、A a，A b(a)调用拷贝构造，A b = a调用拷贝构造，
A b;b = a调用拷贝赋值运算符,没有新对象被定义就不会调用构造函数。

三、类的常量定义

头文件类内：static const int a = 5;
实现文件：const int A::a;
某些旧式编译器不支持类内初值设定，所以要把初值设定移到实现文件。
或者使用枚举常量，enum和#define不可被取地址，但const可以。

四、const

const int* p，指针指向地址的内容不可改变；
int* const p，指针指向不可改变，可改变指针指向地址的内容。
const std::vecter<int>::iterator iter，迭代器本身不可改变；
std::vecter<int>:: const_iterator iter，迭代器内容不可改变。

五、mutable

mutable成员变量允许其在const成员函数中被修改。
eg:class A中有mutable int a，在const成员函数中可以a = 0。

六、public、protected、private

访问权限	public	protected	private
对本类	可见	可见	可见
对子类	可见	可见	不可见
对外部	可见	不可见	不可见

七、阻止类拷贝

申明私有的拷贝构造函数及拷贝赋值操作符，并不提供实现。
eg:class Uncopyable申明了private Uncopyable(const Uncopyable&)以及private Uncopyable& operator=(const Uncopyable&)，私有的不允许被本类以外（子类及外部）调用，由于没有定义只有申明，本类也不能调用。

八、virtual析构函数

父类的指针指向子类的对象时，如果父类的析构函数不是虚函数，则不会析构子类，造成析构不完全。
如果类不被用来继承、产生多态，则不应该申明虚析构函数。

九、不在构造函数和析构函数中调用virtual函数

因为在执行父类的构造函数和析构函数时，子类还没生成或者子类已经消失，不会下降到子类中去。

十、令operator=返回一个reference to *this

这样可以实现“连锁赋值”。

十一、在operator=中处理“自我赋值”

如果类中有new的指针成员，在赋值时须要先delete，但在operator=中的自我赋值会导致delete后赋值为野指针。

十二、以独立语句将new对象置入智能指针

class A;
int getID();
void doSomething(std::tr1::shared_ptr<A> pa, int ID);

在执行doSomething(std::tr1::shared_ptr<A>(new A), getID())时，会先执行new A，然后调用getID()，最后调用tr1::shared_ptr构造函数，如果在getID()中抛出异常，导致new A返回的指针没有放入tr1::shraed_ptr中去，会导致资源泄漏。不可以写成doSomething(new A, getID())，因为tr1::shared_ptr的构造函数是explicit构造函数，无法进行隐式转换。

十三、以pass-by-reference-to-const替换pass-by-value

引用传递可以减少构造、析构函数的调用次数，同时可以避免切割问题，除了内置类型，STL的迭代器和函数对象，其它对象都应该优先考虑pass-by-reference-to-const。

十四、如果需要允许函数的所有参数支持隐式类型转换，那么这个函数必须是non-member

calss Rational
{
public:
    Rational(int numertor = 0, int denominator = 1);
    const Rational operator*(const Rational& rhs) const;
}

对Rational oneHalf(1, 2)使用2 * oneHalf是不能通过编译的，如果Rational构造函数是explicit的，甚至连oneHalf * 2都不能通过编译，但是如果有non-member函数const Rational operator*(const Rational& lhs, const Rational& rhs)，且构造函数不是explicit的,那么2 * oneHalf就可以使用了。

十五、inline函数

inline函数会在编译阶段直接嵌入调用函数的地方，会导致代码量的增加，且inline函数不可打断点调试。
将定义写在头文件是隐喻申明为inline函数，明确申明inline函数的做法为加inline关键字，但其是否真的是inline函数取决于编译器。

十六、关于重写non-virtual函数

通过virtual函数以及父类的指针指向子类的对象可调用不用子类对应的virtual函数，从而实现多态。
如果重写了non-virtual函数，那么父类的指针指向子类的对象调用的永远是父类的函数。
如不通过父类指针调用子类，与作用域优先级概念相同，由于子类作用域会覆盖父类作用域，会直接调用子类重写过的non-virtual函数。

十七、继承的缺省参数值

父类定好了函数的缺省参数值，子类重写缺省参数不会生效。
这是由于缺省参数值是静态绑定，virtual函数是动态绑定的，不可能修改缺省参数值。

十八、template

申明template时，template与class可互换。
嵌套从属类型名称需要使用template标识，不得在基类列和成员初值列标识。