《 Java 编程思想》CH08 多态（《本草纲目》）

《 Java 编程思想》CH08 多态（《本草纲目》）

在面向对象的程序设计语言中，多态是继数据抽象和继承之后的第三种基本特征。

多态通过分离做什么和怎么做，从另一个角度将接口和实现分离开来。

“封装”通过合并特征和行为来创建新的数据类型。“实现隐藏”则通过将细节“私有化”把接口和实现分离开来，而多态的作用则是消除类型之间的耦合关系。

再论向上转型 & 转机

对象既可以作为它自己本身的类型使用，也可以作为它的基类使用，而这种把某个对象的引用视为其基类的引用的做法被称为“向上转型”

将一个方法调用同一个方法主体关联起来被称为绑定。

若在程序执行前进行绑定（如果有的话，由编译器和链接器实现），叫做前期绑定。

若在运行时根据对象的类型进行绑定，则叫做后期绑定，也叫做动态绑定或运行时绑定。

Java 中除了 static 方法和 final 方法（private 方法属于 final 方法）外，其他所有方法都是后期绑定的。

Java 用动态绑定实现了多态后，我们可以只编写与基类相关的代码，而这些代码可以对所有该基类的导出类正确运行。

多态的例子可以参考练习2。

在一个设计良好的 OOP 程序中，大多数或所有方法都只与基类接口通信。这样的程序是可扩展的，因为可以从通用的基类继承出新的数据类型，从而新添加一些功能。

域没有多态。

如果一个方法是静态的，那么它的行为就不具有多态性。静态方法是与类，而不是与单个对象相关联的。

由于 final 方法是无法覆盖的，所以 private 也是无法覆盖的，因此没办法进行动态绑定。即只有非 private 方法可以覆盖，但是“覆盖”private 方法编译器不会报错，但运行结果往往与预期不符：

package com.company.ch08;

public class PrivateOverride {

private void func() {

System.out.println("private func()");

}

public static void main(String[] args) {

PrivateOverride privateOverride = new Derived();

privateOverride.func();

}

}

class Derived extends PrivateOverride {

public void func() { // 这里其实没有覆盖。

System.out.println("Derived func()");

}

}

// private func()

构造器和多态

构造器不具有多态性，它们实际上是 static 方法，只不过该 static 是隐式声明的。

构造器的调用顺序

基类的构造器总是在导出类的构造过程中调用，而且按照继承层次逐渐向上链接，以使每个基类的构造器都能得到调用。

在导出类的构造器主体中，如果没有明确指定调用某个基类构造器，它会默默地调用默认构造器。如果不存在默认构造器，编译器就会出错（如果某个类没有任何构造器，则编译器会给他添加一个默认构造器）

构造器的调用顺序：

调用基类构造器。

按照声明顺序调用成员的初始化方法。

调用导出类的构造器的主体。

继承与清理

Java 中通常不需要考虑清理的问题，垃圾回收机制会解决大部分问题，但是如果真的需要进行清理操作时，我们需要手动调用某个特定的函数进行清理操作。因为继承的原因，我们在覆盖基类的清理函数时，需要调用基类版本的清理函数。通常在导出类清理函数的末尾。同时如果成员对象也有需要清理的话，也需要在清理函数中调用该成员的清理函数。调用的原则就是：清理的顺序应该与初始化的顺序相同。

如果某些成员对象存在于其他一个或多个对象共享的情况下，我们不能简单的调用其清理函数，我们可以使用“引用计数”来跟踪访问着共享对象的对象数量（就是C++中的shared_ptr）。

构造器内部的多态方法的行为：

如果在一个构造器的内部调用正在构造的对象的某个动态绑定方法，会发生什么？

package com.company.ch08;

class Glyph {

void draw() {

System.out.println("Glyph.draw()");

}

Glyph() {

System.out.println("Glyph() before draw()");

draw();

System.out.println("Glyph() after draw()");

}

}

class RoundGlyph extends Glyph {

private int radius = 1;

RoundGlyph(int r) {

radius = r;

System.out.println("RoundGlyph.RoundGlyph(), radius = " + radius);

}

@Override

void draw() {

System.out.println("RoundGlyph.draw(), radius = " + radius);

}

}

public class PolyConstructors {

public static void main(String[] args) {

new RoundGlyph(5);

}

}

// Glyph() before draw()

// RoundGlyph.draw(), radius = 0

// Glyph() after draw()

// RoundGlyph.RoundGlyph(), radius = 5

从上面的输出可以看出，在基类中调用动态方法，的确会调用到对应导出类的方法，但是导出类的域却未完成初始化。

初始化实例的过程：

在其他任何事物发生之前，将分配给对象的存储空间初始化成二进制的零

调用基类构造器

按声明顺序调用成员的初始化方法

调用导出类的构造器主题。

在构造器内唯一能够安全调用的那些方法是基类中 final 方法（private 方法属于 final 方法）

协变返回类型

Java SE5 中添加了协变返回类型，它表示在导出类中的被覆盖方法可以返回基类方法的返回类型的某种导出类型。

