Wann '(oder Zitat) in Lisp verwenden?

Kurze Antwort
Umgehen der Standard-Auswertung Regeln und tun nicht bewerten Sie den Ausdruck (symbol oder s-exp), übergeben Sie es zusammen, um die Funktion genau so, wie eingegeben.

Lange Antwort: Die Standard-Bewertung-Regel

Wenn eine regelmäßige (komme ich später) - Funktion aufgerufen wird, werden alle Argumente übergeben werden, ausgewertet werden. Das heißt, Sie können schreiben:

(* (+ a 2)
   3)

Was wiederum wertet (+ a 2) Bewertung a und 2. Der Wert des symbols a gesucht wird in der aktuellen Variablenwerten festlegen, und dann ersetzt. Sagen a ist derzeit gebunden an den Wert 3:

(let ((a 3))
  (* (+ a 2)
     3))

Würden wir bekommen (+ 3 2)+ ist dann aufgerufen wird, auf 3 und 2 nachgeben-5. Unsere ursprünglichen form ist jetzt (* 5 3) nachgeben 15.

Erklären quote Schon!

In Ordnung. Wie oben gesehen, alle Argumente einer Funktion ausgewertet werden, so dass, wenn Sie möchten, übergeben Sie die symbol a und nicht Wert, die Sie nicht wollen, um Sie zu bewerten. Lisp-Symbole verdoppeln können sowohl als Ihre Werte und Marken, wo Sie in anderen Sprachen verwendet hätte Saiten wie Tasten auf hash-Tabellen.

Dies ist, wo quote kommt. Sagen Sie den zu plottenden Ressourcenzuordnungen aus einer Python-Anwendung, sondern tun das Plotten in Lisp. Haben Sie Ihre Python-app, die so etwas tun:

print "'("
while allocating:
    if random.random() > 0.5:
        print "(allocate %d)" random.randint(0, 20)
    else:
        print "(free %d)" % random.randint(0, 20)
    ...
print ")"

Geben Sie die Ausgabe so Aussehen (leicht prettyfied):

'((allocate 3)
  (allocate 7)
  (free 14)
  (allocate 19)
  ...)

Erinnern, was ich sagte über quote ("tick"), wodurch die default-Regel nicht anwenden? Gut. Was würde sonst passieren, dass die Werte der allocate und free gesucht werden, und das wollen wir nicht. In unserem Lisp, wir wollen zu tun:

(dolist (entry allocation-log)
  (case (first entry)
    (allocate (plot-allocation (second entry)))
    (free (plot-free (second entry)))))

Für die Daten, die oben gegeben werden, die folgende Abfolge von Funktionsaufrufen würde gemacht worden:

(plot-allocation 3)
(plot-allocation 7)
(plot-free 14)
(plot-allocation 19)

Aber Was list?

Gut, manchmal tun auswerten wollen, die Argumente. Angenommen, Sie haben eine nette Funktion die Manipulation einer Zahl und einem string-und die Rückgabe einer Liste mit den daraus resultierenden ... Dinge. Let ' s make a false start:

