JVMで0fと-0fの違い

zakki @k_matsuzaki

List.groupBy でデータが減るような…なんでぇ

zakki @k_matsuzaki

浮動小数点数比較の素敵な挙動のお陰な気がする

zakki @k_matsuzaki

scala> (0f) == (-0f) res0: Boolean = true scala> (-0f).hashCode res1: Int = -2147483648 scala> (0f).hashCode res2: Int = 0 うぇーい

zakki @k_matsuzaki

ScalaがどうこうというよりJVM一般で浮動小数点数のhashCodeとequalsの実装は注意深くやんないと危ないな

zakki @k_matsuzaki

あー、java.lang.Float.valueOf(x) でhashCode呼ぶ時はimplicitに変換されるけど==比較ではプリミティブ型のままだからか

zakki @k_matsuzaki

java.lang.Floatの挙動は -0f!=0f で一貫してるしscala-library.jarの問題とも言いがたいけど合わせると気に食わないこの挙動はなに…

Kenji Yoshida @xuwei_k

@k_matsuzaki わかりずらいですけど、java.lang.Floatが0fと-0fでequalにならない(つまりhashCode違ってもいい)のは、Java自体の仕様らしいので http://t.co/CBjbmTmLgC それで合ってるんですかね、たぶん・・・

Kenji Yoshida @xuwei_k

http://t.co/CBjbmTmLgC 「この定義によって、ハッシュテーブルは正しく動作します。」のアルゴリズムの詳しい解説ってどこかないの？

zakki @k_matsuzaki

@xuwei_k そうですね。java.lang.Floatには問題ありませんし、scalaのタプルもプラスマイナス区別せず比較とハッシュすると一貫してます。唯のFloatでボクシング起きるときが気持ち悪い…

Kenji Yoshida @xuwei_k

う、でも Scala と Java で 0f と -0f を Map のkeyにした場合の挙動違う・・・ https://t.co/djdszstihL

ウィザード級エクセラー @BlackPrincessW

@xuwei_k scalaはhashCode取らないんですね。Javaの場合、キーが実質的にjava.lang.Float.valueOf(0f).hashCode()となっているので、0fと-0fだとhashCodeが違うので別と認識されますよ。

Kenji Yoshida @xuwei_k

.@BlackPrincessW hashCode取らないんじゃなくて、正確には java.lang.Float.valueOf(-0f).## は0だけど、java.lang.Float.valueOf(-0f).hashCode は-2147483648とかそのあたりの事情が

Kenji Yoshida @xuwei_k

@xuwei_k たぶんこれが使われてる影響 https://t.co/DKbQ8CYYIZ

Yasushi Abe @yasushia

hashFromDouble もだめだろうなぁ。なんでこうなってるんだろう。

Yasushi Abe @yasushia

そもそもfloatとかdoubleで==すんな、ってのはわかるけど

Kenji Yoshida @xuwei_k

Set(Double.NaN, Double.NaN).size res0: Int = 2 new java.util.HashSet[Double]{add(Double.NaN);add(Double.NaN)}.size res1: Int = 1