package com.company.ch08;

class Grain {

@Override

public String toString() {

return "Grain";

}

}

class Wheat extends Grain {

@Override

public String toString() {

return "Wheat";

}

}

class Mill {

Grain process() {

return new Grain();

}

}

class WheatMill extends Mill {

@Override

Wheat process() { // 关键在这里，原本返回类型应该是 Grain，而这里使用了 Grain 的导出类 Wheat

return new Wheat();

}

}

public class CovariantReturn {

public static void main(String[] args) {

Mill mill = new Mill();

Grain grain = mill.process();

System.out.println("grain = " + grain);

mill = new WheatMill();

grain = mill.process();

System.out.println("grain = " + grain);

}

}

// grain = Grain

// grain = Wheat

用继承进行设计

我们应该首先选择“组合”，尤其是不能十分确定应该使用哪种方法时。组合不会强制我们的程序谁叫进入继承的层次结构。而且，组合更加灵活，他可以动态选择类型。

package com.company.ch08;

class Actor {

public void act() {}

}

class HappyActor extends Actor {

@Override

public void act() {

System.out.println("HappyActor");

}

}

class SadActor extends Actor {

@Override

public void act() {

System.out.println("SadActor");

}

}

class Stage {

private Actor actor = new HappyActor();

public void change() {

actor = new SadActor();

}

public void performPlay() {

actor.act();

}

}

public class Transmogrify {

public static void main(String[] args) {

Stage stage = new Stage();

stage.performPlay();

stage.change();

stage.performPlay();

}

}

// HappyActor

// SadActor

我们通过在运行时将引用与不同的对象重新绑定起来，可以让我们在运行期间获得动态灵活性（也称为“状态模式”）。

继承表示行为间的差异，字段表示状态上的变化。

纯继承与扩展

is-a 关系（纯继承）：只覆盖在基类中已有的方法，不对其进行扩展

导出类和基类有完全相同的接口。

只需要从导出类向上转型，永远不需要知道正在处理的对象的确切类型

is-like-a 关系：对基类进行了扩展

导出类接口中扩展部分不能被基类访问。

向下转型与运行时类型识别

在 Java 中，所有转型都会得到检查。即使我们只是进行一次普通的加括弧形式的类型转换，在进入运行期时仍然会对其进行检查，如果不是我们想要转换的类型，那么会返回一个 ClassCastException。

练习

练习1

package com.company.ch08;

public class Cycle {

void run() {

System.out.println("Cycle run");

}

}

class Unicycle extends Cycle {

@Override

void run() {

System.out.println("Unicycle run");

}

}

class Bicycle extends Cycle {

@Override

void run() {

System.out.println("Bicycle run");

}

}

class Tricycle extends Cycle {

@Override

void run() {

System.out.println("Tricycle run");

}

}

class Test {

static void ride(Cycle c) {

c.run();

}

public static void main(String[] args) {

Unicycle unicycle = new Unicycle();

Bicycle bicycle = new Bicycle();

Tricycle tricycle = new Tricycle();

unicycle.run();

bicycle.run();

tricycle.run();

}

}

// Unicycle run

// Bicycle run

// Tricycle run

练习2

package com.company.ch08;

public class Shape {

public void draw() {}

public void erase() {}

}

package com.company.ch08;

public class Circle extends Shape{

@Override

public void draw() {

System.out.println("Circle draw");

}

@Override

public void erase() {

System.out.println("Circle erase");

}

}

package com.company.ch08;

public class Square extends Shape{

@Override

public void draw() {

System.out.println("Square draw");

}

@Override

public void erase() {

System.out.println("Square erase");

}

}

package com.company.ch08;

public class Triangle extends Shape {

@Override

public void draw() {

System.out.println("Triangle draw");

}

@Override

public void erase() {

System.out.println("Triangle erase");

}

}

package com.company.ch08;

import java.util.Random;

// 工厂模式

public class RandomShapeGenerator {

private Random random = new Random(47);

public Shape next() {

switch (random.nextInt(3)) {

default:

case 0: return new Circle();

case 1: return new Square();

case 2: return new Triangle();

}

}

}

package com.company.ch08;

public class Shapes {

private static RandomShapeGenerator randomShapeGenerator = new RandomShapeGenerator();

public static void main(String[] args) {

Shape[] shapes = new Shape[9];

for (int i = 0;i < 9;i++) {

shapes[i] = randomShapeGenerator.next();

}

for (Shape shape: shapes) {

shape.draw();

}

}

}

// Triangle draw

// Triangle draw

// Square draw

// Triangle draw

// Square draw

// Triangle draw

// Square draw

// Triangle draw

// Circle draw

练习3

public class Shape {

public void draw() {}

public void erase() {}

public void info() {

System.out.println("Shape info");

}

}

即使导出类没有覆盖它，但是由于继承的原因，导出类任然会有该方法。

package com.company.ch08;

