Discussion :

[LittleGeeky]

Salut tout le monde !

Je dois réaliser une fonction qui me donne le énième cdr d'une liste. Cette fonction doit être récursive bien sur.
J'ai déjà fait une première version mais pas du tout récursive :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
(defun recup (x liste)
  (cond
    ((atom liste) 0)
    ((equal x 0) (print liste))
    ((if (< x 0) nil))
    ((equal x 1)(cdr liste))
    ((equal x 2)(cddr liste))
    ((equal x 3)(cdddr liste))
    ((equal x 4)(cddddr liste))
    ((equal x 5)(cdr(cddddr liste)))))
recup

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
(recup 2 '(a b c))
(c)
 
(recup -1 '(a b c))
nil
 
(recup 4 '(a b c))
nil

Quand a réaliser une deuxième version mais récursive...je bloque
J'ai quelque piste mais je vois pas trop comment faire.
Je devrais peut être utiliser un tant que et me servir de la fonction prédéfini length....

Est-ce que quelqu'un pourrait m'aider a monter ma fonction ?

[stendhal666]

La clé est dans la compréhension de la structure de liste:
Une liste, quand elle n'est pas vide, est composée d'un premier élément et d'une autre liste: on accède au premier élément par 'car' et à la sous-liste par 'cdr'.

Donc, une fonction récursive sur une liste est composée en général de trois parties:
1) tester si la liste est vide (nil)
2) effectuer une opération sur le premier élément (car)
3) s'appeler elle-même (d'où le nom de fonction récursive) sur la sous-liste (cdr).

Dans le cas particulier du énième cdr, c'est-à-dire de la énième sous-liste:
1) si la liste est vide avant d'arriver à n -> erreur (qui peut être symbolisée par nil)
2) il n'y a pas d'opération à effectuer sur le premier élément, à part l'ignorer. En revanche il faut vérifier si on est arrivé à n. Si on y est, on renvoie la liste.
3) si on n'est pas encore arrivé à n, la fonction s'appelle elle-même sur le cdr de la liste, et en diminuant n

Par exemple:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
(defun nth (x lst)
  (cond
    ((null lst) nil) ;; la liste est terminée avant que x soit égal à 0
    ((zerop x) lst) ;; x = 0, on est arrivé au bon cdr
    (T (nth (1- x) (cdr lst))))) ;; sinon appel récursif

[Bruno-Vdh]

Bonjour,

@ stendhal666, juste une petite remarque pour pinailler, il m'aurait semblé plus juste de nommer la fonction nthcdr

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
(defun nthcdr (i l)
  (cond     
    ((zerop i) l) 
    (l (nthcdr (1- i) (cdr l)))))

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
(nthcdr 2 '(a b c)) => (c)
(nthcdr -1 '(a b c)) => nil
(nthcdr 4 '(a b c)) => nil

@ LittleGeeky , re-pinaillage, si le but était d'étendre la fonction au nombre négatif, intuitivement pour un indice négatif j'aurais tendance à retourner la liste plutôt que la valeur nil.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
(defun nthcdr (i l)
  (cond     
    ((>= 0 i) l) 
    (l (nthcdr (1- i) (cdr l)))))

ou

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
(defun nthcdr (i l)
  (if (and l (< 0 i))
    (nthcdr (1- i) (cdr l))
    l))

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
(nthcdr 2 '(a b c)) => (c)
(nthcdr -1 '(a b c)) => (A B C)
(nthcdr 4 '(a b c)) => nil

A+

[byjav]

Une petite remarque : on ne peut pas redéfinir les fonctions cl:nth et cl:nthcdr dans le code portable, alors il faudrait gérer des paquets en « assombrant » ses symboles (ou choisir d'autres noms).

[Bruno-Vdh]

Oui byjav, merci de la précision surtout que clisp est bien spécifié dans l'intitulé du post.