Emacs Lisp中fixnum符号存储与位移位特性技术问询

一、Fixnum的符号存储本质 #

Emacs Lisp的fixnum采用带类型标记的指针编码实现：

• 在64位系统中，fixnum用63位存储有符号整数（二进制补码形式），最低位固定为0作为类型标记（区分于bignum等其他对象，后者最低位为1）；32位系统则是31位数值位+1位类型标记。
• 符号并非单独存储在元数据中，而是作为fixnum数值补码的一部分——数值位的最高位就是符号位，决定fixnum的正负。

二、正负Fixnum的区别 #

正负fixnum的核心区别是数值位的补码表示不同：

• 正fixnum：符号位为0，数值位是正常的二进制值；
• 负fixnum：符号位为1，数值位是对应绝对值的二进制补码（即反码加1）。
  类型标记位（最低位）对正负fixnum来说都是0，不参与数值表示。

三、位移位操作与符号的关系 #

位移位操作后的符号可能改变，但要结合Emacs的溢出处理逻辑来看：

1. ash与lsh的行为差异 #

• ash（算术位移）：右移时补符号位——如果原fixnum是负数（符号位为1），右移会补1，结果保持负数；正数则补0，结果保持正数。左移时按补码规则移位，若未溢出则符号由最高数值位决定。
• lsh（逻辑位移）：右移时始终补0，因此负数右移后会变成正数（符号位被0覆盖），直接改变符号。
  这两种操作都是直接作用于fixnum的数值位（补码），所以看起来符号是二进制表示的一部分，这和GNU手册的描述一致。

2. 左移未触发符号翻转的原因 #

你反复左移1直到变成bignum却没得到负fixnum，是因为Emacs会自动检查fixnum的范围边界：

• 以64位系统为例，fixnum的可表示范围是 -2^62 到 2^62 - 1。当左移操作导致数值超出这个范围时，Emacs不会让补码溢出产生负数，而是直接将数值转换为bignum（任意精度整数），因此不会出现“符号位触发的最小负fixnum”。

四、关于你的两种推测 #

1. “fixnum无符号位，符号存储在元数据中”：错误。符号位是fixnum数值补码的一部分，并非单独存储的元数据；元数据仅指最低位的类型标记，用于区分对象类型。
2. “lsh/ash并非原生位位移”：不完全准确。在fixnum的可表示范围内，ash和lsh就是基于硬件原生的补码位移操作实现的；只有当操作结果超出fixnum范围时，才会切换到bignum的软件模拟位移逻辑。

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