요즘은 자바를 안다고 하면 다형성을 알아야 합니다.-Java베이스-php.cn

요즘은 자바를 안다고 하면 다형성을 알아야 합니다.

관련 학습 추천: Basic Java Tutorial

오늘은 평소처럼 회사를 방문했습니다. 작업대에 앉아 컴퓨터를 켜세요. "오늘은 벽돌을 옮기는 날입니다." 고민 끝에 Idea를 " 능숙하게" 열어서 오늘의 요구사항을 살펴보고 코딩을 시작했습니다. 이 코드를 작성한 사람이 누구인지, 왜 내 코드에 나타나는데 아직 제출을 기다리고 있는지 기억나서 한 번도 작성한 적이 없어서 관심을 갖고 살펴보았습니다. "又是搬砖的一天"。想归想，还是"熟练"的打开了 Idea，看了下今天的需求，便敲起了代码。咦，这些代码是谁写的，怎么出现在我的代码里面，而且还是待提交状态，我记得我没写过呀，饶有兴趣的看了看：

这不是多态吗，谁在我电脑写的测试，不禁一阵奇怪。

"你看看这会输出什么结果？"

一阵声音从身后传来，因为在思考输出结果，也没在意声音的来源，继续看了看代码，便得出结论：

    polygon() before cal()
    square.cal(), border = 2
    polygon() after cal()
    square.square(), border = 4复制代码

로그인 후 복사

心里想：就这？起码也是名 Java 开发工程师好吗，虽然平时搬搬砖，一些基本功还是有的。不禁有点得意了~

"这就是你的答案吗？看来你也不咋的"

声音又突然响起，这次我不淡定了，尼玛！这答案我也是在心里想的好吗，谁能看得到啊，而且说得话让人那么想施展一套阿威十八式。"你是谁啊？"带着丝微疑惑和愤怒转过了头。怎么没人？容不得我疑惑半分，"小菜，醒醒，你怎么上班时间就睡着了"

上班时间，睡着了？我睁开了眼，看了下周围环境，原来是梦啊，舒了一口气。望眼就看到部门主管站在我面前，上班时间睡觉，你是身体不舒服还是咋样？昨天写了一堆 bug 没改，今天又提交什么乱七八糟的东西上去，我看你这个月的绩效是不想要的，而且基于你的表现，我也要开始为部门考虑考虑了。

"我不是，我没有，我也不知道怎么就睡着了，你听我解释啊！" 这句话还没来得及说出口，心里的花我要带你回家，在那深夜酒吧哪管它是真是假，请你尽情摇摆忘记钟意的他，你是最迷人噶，你知道吗，闹铃响了起来，我一下子立起身子，后背微湿，额顶微汗，看了下手机，周六，8点30分，原来那是梦啊！

奇怪，怎么会做那么奇怪的梦，也太吓人了。然后就想到了梦中的那部分代码，难道我的结果是错的吗？凭着记忆，在电脑上重新敲了出来，运行结果如下：

/*
    polygon() before cal()
    square.cal(), border = 0
    polygon() after cal()
    square.square(), border = 4
*/复制代码

로그인 후 복사

square.cal(), border的结果居然是 0，而不是2。难道我现在连多态都不会了吗？电脑手机前的你，不知道是否得出了正确答案了呢！不管有没有，接下来就跟小菜一起来复习一下多态吧！

有些小伙伴疑惑的点可能不止square.cal(), border的结果是 0，也有为什么不是 square.square(), border = 4 先输出的疑惑。那么我们就带着疑惑，整起！

多态

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

多态不但能够改善代码的组织结构和可读性，还能够创建可扩展的程序。多态的作用就是消除类型之间的耦合关系。

1. 向上转型

根据里氏代换原则：任何基类可以出现的地方，子类一定可以出现。

对象既可以作为它自己本身的类型使用，也可以作为它的基类型使用。而这种吧对某个对象的引用视为对其基类型的引用的做法被称作为 - 向上转型。因为父类在子类的上方，子类要引用父类，因此称为 向上转型。

