アノテーションによるアサーション（その１２ オーバーライド時の整合性編）

概要

　バージョン 0.0.13 にて、メソッドのオーバーライドに制限を追加しました。この変更により、メソッドをオーバーライドする際に、オーバーライドする側がされる側と同様の制約アノテーションを持たない場合にはエラーになるようになりました。これはリスコフの置換原則(Liskov substitution principle)を意識したものです。継承を単なるソースコードの再利用と位置づけた場合にはこのような制約は足枷になるかもしれませんが、継承は is-a 関係になるべきだという意図を明確に打ち出すために、あえてこのような制約を強制するようにしました。*1

例

バージョン0.0.12以前は、以下の例はエラーになりませんでしたが、0.0.13からはエラーとなりウィービングが行われません。

interface Alpha {
	void set(@Max(10) int value);
}

interface Beta extends Alpha {
	// value に @Max の制約がかかっていないためにウィービング失敗
	void set(int value);
}

• • -
• アノテーションによるアサーション（その１）
• アノテーションによるアサーション（その２ mavenプラグイン編）
• アノテーションによるアサーション（その３ java agent 編）
• アノテーションによるアサーション（その４ eclpse 編）
• アノテーションによるアサーション（その５ 訂正編）
• アノテーションによるアサーション（その６ @Max, @Min 編）
• アノテーションによるアサーション（その７ @NotEmpty 編）
• アノテーションによるアサーション（その８ java5 編）
• アノテーションによるアサーション（その９ インラインか、メソッド呼び出しか、それが問題だ編）
• アノテーションによるアサーション（その１０ @Max, @Min 編）
• アノテーションによるアサーション（その１１ @Max, @Min 編）
• アノテーションによるアサーション（その１２ オーバーライド時の整合性編）

*1:この制約が明らかに問題になるケースがみつかったら excludes のようなオプションを追加するかもしれません。