IEEE754 浮点数详解 - 深入 JavaScript 的 Number 类型

今天聊一点计算机的基础——浮点数,具体我们探讨 IEEE754 格式的浮点数,大多数语言都采用该格式来表示小数,通常又分为单精度和双精度浮点数。

在 JavaScript 中,不区分整形和小数,唯一表示数值的类型 Number 就是采用 IEEE754 格式中的双精度浮点数来表示的。

因为单精度和双精度浮点数在原理上完全一致,所以本文只集中分析双精度浮点数。我会依次说一下原理、定义和一些结论。

原理

我们都知道任何一个数都可以用科学计数法,例如:

1.234 * 10 ^ 2    // => 123.4

其中,^ 代表指数,下同。

同理,我们也可以不局限与 10 进制,采用任意进制 R,指数用 e 表示,m 表示基数,正负数用 (-1) ^ S 表示,其中 S 为 0 或 1,结果用 N 表示,于是:

N = (-1) ^ S * m * R ^ e

这就是我们的原理,十分简单。另外很容易得出,对了任何非 0 的数,m 都可以限定在大于等于 1 且小于 R 的范围内,即 [1, R)。当 R = 2 的时候,m 取值为 [1, 2)。可以如下表示:

m = 1 + M     (0 <= M < 1)

定义

双精度浮点数就是采用上面的原理,底数 R = 2

双精度浮点数用 8 个字节表示,也就是 64 bit。例如数值 100.25 在内存中的情况如下:

0,10000000101,100100010~0 //  ~代表了若干个 0

为了分析,我将 64 bit 分为 3 个部分。

第一部分是符号位(S),占 1 bit,代表符号,正数 0,负数1。当前例子中,符号位为 0 表示这是一个正数。

第三部分是尾数位(M),占 52 bit,代表基数的小数部分,采用二进制表示。当前例子中 100100010~0 换算成十进制的小数为 1/2 + 1/16 + 1/256 = 0.56640625

第二部分是阶码位(E),占 11 bit,代表指数部分。

  • 因为基数始终是 1.xxx 的小数,所以为了表示 0,规定当阶码和尾码全是 0 的时候,表示值 0 。因为前面还有符号位,所有有 +0 和 -0 之分。

  • 同时规定,当阶码全为 1 ,尾码全为0 的时候,表示 ∞。同理,有 +∞ 和 -∞。

  • 因为 2^11 = 2048,排除上面两种特殊情况,能表示的值为 1~2046,但是为了表示小数,我们指数需要用到负数,因此我们设置一个偏码值 1023,指数的实际值 e = E - 1023,例如上面实例中 [10000000101]2 = 1029,因此实际的指数值 e = 6 = 1029 - 1023;

讲解完毕,关于浮点数的格式推导出真实值的公式也就如下:

(-1) ^ S * (1 + M) * 2 ^ (E - 1023) = N

对应我们上面的示例:

(-1) ^ 0 * (1 + 0.56640625) * 2 ^ (1029 - 1023) = 1.56640625 * 2 ^ 6 = 100.25

是不是很简单,没看懂的童鞋还可以再看2遍。

结论

  • 指数 e 的取值范围为 (1-1023) ~ (2046 - 1023),也就是 -1022 ~ 1023

  • 基数的小数部分 M 的取数值范围为 0 ~ (1 - 1 / (2 ^ 52)),大约是 0 ~ 1
    意味着,能表示数值的范围是 -(1 + 1 - 1 / (2 ^ 52)) * 2 ^ 1023 ~ (1 + 1 - 1 / (2 ^ 52)) * 2 ^ 1023,即 -1.79e+308 ~ 1.79e+308。其中最大值对应的是 JavaScript 中的 Number.MAX_VALUE

  • 当我们用上面的公式表示一个数的时候,一旦确定了指数 e ,同时也确定了在该指数下所表示值的最小精度,即 2 ^ (e - 52)。因此双精度浮点数能够表示的最小精度为 2 ^ ( -1022 - 52) = 2 ^ -1074 = 5e-324,也就是我们 JavaScript 中 Number.MIN_Value 的值。同理,当我们要精确的表示一个整数时,也就是我们精度值要小于 1,简单倒推可得此时的 e<= 52,也就是说,当 e = 52 时我们依旧能够精确的表示一个整数。因此 JavaScript 能够精确表示一个整数的最大值为 (1 + (1 - 1 / (2 ^ 52))) * 2 ^ 52 = 2 ^ 53 - 1 = 9007199254740991,能精确表示一个整数的最小值自然就是 -9007199254740991,对应我们 JavaScript 中的 Number. Number.MAX_SAFE_INTEGERNumber.MIN_SAFE_INTEGER

综上,我们依次阐述了双精度浮点数的原理、定义和一些结论。而单精度浮点数只有在阶码和尾数的位数有所不同,原理完全一致,自然不用赘述。

最后,依旧是如果发现什么没有阐述清楚或者有问题的地方,欢迎反馈。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 206,968评论 6 482
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 88,601评论 2 382
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 153,220评论 0 344
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 55,416评论 1 279
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 64,425评论 5 374
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,144评论 1 285
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,432评论 3 401
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,088评论 0 261
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,586评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,028评论 2 325
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,137评论 1 334
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,783评论 4 324
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,343评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,333评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,559评论 1 262
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,595评论 2 355
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,901评论 2 345

推荐阅读更多精彩内容