Was kann schief gehen, wenn ich ein Makro definiere und nur einen seltenen Namen für eine temporäre Variable verwende?

Question

Let Over Lambda Chapter 3 Section 'Unwanted Capture' sagt:..

„Sicher können wir selten genug Namen denken, so dass das Problem nie auftaucht Ja, in vielen Fällen, die Pakete und intelligente variable Namensgebung kann das Problem der variablen Erfassung lösen jedoch schwerwiegendsten Variable Capture Fehler im Code nicht direkt von einem Programmierer erstellt wurden, auftreten. Die meisten variable Erfassung Probleme nur Oberfläche wenn andere Makros Makro verwenden (mit Ihrem Makro kombinieren) in einer Weise, Sie erwarten nicht. "

und dann gibt mir kein Beispiel für den kühnen Teil. Was wäre eines dieser Beispiele? Stellen Sie sich eine hypothetische Lisp Dev-Team, wo seine verrückten Chef die Verwendung von gensym verboten oder alles, was zu werfen alphanumerische Würfel uninterned Symbole und die Programmierer einfach greifen schafft, um mit Zufallsvariablen Namen wie temp-27s63f8sk2n oder Summen 3t84hj4df, wann immer sie gensym verpassen. Was wäre ein Beispiel, wo das Team in Schwierigkeiten geraten wird?

davon Speaking, Emacs 24.3.1 definiert DOTIMES und DOLIST ohne uninterned Symbole zu verwenden. Seltsam.

Answer 1

Das Problem entsteht, wenn Sie Ihr eigenes Makro in einem anderen Kontext wiederverwenden und Ihre geschickt Namespace-Variablen sind effektiv dann überflüssig, da sie alle auf dem gleichen Namensraum sind.

kann ich ein Beispiel denke, dass, wenn ein Verschluss verwenden, die eine Variable in einem umschließenden (let) zugreift, sondern auf einen Makro übergeben, die auch eine umschließende (let), die einen „sicheren“ Variable mit einem Namen Zusammenstoß verwendet. Es ist ein künstliches Beispiel, tut mir leid, ich kann mir im Moment keinen realen Fall vorstellen.

(defmacro my/a (x) 
    (let ((my/safe-name x)) 
    `(progn ,(my/b (lambda() my/safe-name)) 
      ,my/safe-name))) 

(defmacro my/b (f) 
    `(let ((my/safe-name 4)) 
    (when (evenp (funcall ,f)) 
     (print "F is even!")))) 

(my/a 3) ; will print "F is even", but it shouldn't 

Answer 2

OK, dann würde ich vorschlagen, diesen Prozess zu automatisieren, "alphanumerische Würfel zu werfen". Natürlich muss es nicht zufällig sein, Sie könnten einfach einen Zähler verwenden. Außerdem wäre es schön, ein Präfix zum Debuggen angeben zu können. Oh warte, genau das tut gensym.