public class Animal {    void eat() {
        System.out.println("Animal eat()");
    }
}class Monkey extends Animal {    void eat() {
        System.out.println(" Monkey eat()");
    }
}class test {    public static void start(Animal animal) {
        animal.eat();
    }    public static void main(String[] args) {
        Monkey monkey = new Monkey();
        start(monkey);
    }
}/* OUTPUT:
Monkey eat()
*/复制代码

로그인 후 복사

上述 test 类中的 start() 方法接收一个 Animal 的引用，自然也可以接收从 Animal 的导出类。调用eat() 方法的时候，自然而然的使用到 Monkey 中定义的eat()方法，而不需要做任何的类型转换。因为从 Monkey 向上转型到 Animal 只能减少接口，而不会比Animal

이거 다형성 아닌가요? 내 컴퓨터에서 테스트를 작성한 사람은 궁금해하지 않을 수 없었습니다.

"이것의 출력은 무엇입니까?"

뒤에서 소리가 들렸습니다. 출력을 생각하고 있었기 때문에 소리의 출처는 신경 쓰지 않았습니다. 코드를 보세요. 🎜

public static void start(Animal animal) {
    animal.eat();
}复制代码

로그인 후 복사

🎜혼자 생각하기: 그게 다인가요? 최소한 당신은 Java 개발 엔지니어입니다. 평소에는 많은 일을 하지만 여전히 기본적인 기술을 갖추고 있습니다. 조금 뿌듯하네요~🎜🎜"이게 당신의 대답인가요? 당신도 실력이 없는 것 같네요"🎜🎜갑자기 또 목소리가 들려 이번에는 더 이상 침착하지 못하네요 , 니마! 나도 이 대답을 마음속으로 생각해봤는데, 누가 볼 수 있지? 게다가 아웨이의 18가지 스타일을 선보이고 싶게 만드는데. "당신은 누구죠?"는 의심과 분노가 섞인 표정으로 고개를 돌렸습니다. 왜 아무도 없나요? 의심을 참을 수 없었다. "샤오카이야, 근무 시간에 왜 잠들었니?"🎜🎜근무 시간에 잠들었나요? 눈을 뜨고 주변을 살펴보니 꿈이었다는 사실이 밝혀져 안도의 한숨을 내쉬었습니다. 주위를 둘러보니 부서장님이 근무 시간에 자고 계셨어요. 몸이 안 좋나요? 어제 버그를 잔뜩 썼는데 아직 수정하지 않고 오늘은 어설픈 내용도 제출했습니다. 이번 달 실적이 제가 원하는 수준이 아닌 것 같고, 실적을 토대로 부서에 대해 고민을 시작해야 할 것 같습니다. . 🎜🎜"아니요, 안 했어요, 왜 잠들었는지 모르겠어요. 제 설명을 들어주세요!" 이 문장을 말하기 전에

나는 내 마음 속에 꽃을 집에 데려다주세요. 사실이든 아니든 늦은 밤 바에서 그 사람을 잊고 그네를 타게 해주세요. 당신이 가장 매력적입니다. 알죠?

알람 벨이 울렸고, 그리고 바로 일어섰는데, 등이 살짝 젖어 있었고, 휴대폰을 확인해보니 토요일 8시 30분이었습니다. 🎜🎜이상해, 어떻게 이렇게 이상한 꿈을 꿀 수 있지? 그러다가 꿈에서 코드의 일부를 생각했는데, 내 결과가 잘못된 걸까요? 메모리를 토대로 다시 컴퓨터로 입력해 보았는데 결과는 다음과 같습니다. 🎜

public class PrivateScope {    private void f() {
        System.out.println("PrivateScope f()");
    }    public static void main(String[] args) {
        PrivateScope p = new PrivateOverride();
        p.f();
    }
}class PrivateOverride extends PrivateScope {    private void f() {
        System.out.println("PrivateOverride f()");
    }
}/* OUTPUT
 PrivateScope f()
*/复制代码

로그인 후 복사

