Macros 如何编写'；破坏性'；lisp中的dolist宏_Macros_Lisp

Macros 如何编写'；破坏性'；lisp中的dolist宏

macros lisp

Macros 如何编写'；破坏性'；lisp中的dolist宏,macros,lisp,Macros,Lisp,我试图以最直观的方式在Common Lisp（也适用于Emacs Lisp）中编写一个简单的冒泡排序： (defun bubble-sort-long (list) (labels ((rec (list acc) (if (null list) (nreverse acc) (progn (dolist (x (cdr list))

我试图以最直观的方式在Common Lisp（也适用于Emacs Lisp）中编写一个简单的冒泡排序：

(defun bubble-sort-long (list)
  (labels ((rec (list acc)
                (if (null list) (nreverse acc)
                    (progn
                      (dolist (x (cdr list))
                        (if (< x (car list))
                            (rotatef x (car list))))
                      (rec (cdr list) (push (car list) acc))))))
           (rec list nil)))

我想最直接的解决方法是定义一个“破坏性”的dolist宏，它将一个x直接指定给列表中的迭代元素。类似于ndolist的东西，以便我可以进行以下工作：

(setf a '(1 2 3))
(ndolist (x a)
  (setf x (+ 1 x)))

将产生：（2 3 4）

此外，如果您能提供有关使用lisp进行气泡排序的更直观的想法，请给出提示

在ruby中，类似的算法类似于：

class Array
  def bubble_sort
    self.each_with_index do |a,j|
      i=j+1
      while i<self.length
        if (self[j]>self[i])
          self[j],self[i]=self[i],self[j]
        end
        i=i+1
      end
    end
  end

类数组
def气泡_排序
self.each_与_索引do|a，j|
i=j+1
而我自己[我]）
self[j]，self[i]=self[i]，self[j]
结束
i=i+1
结束
结束
结束

有趣的是，我仍然必须使用“并行赋值”来交换值。Ruby不支持（鼓励）在C/C++风格中通过引用使用临时变量进行交换

这方面有一些问题。这也不是那么容易

我会给你一些提示：

变量指向一个值，而不是一个位置。修改一个变量永远不会改变另一个位置或另一个变量

您可以像这样交换列表的第一项和第二项

（rotatef（第一项列表）（第二项列表））

永远不要更改代码中的文字列表-这是一个常量。如果以破坏性方式更改列表，请使用生成的列表（例如，通过复制列表或列表或…）创建的列表
我们可以想到两种泡沫排序：一种是破坏性的，另一种不是
我还将用循环替换尾部递归函数。在Scheme中，您将使用尾部递归函数，而在常见的Lisp中，通常不会

变量指向一个值，而不是一个位置。修改一个变量永远不会改变另一个位置或另一个变量

您可以像这样交换列表的第一项和第二项

（rotatef（第一项列表）（第二项列表））

永远不要更改代码中的文字列表-这是一个常量。如果以破坏性方式更改列表，请使用生成的列表（例如，通过复制列表或列表或…）创建的列表
我们可以想到两种泡沫排序：一种是破坏性的，另一种不是
我还将用循环替换尾部递归函数。在Scheme中，您将使用尾部递归函数，而在常见的Lisp中，通常不会

dolist

符号macrolet

(defun bubble-sort (seq)
  (loop for n from (length seq) downto 2 and swapped = nil
     do (dotimes (i (1- n))
          (when (> (elt seq i) (elt seq (1+ i)))
            (rotatef (elt seq i) (elt seq (1+ i)))
            (setf swapped t)))
     while swapped))

dolist

符号macrolet

(defun bubble-sort (seq)
  (loop for n from (length seq) downto 2 and swapped = nil
     do (dotimes (i (1- n))
          (when (> (elt seq i) (elt seq (1+ i)))
            (rotatef (elt seq i) (elt seq (1+ i)))
            (setf swapped t)))
     while swapped))

(defmacro dolist* ((iterator list &optional return-value) &body body)
  "Like DOLIST but destructuring-binds the elements of LIST.

If ITERATOR is a symbol then dolist* is just like dolist EXCEPT
that it creates a fresh binding."
  (if (listp iterator)
      (let ((i (gensym "DOLIST*-I-")))
        `(dolist (,i ,list ,return-value)
           (destructuring-bind ,iterator ,i
             ,@body)))
      `(dolist (,iterator ,list ,return-value)
         (let ((,iterator ,iterator))
           ,@body))))

(defmacro dolist* ((iterator list &optional return-value) &body body)
  "Like DOLIST but destructuring-binds the elements of LIST.

If ITERATOR is a symbol then dolist* is just like dolist EXCEPT
that it creates a fresh binding."
  (if (listp iterator)
      (let ((i (gensym "DOLIST*-I-")))
        `(dolist (,i ,list ,return-value)
           (destructuring-bind ,iterator ,i
             ,@body)))
      `(dolist (,iterator ,list ,return-value)
         (let ((,iterator ,iterator))
           ,@body))))