你已經知道答案了,但你可能還不知道原理。
round "half" to nearest even. 又稱gaussian/banker's rounding.
例子
round[{0.5, 1.5, 2.5, 3.5, .5}] =>{0, 2, 2, 4, 4}
為什麼呢?因為四捨五入是biased. (.5)是剛好在(0,1)的一半(half)。
要公平,不累進error,其實要一半捨,一半入。最簡單的方法就是odd或even入,有一半的機會。
banker's rounding 其實蠻常見的。
.net Math.round的 default 就是banker's rounding.
java也可以設定
https://docs.oracle.com/javase/8/docs/api/java/math/RoundingMode.html
floating point 的話就
010....(不到一半,捨)
101....(超過一半,入)
100....(剛好一半,用banker's rounding)看要round的bit是1或0.
硬體的floating point會有3個extra bits. guard, round, sticky. sticky bit 是or所有多出的bits.
2個bits不夠,因為做完arithmatic還需要normalized 回來。
請參考
http://pages.cs.wisc.edu/~david/courses/cs552/S12/handouts/guardbits.pdf
金融業,應該都知道這個吧。
PS: "What Every Computer Scientist Should Know About Floating-Point Arithmetic"
https://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html
主要在在討論rounding error。