私の質問は短いです。メソッドの事前条件と事後条件はコンパイラによって適用されますか?
2 に答える
3
いいえ。Java は、(たとえば) Ada のように、契約による設計の事前/事後条件を明示的にサポートしていません。Java ドキュメントを参照してください
于 2014-02-12T13:20:18.917 に答える
1
Contracts for Javaを見てください。これは、アノテーションを介して事前条件と事後条件、および不変条件を適用するのに役立ちます。しかし、コンパイル時のチェックはなく、私の知る限りランタイムのみです。
于 2014-02-12T13:24:44.037 に答える