Java標準ライブラリMath.minメソッドの実装についてメモ。
浮動小数点数型(float, double)に対するminでは、NaN(Not a Number)および負のゼロ(-0.0)を考慮する必要がある。*1
public static double min(double a, double b) { if (a != a) return a; // a is NaN if ((a == 0.0d) && (b == 0.0d) && (Double.doubleToRawLongBits(b) == negativeZeroDoubleBits)) { // Raw conversion ok since NaN can't map to -0.0. return b; } return (a <= b) ? a : b; } // Use raw bit-wise conversions on guaranteed non-NaN arguments. private static final long negativeZeroDoubleBits = Double.doubleToRawLongBits(-0.0d);
2つのdouble値のうち小さいほうを返します。 つまり、結果は負の無限大に近いほうの値となります。 引数の値が同じ場合は同じ値を返します。 どちらかの値がNaNの場合はNaNを返します。 数値比較演算子とは異なり、このメソッドは負のゼロが厳密には正のゼロよりも小さいと見なします。 一方の引数が正のゼロでもう一方が負のゼロの場合は、負のゼロを返します。
https://docs.oracle.com/javase/jp/10/docs/api/java/lang/Math.html#min(double,double)
一方、整数型(int, long)に対するminは比較演算<=を用いてシンプルに実装される。*2
public static int min(int a, int b) { return (a <= b) ? a : b; }
関連URL
