Programming 版 (精华区)

发信人: JJason (C++ Primer), 信区: Programming
标  题: C++ FAQ(07):类和对象
发信站: 哈工大紫丁香 (2002年11月20日19:55:54 星期三), 站内信件

[7] 类和对象
(Part of C++ FAQ Lite, Copyright ? 1991-2001, Marshall Cline, 
cline@parashift.com)
简体中文版翻译：申旻，nicrosoft@sunistudio.com（东日制作室，东日文档）

----------------------------------------------------------------------------

FAQs in section [7]:
[7.1] 类是什么？ 
[7.2] 对象是什么？ 
[7.3] 什么样的接口是“好”的？ 
[7.4] 封装是什么？ 
[7.5] C++是如何在安全性和可用性间取得平衡的？ 
[7.6] 我如何才能防止其它程序员查看我的类的私有部分而破坏封装？ 
[7.7] 封装是一种安全装置吗？ 
[7.8] 关键字 struct 和 class 有什么区别？ 

----------------------------------------------------------------------------

[7.1] 类是什么？
面向对象软件的基本组成物

类定义数据类型，就如同 C 中的结构。从计算机科学的角度来理解，类型由状态集合和转
换这些状态的操作集合组成。因为 int 既有状态集合，也有象 i + j 或 i++ 等这样的操
作，所以 int 是一种类型。同样，类提供了一组操作集合（通常是 public: ）和一组描
述类型实例所拥有的抽象值的数据集合。

可以将 int 看作为一个有 operator++ 等成员函数的类。（int 实际并不是一个类，但是
基本类似：一个类是一种类型，就如同 int 是一种类型）

注意: C 程序员可以将类看作为成员默认为私有的结构。但是，如果那是你对类的全部认
识，那么你可能要经历个人的思考模式的转变了。 

----------------------------------------------------------------------------

[7.2] 对象是什么？
和语义有关的存储区域

当我们声明了int i，我们说：“i 是 int 类型的一个对象”。在 OO/C++ 中，“对象”
通常意味着“类的一个实例”。因此，类定义多个对象（实例）的可能的行为。 

----------------------------------------------------------------------------

[7.3] 什么样的接口是“良好”的？
提供了一个将“块”状的软件简化了的视图，并且以“用户”的词汇表达的接口。（“块
”通常是一个或一组紧密相连的类；“用户”是指其它的开发者而不是最终客户）

“简化了的视图”指隐藏不必要的细节。这样可以减少用户的错误率。 
“用户的词汇”意思是用户不需要学习新的词汇或概念，这样可以降低用户的学习曲线。 


----------------------------------------------------------------------------

[7.4] 封装是什么？
防止未被授权地访问一些信息和功能。

节省成本的关键是从软件“块”的稳定部分中分离出可变的部分。封装给这个“块”安置
了防火墙，它可以防止其它“块”访问可变的部分；其它“块”仅仅能够访问稳定的部分
。这样做，当可变的部分改变后，可以防止其它“块”被破坏。在面向对象软件的概念中
，“块(chunk)”通常指一个或一组紧密相连的类。

“可变的部分”是实现的细节。如果“块”是单个类，那么可变的部分通常用 private: 
和/或 protected: 关键字来封装。如果“块”是一组紧密相连的类，封装可被用来拒绝对
组中全部类的访问。继承也能被用来作为封装的一种形式。

“稳定的部分”是接口。好的接口提供了一个以用户的词汇简化了的视图，并且被从外到
里的设计。（此处的“用户”是指其它开发者，而不是购买完整应用的最终用户）。如果
“块”是单个类，接口仅仅是类的 public: 成员函数和友元函数。如果“块”是一组紧密
相连的类，那么接口可以包括模块中的多个类。 

设计一个清晰的接口并且将实现和接口分离，只不过是允许用户使用接口。而封装实现可
以强迫用户使用接口。 

----------------------------------------------------------------------------

[7.5] C++是如何在安全性和可用性间取得平衡的？
在 C 中，封装是通过在编辑单元或模块中，将对象声明为静态来完成的。这样做防止了其
他模块访问静态区域。（顺便说一句，现在这种做法是被遗弃的：不要在 C++中这样做） 


不幸的是，由于没有对一个模块的静态数据产生多个实例的直接支持，这种处理方法不支
持数据的多个实例。在 C 中如果需要多个实例，那么程序员一般使用结构。但是很不幸，
C 的结构不支持封装。这增加了在安全性（信息隐藏）和可用性（多实例）之间取得平衡
的难度。 

在 C++中，你可以利用类来同时获得多实例和封装性。类的 public: 部分包含了类的接口
，它们通常由类的 public: 成员函数和它的友元函数组成。类的 private: 和/或 
protected: 部分包含了类的实现，而通常数据就在这里。

最终的结果就象是“封装了的结构”。这样就易于在安全性（信息隐藏）和可用性（多实
例）间取得平衡。 

----------------------------------------------------------------------------

[7.6] 我如何才能防止其它程序员查看我的类的私有部分而破坏封装？
不必这么做——封装是对于代码而言的，而不是对人。 

只要其它程序员写的代码不依赖于他们的所见，那么即使它们看了你的类的 private: 和/
或 proteced: 部分，也不会破坏封装。换句话说，封装不会阻止人认识类的内部。封装只
是防止他们写出依赖类内部实现的代码。你的公司不必为维护你眼睛所看到的东西支付维
护成本，但是必须为维护你的指尖写出的代码支付维护成本。正如你知道的，倘若他们写
的代码依赖于接口而不是实现，就不会增加维护成本。

此外，这很少成为一个问题。我想不会有故意试图访问类的私有部分的程序员。My 
recommendation in such cases would be to change the programmer, not the code" 
[James Kanze; used with permission]. 

----------------------------------------------------------------------------

[7.7] 封装是一种安全装置吗？
不。 

封装 != 安全。 

封装要防止的是错误，而不是间谍。 

----------------------------------------------------------------------------

[7.8] 关键字 struct 和 class 有什么区别？
struct 的成员默认是公有的，而类的成员默认是私有的。注意：你应该明白地声明你的类
成员为公有的、私有的、或者是保护的，而不是依赖于默认属性 

struct 和 class 在其他方面是功能相当的。 

OK，明晰的技术谈论够多了。从感情上讲，大多数的开发者感到类和结构有很大的差别。
感觉上结构仅仅象一堆缺乏封装和功能的开放的内存位，而类就象活的并且可靠的社会成
员，它有智能服务，有牢固的封装屏障和一个良好定义的接口。既然大多数人都这么认为
，那么只有在你的类有很少的方法并且有公有数据（这种事情在良好设计的系统中是存在
的!）时，你也许应该使用 struct 关键字，否则，你应该使用 class 关键字。  

----------------------------------------------------------------------------
 E-mail the author
[ C++ FAQ Lite | Table of contents | Subject index | About the author | ? | 
Download your own copy ]
Revised Apr 8, 2001 
 
--

     人生，就是一团欲望：
     欲望没有满足的时候就是痛苦，
     欲望被满足的时候就是无聊；
     人生就是在痛苦与无聊之间徘徊。

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 202.118.229.69]