public class Circle extends Shape{

@Override

public void draw() {

System.out.println("Circle draw");

}

@Override

public void erase() {

System.out.println("Circle erase");

}

@Override

public void info() {

System.out.println("Circle info");

}

}

package com.company.ch08;

public class Shapes {

private static RandomShapeGenerator randomShapeGenerator = new RandomShapeGenerator();

public static void main(String[] args) {

Shape[] shapes = new Shape[9];

for (int i = 0;i < 9;i++) {

shapes[i] = randomShapeGenerator.next();

}

for (Shape shape: shapes) {

shape.info();

}

}

}

// Shape info

// Shape info

// Circle info

// Circle info

// Shape info

// Shape info

// Shape info

// Shape info

// Circle info

如果只有一个导出类Circle覆盖了该方法，只有在正式类型为Circle的Shape调用info时，才会调用到覆盖后的方法，而其余的则是调用到基类的方法。

练习4

class Line extends Shape {

@Override

public void draw() {

System.out.println("Line draw");

}

@Override

public void erase() {

System.out.println("Line erase");

}

}

public class Shapes {

private static RandomShapeGenerator randomShapeGenerator = new RandomShapeGenerator();

public static void main(String[] args) {

Shape[] shapes = new Shape[9];

for (int i = 0;i < 9;i++) {

shapes[i] = randomShapeGenerator.next();

}

for (Shape shape: shapes) {

shape.draw();

}

shapes[0] = new Line();

shapes[0].draw();

}

}

//Shape info

//Shape info

//Circle info

//Circle info

//Shape info

//Shape info

//Shape info

//Shape info

//Circle info

练习5

package com.company.ch08;

public class Cycle {

void run() {

System.out.println("Cycle run");

}

int wheels() {

return 0;

}

}

class Unicycle extends Cycle {

@Override

void run() {

System.out.println("Unicycle run");

}

@Override

int wheels() {

return 1;

}

}

class Bicycle extends Cycle {

@Override

void run() {

System.out.println("Bicycle run");

}

@Override

int wheels() {

return 2;

}

}

class Tricycle extends Cycle {

@Override

void run() {

System.out.println("Tricycle run");

}

@Override

int wheels() {

return 3;

}

}

class Test {

static void ride(Cycle c) {

c.run();

}

public static void main(String[] args) {

Unicycle unicycle = new Unicycle();

Bicycle bicycle = new Bicycle();

Tricycle tricycle = new Tricycle();

unicycle.run();

bicycle.run();

tricycle.run();

Cycle[] cycles = new Cycle[]{unicycle, bicycle, tricycle};

for (Cycle cycle: cycles) {

System.out.println("cycle.wheels() = " + cycle.wheels());

}

}

}

// Unicycle run

// Bicycle run

// Tricycle run

// cycle.wheels() = 1

// cycle.wheels() = 2

// cycle.wheels() = 3

练习6

package com.company.ch08;

enum Note {

MIDDLE_C, C_SHARP, B_FLAT;

}

class Instrument {

void play(Note n) {

System.out.println("Instrument.play() n = " + n);

}

@Override

public String toString() {

return "Instrument";

}

void adjust() {

System.out.println("Adusting Instrument");

}

}

class Wind extends Instrument {

@Override

void play(Note n) {

System.out.println("Wind.play() n = " + n);

}

}

class Percussion extends Instrument {

@Override

void play(Note n) {

System.out.println("Percussion.play() n = " + n);

}

@Override

public String toString() {

return "Percussion";

}

@Override

void adjust() {

System.out.println("Adjusting Percussion");

}

}

class Stringed extends Instrument {

@Override

void play(Note n) {

System.out.println("Stringed.play() n = " + n);

}

@Override

public String toString() {

return "Stringed";

}

@Override

void adjust() {

System.out.println("Adjusting Stringed");

}

}

class Brass extends Wind {

@Override

void play(Note n) {

System.out.println("Brass.play() n = " + n);

}

@Override

void adjust() {

System.out.println("Adjusting Brass");

}

}

class Woodwind extends Wind {

@Override

void play(Note n) {

System.out.println("Woodwind.play() n = " + n);

}

@Override

public String toString() {

return "Woodwind";

}

}

public class Music3 {

public static void tune(Instrument i) {

i.play(Note.MIDDLE_C);

}

public static void tuneAll(Instrument[] instruments) {

for (Instrument instrument: instruments) {

tune(instrument);

}

}

public static void main(String[] args) {

Instrument[] instruments = {

new Wind(),

new Percussion(),

new Stringed(),

new Brass(),

new Woodwind(),

};

tuneAll(instruments);

for (Instrument instrument: instruments) {

System.out.println(instrument);

}

}

}

// Wind.play() n = MIDDLE_C

// Percussion.play() n = MIDDLE_C

// Stringed.play() n = MIDDLE_C

版权声明：本文内容由网络用户投稿，版权归原作者所有，本站不拥有其著作权，亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容，请联系我们jiasou666@gmail.com 处理，核实后本网站将在24小时内删除侵权内容。