回答編集履歴

  List<A>の型変数を宣言した時にこのリストにはリスコフの置換原則からA,B,Cのインスタンスを格納できます。

 

  このリストをfor文で全件操作し、メソッドを呼ぶとA,B,Cのインスタンスは自分が呼び出すべきメソッドを呼びます。これをポリモーフィズムと言います。