[

1. 结语

1.1. 想想哪些类是真正需要的

大多数程序员编写应用程序而不开发框架.即便是开发框架的那些人,多数时候(或大多数时候)也是在编写应用程序.

编写应用程序时,我们通常不用设计类的层次结构。我们至多会编写子类、继承抽象基类或框架提供的其他类. 作为应用程序开发者, 我们极少需要编写作为其他类的超类的类.我们自己编写的类几乎都是末端类(即继承树的叶子).

如果作为应用程序开发者,你发现自己在构建多层类层次结构,可能是发生了下述事件中的一个或多个.

你在重新发明轮子。去找框架或库,它们提供的组件可以在应用程序中重用.
你使用的框架设计不良。去寻找替代品.
你在过度设计.记住要遵守 KISS 原则.
你厌烦了编写应用程序,决定新造一个框架.恭喜,祝你好运!

这些事情你可能都会遇到:

你厌倦了,决定重新发明轮子,自己构建设计过度和不良的框架,因此不得不编写一个又一个类去解决鸡毛蒜皮的小事. 希望你能乐在其中, 至少得到应有的回报.

1.2. python的封装--私有属性的安全性和保障性

Perl 不会强制你保护隐私。你应该待在客厅外,因为你没收到邀请,而不是因为里面有把枪。 ——Larry Wall Perl 之父

Python 和 Perl 在很多方面的做法是截然相反的,但是Larry和Guido似乎都同意要保护对象的隐私.

我发现很多人都对Java提供的隐私保障推崇备至.可事实是,Java 的 private 和 protected 修饰符往往只是为了防止意外(即一种安全措施).只有使用安全管理器部署应用时才能保障绝对安全,防止恶意访问; 但是,实际上很少有人这么做,即便在企业中也少见.

1.3. 把协议当作非正式的接口

协议不是 Python 发明的。Smalltalk 团队,也就是"面向对象"的发明者,使用"协议"这个词表示现在我们称之为接口的特性.某些 Smalltalk 编程环境允许程序员把一组方法标记为协议,但这只不过是一种文档, 用于辅助导航,语言不对其施加特定措施.因此,向熟悉正式(而且编译器会施加措施)接口的人解释"协议"时, 我会简单地说它是"非正式的接口".

动态类型语言中的既定协议会自然进化.所谓动态类型是指在运行时检查类型,因为方法签名和变量没有静态类型信息. Ruby是一门重要的面向对象动态类型语言,它也使用协议.

在 Python 文档中,如果看到"文件类对象"这样的表述,通常说的就是协议.这是一种简短的说法,意思是:

"行为基本与文件一致,实现了部分文件接口,满足上下文相关需求的东西."

你可能觉得只实现协议的一部分不够严谨,但是这样做的优点是简单.

不要为了满足过度设计的接口契约和让编译器开心,而去实现不需要的方法,我们要遵守KISS原则.

1.4. 类型提示

2014年,Python世界最大的新闻应该是 Guido van Rossum 同意实现可选的静态类型检查,这与检查程序 Mypy(http://www.mypy-lang.org)的做法类似,即使用函数注解实现。这一消息出自 8 月 15 日发表在 Python-ideas邮件列表中的一个话题,题为 Optional static typing —the crossroads.

一个月后,“PEP 484—Type Hints”草案发布了,发起人是 Guido.

这个功能的目的是让程序员在函数定义中使用注解声明参数和返回值的类型,但这是可选的.

关键在于“可选”二字.仅当你想得到注解的好处和限制时才需要添加注解,而且可以在一些函数中添加,在另一些函数中不添加.

从表面上看,这与 Microsoft 对 TypeScript采取的方式类似,不过 TypeScript 做得更进一步:

TypeScript 添加了新的语言结构(如模块、类、显式接口, 等等),允许声明变量类型,而且最终编译成常规的JavaScript

目前来看,Python的可选静态类型没这么大的雄心.但似乎cython团队打算好好利用这一语言特性.

为了理解这个提案的动机,不能忽略 Guido 在 2014 年 8 月 15 日发送的那封重要邮件中的这段话: