《Effective C++》读书笔记 4.设计与声明

设计与声明

条款18：让接口容易被正确使用，不易被误用

如果接口要求客户必须记得做某些事情，就是有着”不正确使用“的倾向

tr1::shared_ptr提供的构造函数接受2个实参，一个是被管理的指针，一个是引用次数变0时将被调用的“删除器”

“将原始指针传递给pInv构造函数”会比“先将pInv初始化为null再对它做一次赋值操作”更好

cross-DLL problem：对象在动态链接程序库（DLL）中被new，却在另一个DLL内被delete。许多平台，这一类“跨DLL的new/delete”会导致运行错误，shared_ptr则能解决这个问题,因为其能在构造时指定删除器

如果我们要实现createInvestment使它返回一个tr1::shared_ptr并夹带getRidOfInvestment函数作为删除器，代码如下

std::tr1::shared_ptr<Investment> createInvestment()
{
	std::tr1::shared_ptr<Investment> retVal(static_cast<Investment*>(0),getRidOfInvestment);
	retVal=...;//令retVal指向正确对象
	return retVal;
}

“促进正确使用”的办法包括接口的一致性，以及与内置类型的行为兼容。例如STL容器都有一个名为size的成员函数

“阻止误用”的办法包括建立新类型、限制类型上的操作，束缚对象值，以及消除客户的资源管理责任

tr1::shared_ptr支持定制型删除器。这可防范DLL问题，可被用来自动解除互斥锁等

---

条款19:设计class犹如设计type

• 新type的对象应该如何被创建和销毁？
  这会影响到构造函数和析构函数以及内存分配函数和释放函数的设计

• 对象初始化和对象赋值应该有什么差别？
  它们对应于不同的函数调用

• 新type的对象如果被passed by value，意味着什么？
  复制构造

• 什么是新type的“合法值”？

• 新type是否需要配合某些继承图系？
  考虑virtual

• 新type需要什么样的转换？

• 什么样的操作符和函数对新type合理？
  声明哪些函数，其中某些应该是成员函数

• 什么样的标准函数应该驳回？
  将那些声明为private

• 谁该用新type的成员？
  确定public、private、protected

• 什么是新type未声明的接口？
  效率，异常安全性，资源运用

• 新type有多么一般化？
  考虑模板类

• 是否真的需要设计type？

---

条款20:宁以pass-by-reference-to-const 替换pass -by-value

pass-by-reference主要是避免复制构造以加快效率，同时，const能够提示用户保证不修改输入

切割问题：函数的参数是一个基类，那么函数内调用的虚函数只能对应基类。当用户使用的时候，调用该函数，输入的派生类会被pass-by-value默认“转为”基类。pass-by-reference可能保证这种情况下，仍然调用派生类的虚函数

pass-by-value在内置类型和STL中效果好，是因为它们小，而且编译器有优化。用户自定义的类型，即使小，也应该尽量用by-reference-to-const的形式

尽量以pass-by-reference-to-const替换pass-by-value。前者通常比较高效，并可避免切割问题

以上规则并不适用于内置类型，以及STL的迭代器和函数对象。对它们而言，pass-by-value往往比较适当

---

条款21:必须返回对象时，别妄想返回其reference

绝不要返回pointer或reference指向一个local stack对象，或返回reference指向一个heap-allocated对象，或返回pointer或reference指向一个local static对象而有可能同时需要多个这样的对象

指向local stack对象，因为在返回时自动销毁，指向了奇怪的地方

指向heap-allocated对象，有可能会忘记销毁或者无法销毁

指向local static对象，会对多线程安全性出现问题

---

条款22:将成员变量声明为private

• 切记将成员变量声明为private。这可赋予客户访问数据的一致性、可细微划分访问控制、允诺约束条件获得保证，并提供class作者以充分的实现弹性。

• protected并不比public更具有封装性
  只有两种访问权限：private（提供封装）和其他（不提供封装）
  public和protected其实差不多，当成员变量是两者之一时，取消该变量，都会导致大量代码的破坏

---

条款23:宁以non-member、non-friend替换member函数

这样做可以增加封装性、包裹弹性和机能扩充性

包裹弹性：编译相依度
比如客户只想用vector，他就不需要include list。此种方式切割并不适用于class成员函数，因为class必须整体定义，不能被分割成片片段段。
机能扩充性：
将这些函数放在多个头文件但隶属于同一个命名空间，意味客户可以轻松扩展这一组函数，他们要做的就是添加更多non-member non-friend函数到此命名空间。

---

条款24:若所有参数皆需类型转换，请为此采用non-member函数

目的是为了保证函数一致性。典型例子是重载类的运算符operator*，如果是member函数，则运算符不支持交换律，影响使用。

从封装的角度看，friend和member函数一样，无论何时，如果可以避免使用friend函数就应该避免

---

条款25:考虑写出一个不抛异常的swap函数

当std::swap对你的类型效率不高，则提供一个swap函数，并确定它不抛出异常

如果你提供一个member swap，也该提供一个non-member swap来调用前者。对于自定义的class，需要全特化std::swap

调用swap应该针对std::swap使用using声明，然后调用swap并且不带任何命名空间资格修饰

class Widget{
public:
	void swap(Widget& other)
	{
		using std::swap;
		swap(pImpl,other.pImpl);
	}
private:
 WidgetImpl* pImpl;//指针，所指对象内含Widget数据
};
namespace std{
	template<>
	void swap<Widget>(Widget& a,Widget& b)
	{
		a.swap(b);
	}//全特化swap
}

C++编译器对于同名的模板函数的查找顺序：编译时确定调用的模版的实参类型T，如果对应命名空间有模板专属的函数，则使用对应的；没有的话，看函数内是否有声明其他命名空间中的对应（模板）函数，有则调用（using声明）

重载function template可行，但是std是一个特殊的命名空间，客户可以全特化std内的模板，但不能添加新的Template到std。因此重载swap函数需要在自己的命名空间内

为用户定义类型进行std Template全特化是好的，但不要在std中加入新东西

swap是异常安全性编程的脊柱
标准库的swap只是简单的调用了复制构造函数、赋值函数；对于资源型的情况存在问题

全特化是指对模板的所有参数都特化，偏特化是对模板的部分参数特化

C++只允许对class Template偏特化，在function tempate身上不允许偏特化