Lua 5.x版本64位大数加法计算异常问题求助

这是个典型的浮点数精度限制问题，我来帮你拆解清楚背后的逻辑：

核心根源：Lua的数值存储机制 #

Lua 5.1和5.2版本中，所有数值都默认用**双精度浮点数（double）**存储；Lua 5.3虽然引入了64位整数类型，但默认的number类型依然是双精度浮点数。而双精度浮点数的精度上限，决定了它无法精确表示超过53位有效数字的整数。

双精度的精度边界 #

双精度浮点数的内部结构里，用于存储有效数字的尾数部分只有52位，加上一个隐含的最高位1，总共只能提供53位的精确有效数字。一旦整数的二进制位数超过53位，就会出现“精度丢失”：

• 在2^53到2^54之间，可精确表示的整数间隔是2（只能存偶数）
• 在2^54到2^55之间，间隔变成4
• 到了你涉及的2^55到2^56区间，间隔已经是8——也就是说，这个区间里只有8的倍数才能被精确存储，其他整数都会被舍入到最近的8的倍数。

你的目标值72057594037927935（十六进制0xFFFFFFFFFFFFFF）是2^56 - 1，二进制是56位全1，远远超过了53位的精度边界，所以它本身就无法被双精度浮点数精确存储。

为什么会出现“偶数加奇数得偶数且结果少1”？ #

假设你是用一个可精确表示的偶数，加一个可精确表示的奇数，期望得到72057594037927935：

• 这个和本身无法被双精度存储，会按照“向最近的可表示数舍入，距离相等则向偶数舍入”的规则处理。
• 如果你的计算场景中，这个和刚好更靠近比它小的那个8的倍数，就会出现结果比正确值少的情况；而因为区间里的可表示数都是8的倍数（自然是偶数），所以哪怕你加的是奇数，最终结果也只能是偶数。

举个直观的例子：在2^53到2^54区间，你计算9007199254740992 + 1（偶数加奇数），结果会是9007199254740992（偶数），因为9007199254740993无法被精确存储，会被舍入到最近的偶数。

针对不同Lua版本的解决办法 #

• Lua 5.3及以上：显式使用64位整数类型，比如在数字后加LL后缀（0xFFFFFFFFFFFFFFLL），或者用math.tointeger()把变量转成整数类型。64位有符号整数可以精确表示到2^63-1，完全覆盖你的目标值，加法运算不会有精度丢失。
• Lua 5.1/5.2：需要借助第三方大数处理库（比如luabignum），这类库会用字符串或数组模拟大数运算，避开浮点数的精度限制。

内容的提问来源于stack exchange，提问作者MarkoPaulo