scheme - 左移到 fixnum 符号位

Question

我正在寻找一种方法将一点从正的固定数字转移到符号位置。基本上，我想要的是一种可预测的（不是未定义的）方式来执行 fixnum 左移而无需溢出检查。

一个低效的实现如下所示：

(define shift-left
  (lambda (value shift)
    (let ([unsigned-to-signed
       (lambda (value width)
         (let* ([sign-mask (bitwise-arithmetic-shift-left
                1 (- width 1))]
            [sign (bitwise-and value sign-mask)])
           (bitwise-ior
        (bitwise-bit-field value 0 width)
        (- sign))))])
      (unsigned-to-signed
       (bitwise-arithmetic-shift-left value shift)
       (fixnum-width)))))

(shift-left 1 59) ⇒ 576460752303423488
(shift-left 1 60) ⇒ -1152921504606846976
(shift-left 1 61) ⇒ 0

理想情况下，这将编译为单个 CPU 指令（至少对于恒定移位；CPU 在处理移位与寄存器一样宽或更宽的方式上有所不同）。

Answer 1

在方案中，除非您寻找实现定义的功能，否则它不会起作用。

在方案中，它标准化了算术类型的塔，这使得您控制数字表示的内侧非常不方便。

只有了解某些实现的内部原理，您尝试做的事情才有意义，否则您会浪费时间。