🎜square.cal(), border결과는 실제로 2가 아닌 0입니다. 나는 이제 다형성도 잘 못하는 걸까? 컴퓨터와 휴대폰 앞에서 정답을 맞췄는지 알 수 없어요! 가지고 있든 없든 샤오차이와 함께 다형성을 복습해보자! 🎜🎜몇몇 친구들은 square.cal(), border의 결과가 0인 것뿐만 아니라 square.square(), border = 4가 왜인지 헷갈릴 수도 있습니다. 첫 번째 의심을 출력하지 않습니다. 그럼 의심부터 시작해 볼까요! 🎜

다형성

🎜객체 지향 프로그래밍 언어에서 다형성은 데이터 추상화 및 상속 다음으로 세 번째 기본 기능입니다. 🎜🎜다형성은 코드의 구성과 가독성을 향상시킬 뿐만 아니라 확장 가능한 프로그램을 만들 수도 있습니다. 다형성의 기능은 유형 간의 결합 관계를 제거하는 것입니다. 🎜

1. 상향 변환

🎜 리히터 대체 원칙에 따르면 기본 클래스가 나타날 수 있는 모든 곳에 하위 클래스가 나타날 수 있습니다. 🎜🎜객체는 자체 유형 또는 기본 유형으로 사용할 수 있습니다. 객체에 대한 참조를 해당 기본 유형에 대한 참조로 처리하는 이 방법을 Upcast라고 합니다. 상위 클래스가 하위 클래스 위에 있으므로 하위 클래스가 상위 클래스를 참조해야 하므로 상향 변환이라고 합니다. 🎜

class Super {    public int field = 0;    public int getField() {        return field;
    }
}class Son extends Super {    public int field = 1;    public int getField() {        return field;
    }    public int getSuperField() {        return super.field;
    }
}class FieldTest {    public static void main(String[] args) {
        Super sup = new Son();
        System.out.println("sup.field:" + sup.field + " sup.getField():" + sup.getField());

        Son son = new Son();
        System.out.println("son.field:" + son.field + " son.getField:" + son.getField() + " son.getSupField:" + son.getSuperField());
    }
}/* OUTPUT
sup.field:0 sup.getField():1
son.field:1 son.getField:1 son.getSupField:0
*/复制代码

로그인 후 복사

🎜위 test 클래스의 start() 메서드는 Animal에 대한 참조를 받으며, 자연스럽게 동물</code 내보낸 코드 클래스>. <code>eat() 메서드를 호출하면 아무런 유형 변환 없이 자연스럽게 Monkey에 정의된 eat() 메서드가 사용됩니다. 원숭이에서 동물로 업캐스팅하면 인터페이스 수만 줄일 수 있지만 동물보다 인터페이스 수가 적지는 않습니다. 🎜🎜특별히 적절하지 않은 비유: 🎜아버지의 재산은 귀하에게 상속되며 귀하의 재산은 여전히 귀하의 것입니다. 일반적으로 귀하의 재산은 아버지의 재산보다 적지 않습니다. 🎜🎜

忘记对象类型

在 test.start()方法中，定义传入的是 Animal 的引用，但是却传入Monkey，这看起来似乎忘记了Monkey 的对象类型，那么为什么不直接把test类中的方法定义为void start(Monkey monkey)，这样看上去难道不会更直观吗。

直观也许是它的优点，但是就会带来其他问题：Animal不止只有一个Monkey的导出类，这个时候来了个pig ，那么是不是就要再定义个方法为void start(Monkey monkey)，重载用得挺溜嘛小伙子，但是未免太麻烦了。懒惰才是开发人员的天性。

因此这样就有了多态的产生

2.显露优势

方法调用中分为 静态绑定和动态绑定。何为绑定：将一个方法调用同一个方法主体关联起来被称作绑定。

静态绑定：又称为前期绑定。是在程序执行前进行把绑定。我们平时听到"静态"的时候，不难免想到static关键字，被static关键字修饰后的变量成为静态变量，这种变量就是在程序执行前初始化的。前期绑定是面向过程语言中默认的绑定方式，例如 C 语言只有一种方法调用，那就是前期绑定。

引出思考：

