Polymorphism

l          Polymorphism

 

1.  class A{

2.    int x = 1;

3.    int y = 2;

4.    int f() { return x; }

5.    static char sf() { return ‘A’; }

6.  }

7.  class B extend A{

8.    int x = 3;  // shadowing

9.    int z = 4;

10.   int f() { return x; } // overriding

11.   static char sf() { return ‘B’;} //shadowing

12.   int g(){ int x = 1;  return (x+this.x); }

13. }

14. class Z extend A{ }

15. public class SCJP {

16.   pubilc static void main(String[] args){

17.     A a = new B();

18.     B b = new B();

19.     B bb = new Z();               //error

20.     System.out.println(a.f());     // 3

21.     System.out.println(a.g());    // error

22.     System.out.println(a.z);      // error

23.     System.out.println(a.x);      // 1

24.     System.out.println(a.y);      // 2

25.     System.out.println(a.sf());    // ‘A’

26.     System.out.println(b.x);      // 3

27.     System.out.println(b.sf());    // ‘B’
28. } }

Assignment	●  意思是superclass的reference var可以refer to所有subclass的instance。(指的是reference variable不是object，只要是subtype就可以) ●  如第17行。第19行會產生compile error，因class Z不是class B的subclass
Method Invocation	●  virtual mehhod invocation，建立在method overriding及polymorphic assignment上。 ●  如第20行。第17行宣告一個class A的reference var “a”並refer to subclass B。
Compile-time and Run-time Type	●  compile-time type是reference var的type，run-time type是object的type。 ●  第17行，compile-time時a是A type，runt-time時a是B type。 ●  第21行compile err因為此時a為A type，需轉型為 ((B)a).g() 才可以被執行。
Overriding and Shadowing	●  instance method只能被overridden，而class method及field只能被shadowed。 ●  overriding instance method才有所謂的compile time type及run time type。 ●  shadowing class method / field 永遠只有一種type，就是reference var的type。 ●  第23行x和第25行sf()是shadowing。要看reference var的type (A)。 ●  第27行最好改為標準呼叫方式B.sf()。

来自：【 Garfield 的 SCJP 閱讀筆記 】