class AccessLevels { public: ... int getReadOnly() const { return readOnly; } void setReadWrite(int value) { readWrite = value; } void setWriteOnly(int value) { writeOnly = value; } private: int readOnly; // read-only access to this int int readWrite; // read-write access to this int int writeOnly; // write-only access to this int |
class SpeedDataCollection { ... public: void addValue(int speed); // add a new data value double averageSoFar() const; // return average speed ... }; |
第一种方法(保持一个实时变化的值)使每一个 SpeedDataCollection 对象都比较大,因为你必须为持有实时变化的平均值,累计的和以及数据点的数量分配空间。可是,averageSoFar 能实现得非常高效,它仅仅是一个返回实时变化的平均值的 inline 函数。反过来,无论何时被请求都要计算平均值使得 averageSoFar 的运行比较慢,但是每一个 SpeedDataCollection 对象都比较小。
谁能说哪一个最好?在内存非常紧张的机器(例如,一个嵌入式道旁设备)上,以及在一个很少需要平均值的应用程序中,每次都计算平均值可能是较好的解决方案。在一个频繁需要平均值的应用程序中,速度是基本的要求,而且内存不成问题,保持一个实时变化的平均值更为可取。这里的重点在于通过经由一个成员函数访问平均值(也就是说,通过将它封装),你能互换这两个不同的实现(也包括其他你可能想到的),对于客户,最多也就是必须重新编译。
将数据成员隐藏在功能性的接口之后能为各种实现提供弹性。例如,它可以在读或者写的时候很简单地通报其他对象,可以检验类的不变量以及函数的前置或后置条件,可以在多线程环境中执行同步任务,等等。从类似 Delphi 和 C# 的语言来到 C++ 的程序员会认同这种类似那些语言中的“属性”的等价物的功能,虽然需要附加一个带圆括号的额外的 set。
关于封装的要点可能比它最初显现出来的更加重要。如果你对你的客户隐藏你的数据成员(也就是说,封装它们),你就能确保类的不变量总能被维持,因为只有成员函数能影响它们。此外,你预留了以后改变你的实现决策的权力。如果你不隐藏这样的决策,你将很快发现,即使你拥有一个类的源代码,你改变任何一个 public 的东西的能力也是非常有限的,因为有太多的客户代码将被破坏。public 意味着没有封装,而且几乎可以说,没有封装意味着不可改变,尤其是被广泛使用的类。但是仍然被广泛使用的类大多数都是需要封装的,因为它们可以从用一种更好的实现替换现有实现的能力中获得最多的益处。
反对 protected 数据成员的理由是类似的。实际上,它是一样的,虽然起先看起来似乎不那么清楚。关于语法一致性和条分缕析的访问控制的论证就像用于 public 一样可以应用于 protected,但是关于封装又如何呢?难道 protected 数据成员不比 public 数据成员更具有封装性吗?实话实说,令人惊讶的答案是它们不。
如果某物发生了变化,某物的封装与可能被破坏的代码数量成反比。于是,如果数据成员发生了变化(例如,如果它被从类中移除(可能是为了替换为计算,就像在上面的 averageSoFar 中)),数据成员的封装性与可能被破坏的代码数量成反比。
假设我们有一个 public 数据成员,随后我们消除了它。有多少代码会被破坏呢?所有使用了它的客户代码,其数量通常大得难以置信。从而 public 数据成员就是完全未封装的。但是,假设我们有一个 protected 数据成员,随后我们消除了它。现在有多少代码会被破坏呢?所有使用了它的派生类,典型情况下,代码的数量还是大得难以置信。从而 protected 数据成员就像 public 数据成员一样没有封装,因为在这两种情况下,如果数据成员发生变化,被破坏的客户代码的数量都大得难以置信。这并不符合直觉,但是富有经验的库实现者会告诉你,这是千真万确的。一旦你声明一个数据成员为 public 或 protected,而且客户开始使用它,就很难再改变与这个数据成员有关的任何事情。有太多的代码不得不被重写,重测试,重文档化,或重编译。从封装的观点来看,实际只有两个访问层次:private(提供了封装)与所有例外(没有提供封装)。
Things to Remember
·声明数据成员为 private。它为客户提供了访问数据的语法层上的一致,提供条分缕析的访问控制,允许不变量被强制,而且为类的作者提供了实现上的弹性。
·protected 并不比 public 的封装性强。