public static void start(Animal animal) {
    animal.eat();
}复制代码

로그인 후 복사

在start()方法中传入的是Animal 的对象引用，如果有多个Animal的导出类，那么执行eat()方法的时候如何知道调用哪个方法。如果通过前期绑定那么是无法实现的。因此就有了后期绑定。

动态绑定：又称为后期绑定。是在程序运行时根据对象类型进行绑定的，因此又可以称为运行时绑定。而 Java 就是根据它自己的后期绑定机制，以便在运行时能够判断对象的类型，从而调用正确的方法。

小结：

Java 中除了 static 和 final 修饰的方法之外，都是属于后期绑定

合理即正确

显然通过动态绑定来实现多态是合理的。这样子我们在开发接口的时候只需要传入基类的引用，从而这些代码对所有基类的导出类都可以正确的运行。

其中Monkey、Pig、Dog皆是Animal的导出类

Animal animal = new Monkey() 看上去不正确的赋值，但是上通过继承，Monkey就是一种Animal，如果我们调用animal.eat()方法，不了解多态的小伙伴常常会误以为调用的是Animal的eat()方法，但是最终却是调用了Monkey自己的eat()方法。

Animal作为基类，它的作用就是为导出类建立公用接口。所有从Animal继承出去的导出类都可以有自己独特的实现行为。

可扩展性

有了多态机制，我们可以根据自己的需求对系统添加任意多的新类型，而不需要重载void start(Animal animal)方法。

在一个设计良好的OOP程序中，大多数或者所有方法都会遵循start()方法的模型，只与基类接口同行，这样的程序就是具有可扩展性的，我们可以通过从通用的基类继承出新的数据类型，从而添加一些功能，那些操纵基类接口的方法就不需要任何改动就可以应用于新类。

失灵了？

我们先来复习一下权限修饰符：

Scope	현재 클래스는	패키지를 사용합니다	하위 클래스	다른 패키지
public	√	√	√	√
보호됨	√	√	√	×
default	√	√	×	×
private	√	×	×	×

public：所有类可见
protected：本类、本包和子类都可见
default：本类和本包可见
private：本类可见

私有方法带来的失灵：

复习完我们再来看一组代码：

public class PrivateScope {    private void f() {
        System.out.println("PrivateScope f()");
    }    public static void main(String[] args) {
        PrivateScope p = new PrivateOverride();
        p.f();
    }
}class PrivateOverride extends PrivateScope {    private void f() {
        System.out.println("PrivateOverride f()");
    }
}/* OUTPUT
 PrivateScope f()
*/复制代码

로그인 후 복사

是否感到有点奇怪，为什么这个时候调用的f()是基类中定义的，而不像上面所述的那样，通过动态绑定，从而调用导出类PrivateOverride中定义的f()。不知道心细的你是否发现，基类中f()方法的修饰是private。没错，这就是问题所在，PrivateOverride中定义的f()方法是一个全新的方法，因为private的缘故，对子类不可见，自然也不能被重载。

结论：

只有非 private 修饰的方法才可以被覆盖

我们通过 Idea 写代码的时候，重写的方法头上可以标注@Override注解，如果不是重写的方法，标注@Override注解就会报错：

这样也可以很好的提示我们非重写方法，而是全新的方法。

域带来的失灵：

当小伙伴看到这里，就会开始认为所有事物（除private修饰）都可以多态地发生。然而现实却不是这样子的，只有普通的方法调用才可以是多态的。这边是多态的误区所在。

让我们再看看下面这组代码：

class Super {    public int field = 0;    public int getField() {        return field;
    }
}class Son extends Super {    public int field = 1;    public int getField() {        return field;
    }    public int getSuperField() {        return super.field;
    }
}class FieldTest {    public static void main(String[] args) {
        Super sup = new Son();
        System.out.println("sup.field:" + sup.field + " sup.getField():" + sup.getField());

        Son son = new Son();
        System.out.println("son.field:" + son.field + " son.getField:" + son.getField() + " son.getSupField:" + son.getSuperField());
    }
}/* OUTPUT
sup.field:0 sup.getField():1
son.field:1 son.getField:1 son.getSupField:0
*/复制代码

