Effective C++读书笔记(条款18-23)

（四）.设计与声明

____________________________________________________________________________________________________________________________________

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

#1.导入新类型可以让接口不易被误用，以函数替换对象则可以保证类型安全性。
例如：

class Date{
 public:
    Date(int month, int day, int year);
    ...
}
//加上外覆类型:
class Month{
public:
    static Month Jan(){return Month(1);}
    static Month Feb(){return Month(2);}
    ...
    static Month Dec(){return Month(12);}
    ...
private:
    explicit Month(int m);
    ...
};
struct Day{
explicit Day(int d)
    : val(d) {}
int val;
};
struct Year{
explicit Year(int y)
    :val(y){}
int val;
};
//则可以这样调用：
Date d(Month::Mar(), Day(30), Year(1995));
//从而保证了类型安全性和接口不易被误用。

#2.限制类型内什么事可做，什么事不可做可以预防客户错误。
例如，用const修饰operator*的“返回类型”可阻止客户因”用户自定义类型“而犯错。

if(a*b = c)...  //喔噢，原意其实是要做一次比较动作

#3."保证接口的一致性"，"让types行为与内置types的行为一致”可以促进接口被正确使用。

#4.任何接口要求客户必须记得做某些事情，就是有着”不正确使用“的倾向。
例如，有函数：

Investment* createInvestment();

并希望最后将Investment*指针传递给名为 getRidOfInvestment()函数，则给了
客户三次犯错误的机会：没有删除指针，删除指针多次，没有用getRidOfInvestment()函数来删除指针
我们可以将其改成如下代码：

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

这样便可以防止客户犯错，避免造成资源泄漏。

