浮点数乘法

定义浮点数乘法

$x*^fy=Round(x\times y)$

性质浮点数乘法性质

满足封闭性；
满足交换律；
单位元是 $1.0$ ；
不满足结合律；
比如表达式 $(1e20*1e20)*1e-20$ 的值是 $+\infty$ ，表达式 $1e20*(1e20*1e-20)$ 的值是 $1e20$ 。
不满足分配律
比如表达式 $1e20*(1e20-1e20)$ 的值是 $0.0$ ，表达式 $1e20*1e20-1e20*1e20$ 的值是 $NaN$ 。
满足单调性
当 $a\geq b$ ，且 $c\geq 0$ 时，有： $a*^fc\geq b*^fc$ ；
当 $a\geq b$ ，且 $c\leq 0$ 时，有： $a*^fc\leq b*^fc$ ；
当 $a$ 不是 $NaN$ 时，有 $a*^fa\geq 0$ ；

注意

对于科学计算程序员和编译器作者来说，要特别留心浮点数乘法不满足结合律和分配律。

解释
表达式 $(1e20*1e20)*1e-20$ 的值是 $+\infty$

1e10
0101 0100 0000 1011 1110 0100 0000 0000

1e20
1111 1111 1111 1111 1111 1111 1111 1111
11111111111111111111111111111111

1e20*1e20
=0000 0000 0000 0000 0000 0000 0000 0000

最后编辑于：2020.06.30 14:56:00

©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成，浏览时请结合常识与多方信息审慎甄别。
平台声明：文章内容（如有图片或视频亦包括在内）由作者上传并发布，文章内容仅代表作者本人观点，简书系信息发布平台，仅提供信息存储服务。

浮点数乘法

友情链接更多精彩内容