로그인 후 복사

从上面代码中我们看到sup.field输出的值不是 Son 对象中所定义的，而是Super本身定义的。这与我们认识的多态有点冲突。

其实不然，当Super对象转型为Son引用时，任何域访问操作都将由编译器解析，因此不是多态的。在本例中，为Super.field和Son.field分配了不同的存储空间，而Son类是从Super类导出的，因此，Son实际上是包含两个称为field的域：它自己的+Super的。

虽然这种问题看上去很令人头痛，但是我们开发规范中，通常会将所有的域都设置为 private，这样就不能直接访问它们，只能通过调用方法来访问。

static 带来的失灵：

看到这里，小伙伴们应该对多态有个大致的了解，但是不要掉以轻心哦，还有一种情况也是会出现失灵的，那就是如果某个方法是静态的，那么它的行为就不具有多态性。

老规矩，我们看下这组代码：

class StaticSuper {    public static void staticTest() {
        System.out.println("StaticSuper staticTest()");
    }

}class StaticSon extends StaticSuper{    public static void staticTest() {
        System.out.println("StaticSon staticTest()");
    }

}class StaticTest {    public static void main(String[] args) {
        StaticSuper sup = new StaticSon();
        sup.staticTest();
    }
}/* OUTPUT
StaticSuper staticTest()
*/复制代码

로그인 후 복사

静态方法是与类相关联，而非与对象相关联

3.构造器与多态

首先我们需要明白的是构造器不具有多态性，因为构造器实际上是static方法，只不过该static的声明是隐式的。

我们先回到开头的那段神秘代码：

其中输出结果是：

/*
    polygon() before cal()
    square.cal(), border = 0
    polygon() after cal()
    square.square(), border = 4
*/复制代码

로그인 후 복사

我们可以看到先输出的是基类polygon中构造器的方法。

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

因为构造器有一项特殊的任务：检查对象是否能正确的被构造。导出类只能访问它自己的成员，不能访问基类的成员（基类成员通常是private类型）。只有基类的构造器才具有权限来对自己的元素进行初始化。因此，必须令所有构造器都得到调用，否则就不可能正确构造完整对象。

步骤如下：

调用基类构造器，这个步骤会不断的递归下去，首先是构造这种层次结构的根，然后是下一层导出类，...，直到最底层的导出类
按声明顺序调用成员的初始化方法
调用导出类构造其的主体

打个不是特别恰当的比方：你的出现是否先要有你父亲，你父亲的出现是否先要有你的爷爷，这就是逐渐向上链接的方式

构造器内部的多态行为

有没有想过如果在一个构造器的内调用正在构造的对象的某个动态绑定方法，那么会发生什么情况呢？动态绑定的调用是在运行时才决定的，因为对象无法知道它是属于方法所在的那个类还是那个类的导出类。如果要调用构造器内部的一个动态绑定方法，就要用到那个方法的被覆盖后的定义。然而因为被覆盖的方法在对象被完全构造之前就会被调用，这可能就会导致一些难于发现的隐藏错误。

问题引索：

一个动态绑定的方法调用会向外深入到继承层次结构内部，它可以调动导出类里的方法，如果我们是在构造器内部这样做，那么就可能会调用某个方法，而这个方法做操纵的成员可能还未进行初始化，这肯定就会招致灾难的。

敏感的小伙伴是不是想到了开头的那段代码：

输出结果是：

/*
    polygon() before cal()
    square.cal(), border = 0
    polygon() after cal()
    square.square(), border = 4
*/复制代码

로그인 후 복사

我们在进行square对象初始化的时候，会先进行polygon对象的初始化，在polygon构造器中有个cal()方法，这个时候就采用了动态绑定机制，调用了square的cal()，但这个时候border这个变量尚未进行初始化，int 类型的默认值为 0，因此就有了square.cal(), border = 0的输出。看到这里，小伙伴们是不是有种拨开云雾见青天的感觉！

这组代码初始化的实际过程为：