Effective C++ T23：宁以non-member、non-friend替换member函数

Effective C++学习笔记总链接

改善程序与设计的55个具体做法学习笔记-每日1条

---

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

【技巧】

1. 宁可拿non-member、non-friend 函数替换member函数。这样做可以增加封装性、包裹弹性和机能扩充性。

2. 将所有便利函数放在多个头文件内但隶属同一个命名空间（namespace），这是C++标准程序库的组织方式。

---

class WebBrowser
{
public:
	...
	void clearCache();
	void clearHistory();
	void removeCookies();
	...
};

许多用户想一起调用上述代码的3个成员函数，有两种做法

一：member函数

class WebBrowser
{
public:
	...
	void clearEverything(); // 调用clearCache、clearHistory和removeCookies
	...
};

二：non-member、non-friend函数

class clearBrowser(WebBrowser& wb)
{
	wb.clearCache();
	wb.clearHistory();
	wb.removeCookies();
}

哪一个比较好呢？

面向对象守则要求数据应该尽可能被封装，然而与直观相反地，

• member函数带来的封装性比non-member 函数低。
• 提供non-member函数可允许对WebBrowser相关机能有较大的包裹弹性，而那最终导致较低的编译相依度，增加WebBrowser可延伸性。

因此在许多方面non-member做法比member做法好

non-member具有更大的封装性

封装：如果某些东西被封装，它就不再可见。愈少人看见它，我们就愈大的弹性去改变它，我们改变那些东西的能力就愈大。

因此，愈多东西被封装，我们改变那些东西的能力也就愈大。

推崇封装的原因：它使我们能够改变事物而只影响有限客户。

愈少代码可以访问数据，愈多的数据可被封装，而我们也就愈能自由地改变对象数据。

因此，愈多函数可以访问数据，数据的封装性也就愈低。

能够访问private成员变量的函数只有class内的member函数和friend函数

值得注意的是，friend函数对class private成员的访问权力和member相同，因此两者的封装性相同。

如果你要在一个member函数和non-member哈数之间做抉择，而且两者提供相同机能，那么，导致较大封装性的是non-member non-friend 函数，因为member函数并不增加“能够访问class内private成分”的函数数量。

在提供相同机能的情况下，non-member non-friend可以使class有较大的封装性。

在C++中，比较自然的做法是让clearBrowser称为一个non-member函数并且位于WebBrowser所在的同一个namespace（命名空间）内：

namespace WebBrowserStuff
{
	class WebBrowser{ ... };
	void clearBrowser(WebBrowser& wb);
	...
}

C++标准库的组织方式(namespace)

namespace 与 class不同，namespace可跨越多个源码文件而class 不行

//头文件"webbrowser.h"-----这个头文件针对WebBrowser自身
//及WebBrowser核心机能
namespace WebBrowserStuff
{
	class WebBrowser{ ... };
	... // 核心机能，例如几乎所有客户都需要的non-member函数
}

//头文件"webbrowserbookmarks.h"
namespace WebBrowserStuff
{
	... // 与书签相关的便利函数 
}

//头文件"webbrowsercookies.h"
namespace WebBrowserStuff
{
	... // 与cookies相关的便利函数 
}

上述代码，正是C++标准程序库的组织方式。
标准程序库并不是拥有单一、整体、庞大的<C++StandardLibrary>，而是有数十个头文件（例如< vector> 等等）,每个头文件声明std某些机能。

如果客户只想使用vector相关机能，他只需要#include< vector>，不需要包含其他的头文件。

这就允许客户只对他们所用的那一小部分系统形成编译相依

以namespace和non-member non-friend便利函数切割机能并不适用于class成员函数，因为class必须是整体定义，不能被分割为片片段段。

将所有便利函数放在多个头文件内但隶属同一个命名空间（namespace），意味着客户可以轻松扩展这组便利函数