模运算如何实现负数编码？关于integer_to_big_endian(x*10**y)%2**64的疑问

让我一步步拆解你的问题，帮你搞清楚模运算在负数编码和这个特定场景里的作用：

一、模运算如何实现负数的编码？ #

在计算机系统中，模运算实现负数编码的核心逻辑是利用补码的原理，将负数映射到正数的数值区间内。

假设我们使用的模数是 (2^n)（比如你问题里的 (2^{64})），对于任意负数 (x)，它的模 (2^n) 编码可以通过数学上的模运算定义得到：
[ x \mod 2^n = 2^n + x \quad (\text{当 } -2^n < x < 0) ]
这样一来，负数就被转换成了一个范围在 ( [1, 2^n-1] ) 之间的正数，刚好适配无符号n位整数的存储范围。比如对于64位来说，-1的模 (2^{64}) 结果是 (2^{64}-1)，这正好是64位无符号整数的最大值，也就是-1在64位补码中的表示形式。

二、integer_to_big_endian(x * 10**y) % 2**64 中模运算如何确保负数被编码？ #

我们可以把这个过程拆成两步来看：

1. 计算 (x * 10^y)：不管x是正还是负，这个运算会得到一个整数（可能很大，也可能是负数）。
2. 执行模 (2^{64}) 运算：根据模运算的数学定义，任何整数（正或负）模 (2^{64}) 的结果都会落在 ( [0, 2^{64}-1] ) 这个区间内。
   • 如果 (x * 10^y) 是负数，模运算会自动加上 (2^{64}) 直到结果为正，最终得到的就是该负数对应的64位补码无符号值。
   • 如果是正数且超过 (2^{64})，模运算会直接保留低64位的数值，相当于截断高位。

之后的 integer_to_big_endian 只是把这个模运算后的无符号整数转换成大端字节序（最高有效字节优先存储），整个过程中模运算已经确保了负数被转换成合法的64位无符号数值，自然能被正常编码。

三、当 (x*10^y) 大于 (2^{64}) 时，是先转大端序再截断吗？ #

不是的，正确的顺序是先执行模 (2^{64}) 运算截断数值，再转换为大端字节序。

原因很简单：模 (2^{64}) 的本质是保留整数二进制表示的低64位，丢弃所有高位。这个操作是针对数值本身的，和字节序无关。只有当我们得到了这个64位的数值后，才会将其转换成大端字节序的存储形式——也就是把最高位的字节放在最前面，依次排列到最低位字节。

举个例子：如果 (x*10^y) 是一个70位的大整数，模 (2^{64}) 后会丢掉最高的6位，只保留低64位的数值；之后再把这个64位数值转换成大端字节序，得到8个字节（因为64位=8字节）的序列，最高有效字节在前。

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