#5.tr1::shared_ptr支持定制型删除器（custom deleter),这可用来防范DLL问题，可被用来
自动解除互斥锁(mutexes;见条款14)等。
____________________________________________________________________________________________________________________________________
条款19：设计class犹如设计type
#1.新type的对象应该如何被创建和消耗？
#2.对象的初始化和对象的赋值该有什么样的差别？
#3.新type如果被passed by value(以值传递），意味着什么？
#4.什么是新type的"合法值"？
#5.你的新type需要配合某个继承图系(inheritance graph)吗?
#6.你的新type需要什么样的转换?
#7.什么样的操作符和函数对此新type而言是合理的？
#8.什么样的标准函数应该被驳回？
#9.谁该取用新的type的成员？
#10.什么是type的"未声明的接口"(undeclared interface)?
#11.你的新type有多么一般化？
____________________________________________________________________________________________________________________________________
条款20：宁以pass-by-reference-to-const 替换 pass-by-value
#1.对于自定义类型，尽量以pass-by-reference-to-const 替换 pass-by-value,前
者通常比较高效，而且可以避免切割问题。
(避免构造函数和析构函数所带来的成本）

#2.对于内置类型，STL的迭代器及函数对象，pass-by-value比较适当。
（这部分符合C守则，没有构造函数带来的成本, pass-by-value通常比指针来实现
的reference更高效）

#3.对于小型自定义类型，仍应使用passed-by-reference-to-const。
理由1：
对于小型拥有并不昂贵的copy构造函数，某些编译器对待”内置类型“和”用户自定义类型“
的态度截然不同，纵使两者拥有相同的底层表述。
例如：
某些编译器拒绝把只由一个double组成的对象放进缓存器内，却很乐意在一个正规基础上对
光秃秃的double这么做。
因此使用passed-by-reference-to-const传递比passed-by-value更好。
理由2：作为一个用户自定义类型，其大小容易有所变化。
理由3：改用不同的C++编译器可能改变type的大小，比如:某些标准程序库实现版本中的
string类型比其他版本大七倍。
____________________________________________________________________________________________________________________________________
条款21：必须返回对象时，别妄想返回其reference
#1.用pointer或reference指向一个local stack对象，并在函数中返回，都将导致
”无定义境地“的不明确行为，因为locak stack对象在函数返回时就被销毁了。
#2.返回pointer或reference指向一个local static而有可能需要多个这样的对象
会使多个对象同时指向一个对象，这很可能并不是一开始你所希望的。
例如：

const Rational& operator*(const Rational& lhs, const Rational& rhs)
{
    static Rational result;
    result = ...;
    return result;
}
bool operator==(const Rational& lhs, const Rational& rhs);
Rational a, b, c, d;
...
if((a*b)==(b*d)){
 //当乘积相等时，做适当的相应动作;
}else{
 //当乘积不相等时，做适当的相应动作;
}

结果总是执行相等时的语句块，因为返回的总是同一个local static对象，
这并不是当初我们所希望的。
____________________________________________________________________________________________________________________________________
条款22：将成员变量声明为private
#1.切记将成员变量声明为private,这可赋予客户
(1).访问数据的一致性（都通过函数访问），
(2).可细微划分的访问权限（不准访问，只读访问，只写访问，读写访问），
(3).允许约束条件获得保证（通过函数验证class的约束条件，通知其他对象，
验证函数的前提和事后状态，在多线程状态中执行同步控制...等等。）
(4).增加class的封装性，及实现弹性（访问控制增加封装性；客户统一调用，
却可改变的函数内部行为增加了实现弹性）
(5).确保class的约束条件总是会获得维护，因为只有成员函数可以影响它们。

#2.某些东西的封装性与“当其内容改变时可能造成的代码破坏量”成反比。
（所谓改变，也许是从class中移除它（这或许有利于计算封装性））

#3.protected并不比public更具封装性。
理由：public成员变量供所有使用它的客户所使用，如果移除了它，所有使用
它的客户码都会被破坏，因此封装性为0, protected成员变量被所有derived
classes和class本身所使用，如果移除了它，所有使用它的客户码也都遭到
破坏，因此封装性也为0.
____________________________________________________________________________________________________________________________________
条款23：宁以 non-member, non-friend 替换 member 函数
#1.如果某些东西被封装，就会降低其可见性，愈多东西被封装，愈少人可以看见它。
而愈少人可以看见它，我们就有愈大的弹性去变化它，因为我们的改变仅仅影响那些
看到改变的人或事物。

#2.宁可拿 non-member, non-friend函数替换 member 函数。这样做可以增加
(1)封装性:
non-member、non-friend函数比member函数更缺少访问class中内部protected成员
和private成员的权限，换言之，能看到的更少，因此，封装性更好。
(注意，这里为什么不包括friend函数）

(2)包裹弹性:
non-member、non-friend函数的封装将class与该函数分离，减少了代码修改的
编译依存性，因此具有更高的包裹弹性。（说白了，就是与class更无关了）

(3)机能扩充性:
non-member、non-friend函数可以被置于与class相同的namespace内，如此一来
便可实现多组分别位于不同源文件的便利函数，从而实现了分离的扩充机能。
(namespace可以跨越多个源文件，而class不行）
例如：

//-----------------------------------
#include"WebBrowser.h"
namespace WebBrowserStuff{
class WebBrowser{...};
...        //核心机能，例如几乎所有客户所需要的 non-member函数
}
//-----------------------------------
#include"WebBrowserBookmarks.h"
namespace WebBrowserStuff{
...        //与书签相关的便利函数
}
//-----------------------------------
#include"WebBrowserCookies.h"
namespace WebBrowserStuff{
...        //与cookies相关的便利函数
}
//-----------------------------------
//此时若想再添加一组便利函数，只需要包含相关的头文件，便可以在 namespace
//中轻松的再添加，实现扩展机能。

<pre name="code" class="cpp">//=============================================================
// 以下是一个使用member函数和non-member、non-friend函数的示例:
//=============================================================
class WebBrowser{
public:
    ...
    void clearCache();  //清除下载元素缓存
    void clearHistory(); //清除访问过的URLs历史记录
    void removeCookies(); //移除系统中所有的Cookies
};
//若想将上述三个函数一同实现，可采用member()函数，和non-member、non-friend函数的方式,
//其中member()函数实现方式:
class WebBrowser{
public:
    ...
    clearEverything();   //调用clearCache,clearHistory,removeCookies函数
    ...
};
//non-member、non-friend函数实现方式：
void clearEverything(WebBrowser& wb)
{
    wb.clearCache();
    wb.clearHistory();
    wb.removeCookies();
}

____________________________________________________________________________________________________________________________________