Polymorphism


  • The polymorphic method call allows one type to express its distinction from another, similar type, as long as they’re both derived from the same base type.

Upcasting revisited

  • Taking an object reference and treating it as a reference to its base type is called upcasting.

Forgetting the object type

  • The compiler won’t give you any error messages if you forget to overload one of your methods and the whole process of working with types becomes unmanageable.
  • Wouldn’t it be nice if you could forget that there are derived classes, and write your code to talk only to the base class?

The twist

Method-call binding

  • Connecting a method call to a method body is called binding.
  • When binding is performed before the program is run (by the compiler and linker, if there is one), it’s called early binding.
  • late binding means that the binding occurs at run time, based on the type of object.
  • There must be some mechanism to determine the type of the object at run time and to call the appropriate method.
  • All method binding in Java uses late binding unless the method is static or final(private methods are implicitly final).
  • Declaring a method final effectively “turns off” dynamic binding, or rather it tells the compiler that dynamic binding isn’t necessary.

Producing the right behavior

  • Once you know that all method binding in Java happens polymorphically via late binding, you can write your code to talk to the base class and know that all the derived-class cases will work correctly using the same code.

Extensibility

  • You can add new functionality by inheriting new data types from the common base class.
  • Changes in your code don’t cause damage to parts of the program that should not be affected.
  • Polymorphism is an important technique for the programmer to “separate the things that change from the things that stay the same.”

Pitfall: “overriding” private methods

  • A private method is automatically final, and is also hidden from the derived class.
  • Only non-private methods may be overridden.
  • You should watch out for the appearance of overriding private methods, which generates no compiler warnings.
  • You should use a different name from a private base-class method in your derived class.

Pitfall: fields and static methods

  • Only ordinary method calls can be polymorphic.
  • Any field accesses are resolved by the compiler, and are thus not polymorphic.
  • If a method is static, it doesn’t behave polymorphically.

Constructors and polymorphism

  • Constructors are not polymorphic (they’re actually static methods, but the static declaration is implicit).

Order of constructor calls

  • A constructor for the base class is always called during the construction process for a derived class.

  • The constructor has a special job: to see that the object is built properly.

  • Only the base-class constructor has the proper knowledge and access to initialize its own elements.

  • It’s essential that all constructors get called; otherwise the entire object wouldn’t be constructed.

  • It will silently call the default constructor if you don’t explicitly call a base-class constructor in the derived-class constructor body.

  • The order of constructor calls:

    1.The base-class constructor is called.

    2.Member initializers are called.

    3.The body of the derived-class constructor is called.

  • You must be able to assume that all the members of the base class are valid when you’re in the derived class.

  • Inside the constructor, however, you must be able to assume that all members that you use have been built.

  • The only way to guarantee this is for the base-class constructor to be called first. Then when you’re in the derived-class constructor, all the members you can access in the base class have been initialized.

  • Whenever possible, you should initialize all member objects at their point of definition in the class.

Inheritance and cleanup

  • Most of the time you won’t have to worry about cleaning up.
  • The order of disposal should be the reverse of the order of initialization, in case one subobject is dependent on another.
  • This technique(reference counting) requires extra diligence to use, but if you are sharing objects that require cleanup you don’t have much choice.

Behavior of polymorphic methods inside constructors

  • If you call a dynamically-bound method inside a constructor, the overridden definition for that method is used.
  • The effect of this call can be rather unexpected because the overridden method will be called before the object is fully constructed.
  • If the constructor is only one step in building an object of a class that’s been derived from that constructor’s class, the derived parts have not yet been initialized at the time that the current constructor is being called.
  • In actual initialization, the storage allocated for the object is initialized to binary zero before anything else happens.
  • Do as little as possible to set the object into a good state, and if you can possibly avoid it, don’t call any other methods in this class.
  • The only safe methods to call inside a constructor are those that are final in the base class.

Covariant return types

  • An overridden method in a derived class can return a type derived from the type returned by the base-class method.

Designing with inheritance

  • It’s possible to dynamically choose a type (and thus behavior) when using composition, whereas inheritance requires an exact type to be known at compile time.
  • You can’t decide to inherit differently at run time; that must be completely determined at compile time.
  • Use inheritance to express differences in behavior, and fields to express variations in state.

Substitution vs. extension

  • pure substitution: derived class objects can be perfectly substituted for the base class.
  • The base class can receive any message you can send to the derived class because the two have exactly the same interface.
  • is-like-a” relationship: the derived class is like the base class—it has the same fundamental interface—but it

    has other features that require additional methods to implement.
  • The extended part of the interface in the derived class is not available from the base class, so once you upcast, you can’t call the new methods.

Downcasting and runtime type information

  • With a downcast, you don’t really know that a shape (for example) is actually a circle.
  • In Java, every cast is checked!
  • This act of checking types at run time is called runtime type identification (RTTI).
  • You can try to downcast. If it’s the correct type, it will be successful. Otherwise, you’ll get a ClassCastException.

