读TIJ -7 多形性

《Think in java·第 7 章多形性》

【面向对象的程序设计语言三种最主要的特征：数据抽象、继承和多态】

在这个层面是没有什么“思想”好谈的！当你依照人们熟悉的、习惯的思维方式，去思考“构造和组织”程序时，你可能会认为非常自然——你具有面向对象的思想；或者，有人X依照人们熟悉的、习惯的（人的而非机器的）思维方式。给你介绍、解释数据抽象、继承和多态时，你认为贴近生活和人的思考习惯、你认为他讲的概念理所当然、自然（当然也浅显易懂），这是X在“思想”指导下对面向对象进行解释。

面向对象的思想、面向对象范式须要从托马斯•库恩的范式(paradigm)论、面向对象设计的各种原则和软件project原则中获得。通常这是作者的事情。

本章中，作者希望讲述的是事实上是【p148 抽象类和Java接口在程序设计中的重要作用。在代码中要尽可能地使用(依赖)抽象类型，而非详细类。

】，可是他没有依据OCP、“针对接口编程”展开，而是以多态这个术语为依据地而四处游击。给我的感觉有些隔靴搔痒。

所以，对于第一段

【“多形性”（Polymorphism）从还有一个角度将接口从详细的实施细节中分离出来，亦即实现了“是什么”与“如何做”两个模块的分离。

利用多形性的概念，代码的组织以及可读性均能获得改善。

此外，还能创建“易于扩展”的程序。

不管在项目的创建过程中。还是在须要增加新特性的时候，它们都能够方便地“成长”。】

你最好把文中的多形性。替换成抽象类型(Java中的抽象类和Java接口)——假设不那么理论苛求的话。用父类型(较大的适用面的类型)也可。即：

抽象类型(父类型)从还有一个角度将接口从详细的实施细节中分离出来。亦即实现了“是什么”与“如何做”两个模块的分离。利用抽象类型，代码的组织以及可读性均能获得改善。

此外，还能创建“易于扩展”的程序。

不管在项目的创建过程中，还是在须要增加新特性的时候，它们都能够方便地“成长”。

多态。handle(A xx),对于客户程序，A是其各种各样子类的占位符。

父类——一般是抽象类型，把它的子类们归结成同一个概念。在程序中以一个名词来看待它的全部子类。从而屏蔽子类的详细类型。父类、抽象类型的作用正是通过多态而体现。

7.1 上溯造型

把一个子类引用赋值给父类的引用变量，称为向上造型(upcasting)。如

Sup s = new Sub(); // Sup为父类

doSth(Sup s) 调用语句 doSth(new Sub())

7.1.1 为什么要上溯造型 要我说的话，如此：“编程时，doSth(Sup s)等都是针对父类型Sup(如果Sup是动物) 编写的。那么你的Sub是猫、狗和马都被统一处理。

要统一处理，就要向上造型。”我不喜欢作者的写法，至少我看这一节时。我依照他的文字【这个程序看起来或许显得有些奇怪。

为什么全部人都应该有意忘记一个对象的类型呢？……】搞半天。就是用福尔摩斯的方式叙述一个极其自然的事情。并且还给出一个看似非常厉害事实上非常无聊的样例——还是反面样例。最后，才说【但假如仅仅写一个方法。将基础类作为自变量或參数使用。而不是使用那些特定的衍生类。岂不是会简单得多？也就是说。如果我们能不顾衍生类，仅仅让自己的代码与基础类打交道，那么省下的工作量将是难以预计的。

】。

7.2 深入理解

7.2.1 动态绑定

7.2.2 产生正确的行为 參考：什么是多态(polymorphism)

7.2.3 扩展性 还是上面的话。编程时，doSth(Sup s)等都是针对父类型Sup(如果Sup是动物) 编写的。那么你的Sub出现了新的动物，如羊、鸡……【可依据自己的须要向系统里增加随意多的新类型……这种程序具有“扩展性】

【如果我们在基础类里增加很多其它的方法，以及一系列新类。那么会出现什么情况呢？】类图、代码和【能够看到，在环绕 tune()方法的其它全部代码都发生变化的同一时候，tune()方法却丝毫不受它们的影响，依旧故我地正常工作。

这正是利用多形性希望达到的目标。

我们对代码进行改动后，不会对程序中不应受到影响的部分造成影响。此外，我们觉得多形性是一种至关重要的技术，它同意程序猿“将发生改变的东西同没有发生改变的东西区分开”。

】

，我全然不理解这一段想说什么。

public static void doSth(Sup s) {

	// ...

	s.m();

}

在上面的代码的条件下，doSth(Sup s)统一处理Sup的各种各样的子类，而doSth(Sup s)只涉及Sup的接口m()。如果Sup没有子类，它有接口m1()、m2()，你删除了m1()、m2()对doSth(Sup s)有影响吗？你加入Sup的接口m8()、m9()对doSth(Sup s)有影响吗？不考虑多形性也没有不论什么影响，这个“不受影响”与多态有一毛钱的关系？是不是要告诉我们一个真理：不会对程序中不会受到影响的部分造成影响。

谁告诉我，他的意图？

7.3 覆盖与过载

这个样例...

7.4 抽象类和方法

7.5 接口

翻译啊，3rd中【An interface can also contain fields, but these are implicitly static and final. 】，我不相信会出现导致中文4版的【接口也包括了基本数据类型的数据成员。但它们都默觉得 static 和 final】这样的结果的原文。

我不喜欢将其想象为一个“纯”抽象类”、构造器是特殊的方法这种话。

7.5.1 Java 的“多重继承”

7.5.2 通过继承扩展接口 子接口

7.5.3 常数分组 【接口是对常数值进行分组的一个好工具】。其实不是好主意。

7.5.4 初始化接口中的字段 用随机数来初始化。

7.6 内部类

我在介绍【9.3 事件驱动编程】特别是回调之后才介绍9.4嵌套类型。

匿名类是Java实现回调的基本方式，也是Java引入嵌套类型的主要原因，而如今有了λ表达式。所以先跳过本节。要好好思考一下这部分应该如何处理。

本章就这样。