Effective C++ 随记 第四章（设计与声明）

“让接口更容易被正确使用”  正确性、高效性、封装性、维护性、延展性、协议的一致性

 

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

请记住：

1）：让接口很容易被正确使用，不易被误用。

2）：“促进正确使用”：接口一致性，与内置类型的行为兼容。

3）：“阻止误用”：建立新类型、限制类型上的操作，束缚对象值，消除客户的资源管理责任。

4）：tr1::shared_ptr 支持定制行删除器，可以用来自动解除互斥锁。

 

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

 需要考虑：

1）：新的type对象应该如何被创建和销毁？

2）：对象的初始化和对象的赋值该有什么样的区别？

3）：新type的对象如果被 passed-by-vale ，意味着什么？

4）：什么是新 type 的“合法值”？

5）：你的新 type 需要配合某个继承图系吗？

6）：你的新 type 需要什么样的转换？

7）：什么样的操作符和函数对此新 type 而言是合理的？

8）：什么样的标准函数应该驳回？

9）：该取用新 type 的成员？

10）：什么是新 type 的“未声明接口”？
11）：你的新 type 有多么一般化？

12）：你真的需要一个新 type 吗？

 

请记住：

1）：class 的设计就是 type 的设计，定义 type 之前请确定你已经考虑过上述全部考虑的主题。

 

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

 pass-by-reference 往往实际上传递的是指针。

切割问题：当一个派生类对象以 by value 方式并被视为一个 基类 对象时，调用基类的copy构造函数构造原始对象的副本，副本实际为基类对象（应当与原始对象一样为派生类对象），副本对象的内容被切割。

  

请记住：

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

2）：针对内置类型、STL的迭代器和函数对象， pass-by-value 往往更加合适。

 

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

请记住：

1）：绝对不要返回 pointer 或 reference 指向一个 local stack（局部栈） 对象（），或返回 reference 指向一个 heap-allocated 对象， 或返回 pointer 或 reference 指向一个local static 对象而有可能需要多个这样的对象。

Local stack 对象（位于栈中）：作用域结束后，对象自动被销毁；

heap-allocated对象（new 申请，位于堆中）：如何销毁该对象（何时调用 delete）；

local-static对象（局部静态对象）：多次引用同一个对象，且全部的引用均为最新的 “现值”。

 

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

 类成员变量的访问权限：private（提供封装），其它（不提供封装）

 

请记住：

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

2）：protected 并不比 public 更具封装性。（public 和 protected 都可以被派生类继承）

 

条款23：non-member、non-friend 替换 member 函数

 封装性：成员函数为 private 可以保证不让其它客户修改其私有成分。

namespace WebStuff{

Class Web{ … };          // 定义类，其中包含 member 函数；

Void clear(Web& index);     // 定义对应类中成员函数的非成员函数，用于调用成员函数。

}

包裹弹性：

机能扩充性：上述 namespace 定义位于源文件对应的头文件中，引入该头文件就可以扩充 namespace。

 

请记住：

1）：用 non-member、non-friend 替换 member 函数 可以增加封装性、包裹弹性和机能扩充性。

 

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

请记住：

1）：如果你需要为某个函数的所有参数（包括被 this 指针所指的那个隐喻参数）进行类型转换，那么这个函数必须时个 non-member。

 

条款25：请考虑一个不抛异常的 swap 函数

 

原始版本： namespace std { template<typename T> void swap(T& a, T& b) { T temp(a); a = b; b = temp; } }

特化版本： class Widget{ Pubilc: Void swap(Widget& other){ using std:swap; swap(pImpl, other.pImpl ) } pricate:         WidgetImpl * pImpl;  // 类指针 WidgetImpl * } namespace std { template<> void swap<Widget>(Widget& a, Widget& b) { a.swap(b); } }

 

 

请记住：

1）：当 std::swap 对你的类型效率不高时，提供一个swap成员函数，并确定该函数不会抛出异常；

2）：如果你提供一个 member swap，请提供一个 non-member 函数来调用前者，对于 class（非template），请特化 std::swap ；

3）：调用 swap 时应针对 std::swap 使用 using 声明式，然后调用 swap 并且不带任何“命名空间”修饰：
（C++会自动根据定义选择适当的函数实体来运行）

4）：为“用户定义类型”进行 std template 全特化是好的， 但是不要尝试在 std 内加入全新的东西