鋳造 - （ベース）o-実際に何をしていますか？

Question

class Rectangle {} 

class ColoredRectangle extends Rectangle {} 

class Base { 
    void foo(Rectangle x) { 
     System.out.println("Base: foo(Rectangle)"); 
    } 
} 

class Sub extends Base { 
    @Override 
    void foo(Rectangle x) { 
     System.out.println("Sub: foo(ColoredRectangle)"); 
    } 
} 

public class WhatHappensHere { 

    public static void main(String[] args) { 
     Sub o = new Sub(); 
     Rectangle rc = new ColoredRectangle(); 

     ((Base) o).foo(rc); 
    } 
} 

(Base) oがoの静的タイプを変更すると、私は苦労しています。私はそれがそれを変えないとここで言われたことを覚えています、それはどうしますか？なぜ私はそれをする必要がありますか？どんな条件でどのような目的のために？

おかげ

Answer 1

表現oはタイプSubのままであることには、oの静的な型を変更していない - が、発現(Base) oはタイプBaseです。あなたが意味するかもしれないと思うのは、oが指し示すオブジェクトのタイプを変更しないということです。この場合、キャストする目的は全くありませんBaseです。 foo()コールの実行は変更されません。しかし、鋳造はが意味をなすさまざまなケースがあります。

Answer 2

何もしません。他の言語では、これはfooをBaseで定義していますが、この場合でも引き続きSub.foo