(defun mess-with (number string)
  '(value-of-number (1+ number) something-with-string (length string)))

Lisp> (mess-with 20 "foo")
(VALUE-OF-NUMBER (1+ NUMBER) SOMETHING-WITH-STRING (LENGTH STRING))

Hey! Das ist nicht das, was wir wollten. Wir wollen selektiv bewerten einige Argumente, und lassen Sie die anderen Symbole. Versuch #2!

(defun mess-with (number string)
  (list 'value-of-number (1+ number) 'something-with-string (length string)))

Lisp> (mess-with 20 "foo")
(VALUE-OF-NUMBER 21 SOMETHING-WITH-STRING 3)

Nicht Nur quoteAber backquote

Viel besser! Übrigens, dieses Muster ist so Häufig in der (meist) Makros, die es gibt eine spezielle syntax für genau das zu tun. Die backquote:

(defun mess-with (number string)
  `(value-of-number ,(1+ number) something-with-string ,(length string)))

Es ist wie mit quoteaber mit der option explizit bewerten einige Argumente, indem Sie Sie mit Kommas. Das Ergebnis entspricht der Verwendung listaber wenn Sie die Generierung von code aus einem makro, das Sie oft nur ausgewertet werden soll, kleine Teile des Codes, der zurückgegeben wird, so dass die backquote ist besser geeignet. Für kürzere Listen list kann mehr lesbar.

Hey, Sie Vergessen, Über quote!

So, wohin führt uns das? Ach, was tut quote eigentlich tun? Es gibt lediglich das argument(s) ungewichtete! Denken Sie daran, was ich am Anfang gesagt habe über die normalen Funktionen? Stellt sich heraus, dass einige Operatoren/Funktionen müssen nicht bewerten Sie Ihre Argumente. Wie WENN-Sie würde nicht wollen, dass der else-Zweig ausgewertet werden, wenn es nicht genommen, richtig? So genannte spezielle Operatorenzusammen mit Makros, wie das funktioniert. Besondere Operatoren sind auch das "axiom" der Sprache-minimal-Regeln--, auf die Sie implementieren können, der rest von Lisp durch die Kombination von Ihnen zusammen in unterschiedlicher Weise.

Zurück quote:

Lisp> (quote spiffy-symbol)
SPIFFY-SYMBOL

Lisp> 'spiffy-symbol ; ' is just a shorthand ("reader macro"), as shown above
SPIFFY-SYMBOL

Vergleichen (auf Stahl-Bank Common Lisp):

Lisp> spiffy-symbol
debugger invoked on a UNBOUND-VARIABLE in thread #<THREAD "initial thread" RUNNING   {A69F6A9}>:
  The variable SPIFFY-SYMBOL is unbound.

Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [ABORT] Exit debugger, returning to top level.

(SB-INT:SIMPLE-EVAL-IN-LEXENV SPIFFY-SYMBOL #<NULL-LEXENV>)
0] 

Weil es keine spiffy-symbol im aktuellen Bereich!

Zusammenfassend

quotebackquote (mit Komma) list sind einige der Werkzeuge, die Sie verwenden, um Listen zu erzeugen, die nicht nur Listen von Werten, aber wie Sie sehen können verwendet werden als leichte (keine Notwendigkeit, zu definieren, eine struct) Daten-Strukturen!

Wenn Sie mehr erfahren möchten, empfehle ich Peter Seibel ' s Buch Practical Common Lisp für einen praktischen Ansatz für das lernen Lisp, wenn Sie bereits in der Programmierung im großen. Schließlich auf Ihrem Lisp-Reise, beginnen Sie mit Paketen zu. Ron Garret ist Der Idiot ' s Guide to Common Lisp-Pakete geben Ihnen gute Erklärung.

Happy hacking!

InformationsquelleAutor der Antwort Mikael Jansson

Anderen Menschen, die diese Frage beantwortet haben, bewundernswert, und Matthias Benkard bringt eine ausgezeichnete Warnung.

NICHT VERWENDEN, ZITIEREN, ERSTELLEN VON LISTEN, DAS SIE SPÄTER ÄNDERN. Die spec erlaubt es dem compiler zu behandeln, zitiert die Listen als Konstanten. Oft ist ein compiler optimieren Konstanten durch die Schaffung einer einzigen für die Erinnerung und dann auf, dass single-Wert aus allen Orten, wo die ständige erscheint. In anderen Worten, es kann behandeln die Konstante wie eine anonyme Globale variable.

Dies kann zu offensichtlichen Problemen. Wenn Sie ändern eine Konstante ist, kann es sehr wohl ändern, andere Anwendungen von der gleichen Konstanten in völlig anderen code. Zum Beispiel, können Sie vergleichen einige variable '(1 1) in eine Funktion, und in einer ganz anderen Funktion, starten Sie eine Liste mit '(1 1) und fügen Sie dann mehr Zeug zu. Bei der Ausführung dieser Funktionen können Sie feststellen, dass die erste Funktion entspricht nicht der Dinge mehr richtig, weil es jetzt versucht zu vergleichen die variable zu '(1 1 2 3 5 8 13), was die zweite Funktion zurückgegeben. Diese zwei Funktionen sind völlig unabhängig, aber Sie haben eine Wirkung auf einander, weil die Verwendung von Konstanten. Noch verrückter schlechte Effekte kann passieren, wie eine ganz normale Listen-iteration plötzlich unendliche Schleife.

Verwenden, zitieren, wenn Sie benötigen eine ständige Liste, wie für den Vergleich. Verwenden Sie die Liste, wenn Sie ändern das Ergebnis.

InformationsquelleAutor der Antwort Xanthir

Die quote verhindert die Ausführung oder Auswertung von form -, Dreh es, statt in Daten. Im Allgemeinen führt man die Daten dann eval ' Ing.

Angebot erstellt Liste mit Datenstrukturen, zum Beispiel, die folgenden sind äquivalent:

(quote a)
'a

Es kann auch verwendet werden, um Listen zu erzeugen (oder Bäume):

(quote (1 2 3))
'(1 2 3)

Bist du wahrscheinlich am besten dran, bekommen eine introductary Buch über lisp, wie Practical Common Lisp (die verfügbar ist zu Lesen, on-line).

InformationsquelleAutor der Antwort Kyle Burton

In Emacs Lisp:

Was kann zitiert werden ?

Listen und Symbole.

Angabe einer Zahl ergibt die Zahl selbst:
'5 ist das gleiche wie 5.

Was passiert, wenn Sie zitieren, Listen ?

Beispiel:

'(one two) ausgewertet

(list 'one 'two) die Auswertung zu

(list (intern "one") (intern ("two"))).

(intern "one") erstellt ein symbol namens "one" und speichert es in einem "zentralen" hash-map, also immer wenn Sie sagen 'one dann das symbol mit der Bezeichnung "one" gesucht, dass zentral-hash-map.

Aber was ist ein symbol ?

Z.B. in OO-Sprachen (Java/Javascript/Python) ein symbol dargestellt werden können, als ein Objekt, das eine name Feld, das ist das symbol Namen wie "one" oben, und Daten und/oder code kann im Zusammenhang mit diesem Objekt.

So ein symbol in Python umgesetzt werden könnten:

class Symbol:
   def __init__(self,name,code,value):
       self.name=name
       self.code=code
       self.value=value

In Emacs-Lisp zum Beispiel ein symbol kann 1) Daten, die im Zusammenhang mit it UND (zur gleichen Zeit für das gleiche symbol) 2) code zugeordnet - je nach Kontext, entweder die Daten oder der code aufgerufen wird.

Beispielsweise in Elisp:

(progn
  (fset 'add '+ )
  (set 'add 2)
  (add add add)
)

ausgewertet 4.

Weil (add add add) bewertet als:

(add add add)
(+ add add)
(+ 2 add)
(+ 2 2)
4

So, zum Beispiel, indem die Symbol Klasse haben wir definiert in Python vor, diese add ELisp-Symbol sein könnte, das in Python geschrieben wie Symbol("add",(lambda x,y: x+y),2).

Vielen Dank für die Leute im IRC Channel #emacs für die Erklärung der Symbole und Zitate zu mir.

InformationsquelleAutor der Antwort jhegedus

Anoter kurze Antwort:

quote bedeutet, ohne zu bewerten, und backquote ist Zitat aber lassen hinteren Türen.

Eine gute Referenz:

Emacs Lisp Reference Manual machen es sehr klar

9.3 Zitieren

Durch die Besondere form zitieren, gibt Ihr einziges argument, wie geschrieben, ohne zu bewerten. Dies bietet eine Methode zum einschließen von Konstanten, Symbole und Listen, die nicht selbst bewerten Objekte in einem Programm. (Es ist nicht notwendig zu zitieren, selbst-Auswertung von Objekten wie zahlen, strings und Vektoren.)

Besondere Form: zitieren Objekt

This special form returns object, without evaluating it. 

Weil Zitat wird so oft verwendet in Programmen, Lisp bietet eine bequeme Lesen syntax. Ein Apostroph ("') gefolgt von einem Lisp-Objekt (in der read-syntax) erweitert, um eine Liste, deren erstes element ist Zitat, und deren zweites element ist das Objekt. So, die Lesen syntax 'x ist eine Abkürzung für (quote x).

Hier sind einige Beispiele von Ausdrücken, verwenden Zitat:

(quote (+ 1 2))
     ⇒ (+ 1 2)

(quote foo)
     ⇒ foo

'foo
     ⇒ foo

''foo
     ⇒ (quote foo)

'(quote foo)
     ⇒ (quote foo)

9.4 Backquote

Backquote-Konstrukte erlauben, Sie zu zitieren, eine Liste, aber selektiv auswerten Elemente der Liste. Im einfachsten Fall ist es identisch mit der speziellen form zitieren (im vorherigen Abschnitt beschrieben; siehe Zitieren). Zum Beispiel diese zwei Formen Ausbeute identische Ergebnisse:

`(a list of (+ 2 3) elements)
     ⇒ (a list of (+ 2 3) elements)

'(a list of (+ 2 3) elements)
     ⇒ (a list of (+ 2 3) elements)

Die spezielle Markierung ',' im argument backquote zeigt einen Wert, der nicht konstant ist. Die Emacs-Lisp-evaluator wertet das argument,',', und setzt den Wert in die Struktur der Liste:

`(a list of ,(+ 2 3) elements)
     ⇒ (a list of 5 elements)

Substitution mit ',' ist erlaubt, sich auf tieferen Ebenen der Verzeichnis-Struktur auch. Zum Beispiel:

`(1 2 (3 ,(+ 4 5)))
     ⇒ (1 2 (3 9))

Können Sie auch splice-einer bewerteten Wert in der resultierenden Liste, mit den speziellen marker ',@'. Die Elemente der spliced-Liste werden Elemente auf der gleichen Ebene wie die anderen Elemente der resultierenden Liste. Der entsprechende code ohne"", ist oft nicht lesbar. Hier sind einige Beispiele:

(setq some-list '(2 3))
     ⇒ (2 3)

(cons 1 (append some-list '(4) some-list))
     ⇒ (1 2 3 4 2 3)

`(1 ,@some-list 4 ,@some-list)
     ⇒ (1 2 3 4 2 3)

InformationsquelleAutor der Antwort Andrew_1510