Thinking in Java——笔记(8)的更多相关文章

  1. Effective Java笔记一 创建和销毁对象

    Effective Java笔记一 创建和销毁对象 第1条 考虑用静态工厂方法代替构造器 第2条 遇到多个构造器参数时要考虑用构建器 第3条 用私有构造器或者枚举类型强化Singleton属性 第4条 ...

  2. java笔记00-目录

    --2013年7月26日17:49:59 学习java已久,趁最近有空,写一个总结: java笔记01-反射:

  3. java笔记整理

    Java 笔记整理 包含内容     Unix Java 基础, 数据库(Oracle jdbc Hibernate pl/sql), web, JSP, Struts, Ajax Spring, E ...

  4. 转 Java笔记:Java内存模型

    Java笔记:Java内存模型 2014.04.09 | Comments 1. 基本概念 <深入理解Java内存模型>详细讲解了java的内存模型,这里对其中的一些基本概念做个简单的笔记 ...

  5. servlet(6) - servlet总结 - 小易Java笔记

    垂阅前必看: 这都是我总结的我觉得是学习servlet应该掌握的,我在学习期间也做了一个博客项目来让所学的知识得以巩固.下面就是博客项目链接.前面的servlet相关的笔记总汇,还有就是我把觉得在学习 ...

  6. Java笔记 —— 继承

    Java笔记 -- 继承 h2{ color: #4ABCDE; } a{ text-decoration: none!important; } a:hover{ color: red !import ...

  7. Java笔记 —— 方法重载和方法重写

    Java笔记 -- 方法重载和方法重写 h2{ color: #4ABCDE; } a{ text-decoration: none !important; } a:hover{ color: red ...

  8. Java笔记 —— 初始化

    Java笔记 -- 初始化 h2{ color: #4ABCDE; } a{ text-decoration: none !important; } a:hover{ color: red !impo ...

  9. Java笔记 —— this 关键字

    Java笔记 -- this 关键字 h2{ color: #4ABCDE; } a{ color: blue; text-decoration: none; } a:hover{ color: re ...

  10. Java 笔记 —— java 和 javac

    Java 笔记 -- java 和 javac h2{ color: #4ABCDE; } a{ text-decoration: none !important; } a:hover{ color: ...

随机推荐

  1. angularjs指令(一)

    前面通过视频学习了解了指令的概念,这里学习一下指令中的作用域的相关内容. 通过独立作用域的不同绑定,可以实现更具适应性的自定义标签.借由不同的绑定规则绑定属性,从而定义出符合更多应用场景的标签. 本篇 ...

  2. datanode启动不了

    报如下异常:*org.apache.hadoop.ipc.RemoteException(org.apache.hadoop.hdfs.server.protocol.DisallowedDatano ...

  3. mybatis 查询缓存问题

    <settings> <setting name="localCacheScope" value="STATEMENT" /> < ...

  4. 洛谷 P1015 回文数 Label:续命模拟QAQ

    题目描述 若一个数(首位不为零)从左向右读与从右向左读都一样,我们就将其称之为回文数. 例如:给定一个10进制数56,将56加65(即把56从右向左读),得到121是一个回文数. 又如:对于10进制数 ...

  5. 僵尸进程的产生和避免,如何kill杀掉linux系统中的僵尸defunct进程

    在 Unix系统管理中,当用ps命令观察进程的执行状态时,经常看到某些进程的状态栏为defunct,这就是所谓的"僵尸"进程."僵尸"进程是一个早已 死亡的进程 ...

  6. nfs的使用

    1.安装命令:sudo apt-get install nfs-kernel-server ;   sudo apt-get install nfs-common; 2.执行命令:mkdir /(目录 ...

  7. RabbitMQ三种Exchange

    Direct Exchange – 处理路由键.需要将一个队列绑定到交换机上,要求该消息与一个特定的路由键完全匹配.这是一个完整的匹配.如果一个队列绑定到该交换机上要求路由键 “dog”,则只有被标记 ...

  8. DropDownList 控件不能触发SelectedIndexChanged 事件

    相信DropDownList 控件不能触发SelectedIndexChanged 事件已经不是什么新鲜事情了,原因也无外乎以下几种: 1.DropDownList 控件的属性 AutoPostBac ...

  9. GraphicsMagick+im4java 图片处理

    最近团队内部分享GraphicsMagick+im4java 图片处理 就把如何安装,运行都统一整理一下. 详细如下: 在windows上安装ImageMagick: download 地址:http ...

  10. android中的ActionBar和ToolBar

    一.ToolBar 1.概述 Google在2015的IO大会上发布了系列的Material Design风格的控件.其中ToolBar是替代ActionBar的控件.由于ActionBar在各个安卓 ...