java - パラメータ化された型をjavacがチェックする方法

Question

どのようにjavacがパラメータ化された型をチェックしますか? JVM 仕様http://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.html#jvms-4.10.1に関する情報を見つけましたが、ジェネリック型に関する情報は実行時に利用できません。または、アルゴリズム JVM に似たアルゴリズム javac をチェックしますか? この質問で私を助けてください！

Answer 1

Javac は、宣言された変数とパラメーターの型が、指定されたジェネリック型に準拠していることを確認します。Javac は実際のランタイム クラスをチェックできません (明らかな理由により)。