契約による前提条件の設定

Question

このインタフェースに基づいてJavaで電卓を作成する必要があります。

public interface CalculatorIF { 
    int add(int x, int y); 
    int sub(int x, int y); 
    int mult(int x, int y); 
    //double div(int x, int y); 
    //int sqrt(int x); 
} 

しかし、すべての方法について、私は事前事後条件が必要です。 私は本当に前提条件のために助けが必要です。なぜなら、理にかなっていて、Javaによってまだ処理されていない単一のものを想像することはできないからです。

EDIT：除算とsqrtは私には分かりますが、add、sub、multのアイデアが必要です。

Answer 1

Integer.MAX_VALUEの値を2つ追加すると、結果はintに収まらず、切り捨てられます。一方、入力ドメインが制限されている場合、結果が切り捨てられず、代わりに期待値が保証されます。

たとえば、x <= Integer.MAX_VALUE/2とy <= Integer.MAX_VALUE/2場合、和x + yはInteger.MAX_VALUE以下となり、従って正の整数のための切り捨てがないであろう。同様の推論を負の値とInteger.MIN_VALUEに使用できます。減算の前提条件も同じ方法で行うことができます。

乗算の場合、いずれかのオペランド絶対値がsqrt (Integer.MAX_VALUE)より小さい場合、その積はintの範囲内になります。

オーバーフローとアンダーフローを検出するためには、より洗練された方法がありますが、クラス練習では、このような前提条件がうまくいくようです。