在列表中搜索整數（Lisp）

Question

我想不出一種方法來搜索列表以確保它具有所有整數。如果有非整數數據，我想立即返回nil，如果沒有，則繼續我的功能。

我試圖做的遞歸函數將會是cons,car與cdr的列表。隨着我的嘗試，我無法返回nil。我只能忽略非整數數據。例如，(add-1-all '(1 2 3 a))將在每個數字加1後返回(2 3 4)。

(defun add-1-all (L) 
      (if (null L) 
       L 
       (if (integerp (car L)) 
        (cons (+ (car L) 1) (add-1-all (cdr L))) 
        nil))) 

我明白，利弊正在使這種情況發生，因爲遞歸正在添加到列表中。

Answer 1

你的第一句話，

我不能想辦法在列表中搜索Lisp中，以確保它的所有整數。

使它聽起來像你想要檢查一個列表是否都是整數。您可以檢查列表是否使用every所有整數：

CL-USER> (every 'integerp '(1 2 3 4)) 
;=> T 
CL-USER> (every 'integerp '(1 2 a 4)) 
;=> NIL 

every會照顧短路，即儘快返回nil作爲失敗的謂詞的第一個元素被發現。然而，你的代碼使得它聽起來像你想要映射一個列表，收集應用於每個整數的函數的值並返回收集的值，除非如果遇到非整數，則返回null。也許最簡單的方法是使用宏loop。一個解決方案看起來幾乎相同的英文說明：

CL-USER> (loop for x in '(1 2 3 4) 
      if (not (integerp x)) return nil 
      else collect (1+ x)) 

;=> (2 3 4 5) 
CL-USER> (loop for x in '(1 2 a 4) 
      if (not (integerp x)) return nil 
      else collect (1+ x)) 

;=> NIL 

與loop這樣做也有過遞歸解決方案的一些優點。雖然Lisp系列中的某些語言（例如Schema）需要尾部調用優化，並且一些Common Lisp實現也會這樣做，但在Common Lisp中並不需要。因此，如果您使用迭代解決方案（例如，使用loop）而不是遞歸（甚至是尾遞歸）實現，則可能會更安全（例如，您不會用完堆棧空間）。

Answer 2

關鍵是要使用一個輔助函數，並且該輔助函數在它遞歸時隨它攜帶答案，以便在必要時隨時丟棄整個答案。順便說一句，這也將是tail recursive，這意味着它可以處理極長的列表而不會耗盡堆棧空間。

(defun add-1-all (L) 
    (add-1-all-helper L nil)) 

(defun add-1-all-helper (L answer) 
    (if (null L) 
    answer 
    (if (integerp (car L)) 
     (add-1-all-helper 
     (cdr L) 
     (cons (+ (car L) 1) answer)))))