キャスト追加

README.md

@@ -6,3 +6,5 @@
 これでわかることは、変数の型に指定されるクラス名が完全一致しているなら変わっても問題が出ないが、派生元のクラス名（あるいはインタフェース名）が
 使われているとだめ、ということ。
 
+なお、src/Main.javaのbase_var_test()において、boolean b = d.isOk()をboolean b = ((Derived)d).isOk()とするとエラーにならない。
+変数の型にはインタフェースやクラスといった区別はなさそうに見える。

src/Main.java

@@ -28,6 +28,17 @@ public static void main(String[] args)
 
         System.out.println("==============================");
 
+        System.out.println("base var cast test");
+        try
+        {
+            base_var_cast_test();
+        } catch (Error e)
+        {
+            System.out.println("error " + e);
+        }
+
+        System.out.println("==============================");
+
         System.out.println("var free test");
         try
         {
@@ -54,9 +65,17 @@ static void base_var_test()
         System.out.println("bool="+b);
     }
 
+    static void base_var_cast_test()
+    {
+        Base d = new Derived();
+	boolean b = ((Derived)d).isOk();
+        System.out.println("bool="+b);
+    }
+
     static void var_free_test()
     {
-	boolean b = new Derived().isOk();
+        Object d = new Derived();
+	boolean b = ((Derived)d).isOk();
         System.out.println("bool="+b);
     }
 }