《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 深入理解
这正是利用多形性希望达到的目标。
我们对代码进行改动后,不会对程序中不应受到影响的部分造成影响。此外,我们觉得多形性是一种至关重要的技术,它同意程序猿“将发生改变的东西同没有发生改变的东西区分开”。
】
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 内部类
匿名类是Java实现回调的基本方式,也是Java引入嵌套类型的主要原因,而如今有了λ表达式。所以先跳过本节。要好好思考一下这部分应该如何处理。