【问题标题】:lisp way of looping over bits of an integerlisp循环整数位的方式
【发布时间】:2012-05-04 08:35:11
【问题描述】:

假设我有一个整数,例如 109、1101101 的二进制。我如何迭代这个数字的位,例如:[64、32、8、4、1]?在 lisp 中这样做的好方法是什么?我应该通过添加一个案例来稍微修改 for 宏,还是应该将整数转换为位向量或列表?

【问题讨论】:

    标签: for-loop lisp common-lisp bit-manipulation sbcl


    【解决方案1】:

    如果您只想处理“一个”,那么如果这些位很少,则循环遍历所有位是无效的。这就是我在这种情况下会做的事情

    (defmacro do-bits ((var x) &rest body)
      "Evaluates [body] forms after binding [var] to each set bit in [x]"
      (let ((k (gensym)))
        `(do ((,k ,x (logand ,k (1- ,k))))
             ((= ,k 0))
           (let ((,var (logand ,k (- ,k))))
             ,@body))))
    

    它使用了很好的 2-complement 事实,即对一个数字和它的对面进行位与运算会返回最低有效的集合位,并且将一个数字和比该数字小一的数字与零这个最低有效的集合位相运算。

    请注意,此处理从最低有效位到最高有效位(在您的示例中您使用相反的顺序)

    【讨论】:

      【解决方案2】:

      看看logbitp,它可以让您访问整数的各个位。例如,

      (loop for i below (integer-length 109)
            collect (if (logbitp i 109) 1 0))
      
      => (1 0 1 1 0 1 1)
      

      【讨论】:

        【解决方案3】:

        这可能不太复杂,但可以。请注意,您需要在使用之前测试“zerop”,因为如果您使用零调用它,则不会调用迭代回调。

        (defun iterate-bits-of (x handler)
          (unless (zerop x)
            (and (funcall handler (logand x 1))
             (iterate-bits-of (ash x -1) handler))))
        
        (iterate-bits-of
         #b1101101
         #'(lambda (x) (not (format t "bit ~b~&" x))))
        ;; bit 1
        ;; bit 0
        ;; bit 1
        ;; bit 1
        ;; bit 0
        ;; bit 1
        ;; bit 1
        

        还请注意,对于大数字,“ash”可能会变得非常昂贵,在这种情况下,您可能希望使用 6502 的变体。

        【讨论】:

          【解决方案4】:
          ( defun firstbit (x)
            ( logand x (- x)))
          
          ( defun ones (x)
            ( do (( bit (firstbit x) (firstbit x)) bits)
              (( zerop bit) bits)
              ( setq bits (cons bit bits))
              ( setq x (logxor x bit))))
          

          提供

          * (ones 109)
          
          (64 32 8 4 1)
          

          【讨论】:

            猜你喜欢
            • 2019-07-12
            • 1970-01-01
            • 1970-01-01
            • 2013-03-10
            • 2018-11-11
            • 2020-09-13
            • 1970-01-01
            • 1970-01-01
            • 1970-01-01
            相关资源
            最近更新 更多