计算机程序设计（黄永峰老师）自学材料之二：对类友元的理解.pdfVIP

C++程序员的婚礼 背景：1995 年 1 月，我的两个朋友，达瑞和卡娜，私奔海外 （其实只是从澳洲跑到 了旧金山）。他们要到剑桥去继续他们的学业，下面这个典礼就是为他们举行的一系 列告别活动的一部分。这都是原始材料。 友元关系结成典礼[*]蒂姆。麦肯齐和罗伯特。休厄尔 1995 年 8 月 27 日 这一庆典是对 1959 年新教婚礼仪式的拙劣模仿[1].  今天，在这所旅馆中，达瑞和卡娜自愿结为友元关系。既然此事并不违背现行法律， 典礼现在开始。 上帝保佑，我们大家，包括旅馆的职员，能聚集在此地，参加卡特丽娜。伊丽莎白。 麦菲与达瑞。马克。普拉特的友元关系结成大典。 尽管此前他们已经举行过了正式的婚礼，但那是在我们大家都没有听说过的遥远的 地方，背着我们举行的婚礼。既然大家提不出任何反对他们结合的合法的理由，那 就让我们虔诚地默念此次典礼的程序、目标和约定吧。 神圣的友元关系起源于文明萌芽时代，是由布亚那。斯特思塔普于 20 世纪 70 年代 最早提出的。布亚那发明的 C++语言完全符合图灵模型，具备面向对象的特征。他 为 C++语言祈祷并赐予它支配万物的力量。 进而，布亚那又说：“类不应该总是孑然一身；我得想办法帮帮它。”  于是，他创建了友元声明的语法，并以此允许其他的类或函数访问类的私有或受保 护的成员。“这样，一个类就可以超越它的基类，并服务于它的友元类和友元函数， 可以与它的友元类和友元函数合为一体。”  我们尊贵的主 ANSI 用他的祝福和他制订的律条为友元关系赐予了无上的荣耀。他 同意接纳友元关系，并把友元关系作为永久的和光荣的协约，写入神圣律令之中。 他宣布：“布亚那所整合的特征，没有人能将其再次分开。”使徒戴米安在他写给克 莱顿的青年信徒的信中，使用友元关系创建了相互连接的类，并以此显示了友元关 系的优越性能。这一典故可以在神圣历代记 《C++语言的高级白痴》[3]第 8 章第 5­6  节中找到。 友元关系的价值在于 C++类成员之影响力的传播， 友元关系可促进 C++王朝的繁荣， 可为那些涉足其间的人带来财富。友元关系要求大家互敬互爱，为那些有访问需求 的类适当开放受保护成员的访问许可。 对于依友元关系建立的家庭来说，我们的主规定丈夫必须依顺于妻子，他必须保护 她，爱她，这种爱可以为双方带来快乐。主还规定丈夫必须在任何时间、任何地点、 任何事情上对妻子绝对服从。这样，双方的忠诚会为双方带来弥足珍贵的自由，以 此维系的家庭将成为我们社会的坚实基础。 我们现在朗读《带标注的 C++参考手册》（就是通常所说的 ARM）。 我现在请罗布到前面来朗读 ARM 的第 11 章第 4 节：  “友元关系，象其他访问许可一样，是由类授出的，而不是由友元类单方面攫取的。  “友元机制非常重要。它允许一个函数同时成为两个类的友元，这可以使类的设计者 用友元函数来替代那些不适合开放给普通用户的成员函数。换句话说，使用友元函 数可以增强接口的清晰度。这是因为，我们在两个类中提供相关的成员函数的做法 通常会使接口变得更为复杂，合适的做法往往是将接口声明为全局函数，而普通的 全局函数又无法访问类的私有和受保护的成员，这时，我们就需要用友元函数来创 建更为清晰的接口。”  由此看来，友元关系是一条可以为类带来快乐的神圣律令，是一种对程序员来说极 为重要的语法结构，是硬件与软件合为一体的象征。 作为计算机科学家，我们对大家能彻底履行友元关系中的职责和义务充满信心，对 指导和帮助大家学习语法和克服编程上的困难充满信心。 为了寻求公正，我们需要友元关系，否则，我们的行为就会招人憎恶，进而走向犯 罪。我现在请琳达继续朗读 ARM 第 11 章第 4 节：  “在两个类间建立友元关系的惟一方法是将第二个类整个声明为第一个类的友元。  “友元关系不可继承，不可传递。  “禁止继承友元关系的规定有时并不受欢迎，因为它偶尔会妨碍用户实现某种功能。 但是，设想一下，如果允许继承友元关系，那么，用户就有办法单方面攫取访问许 可。  “声明受保护的成员才是允许用户单方面攫取访问许可的机制 （对那些显式定义的接 口来说）。”  我们知道友元关系将把所有访问权限提供给友元类。为了公平起见，两个类应当相 互声明对方为友元。 现在，卡娜和达瑞，听了斯特思塔普关于友元关系的教诲之后，你们认可这种关系 吗？你们愿意建立这种神圣的关系吗？ 达瑞和卡娜：我们愿意。 是谁把这位女士交给这位男士的？ 卡娜