Ich habe versucht, CPython ein Post-Inkrement hinzuzufügen. Übersicht und Zusammenfassung

Ich habe versucht, CPython ein Post-Inkrement hinzuzufügen

Inkrement in CPython implementiert. Dieses Mal werde ich den Umriss des Inkrements und die erzielten Ergebnisse vorstellen. In der nächsten Implementierungsausgabe werden wir uns die Implementierungsmethode in chronologischer Reihenfolge ansehen.

Linkliste

Alle drei Male plus zusätzliche Ausgabe. Übersicht und Zusammenfassung des Hinzufügens von Post-Inkrement zu CPython [Ich habe versucht, CPython [Implementierung] ein Post-Inkrement hinzuzufügen (http://qiita.com/DOSS_INCREMENT/items/8b050847145f635211e2) Liste aller Änderungen, die durch Hinzufügen eines Post-Inkrements zu CPython vorgenommen wurden Zusätzliche Ausgabe zum Hinzufügen von Post-Inkrement zu CPython

rutschen

Bitte haben Sie zunächst eine kurze Zusammenfassung der Ergebnisse Folie.

Spezifikation

Es funktioniert so.

>>> i=0
>>> i++
0
>>> i
1


>>> lst=[x for x in range(5)]
>>> lst
[0, 1, 2, 3, 4]
>>> lst[0]++
0
>>> lst
[1, 1, 2, 3, 4]

>>> class cls:
...     a=5
...
>>> cls_obj=cls()
>>> cls_obj.a
5
>>> cls_obj.a++
5
>>> cls_obj.a
6

Inkrement kann nicht nur für Variablen, sondern auch für Listen und Mitgliedsvariablen implementiert werden. Außerdem wird die Auswertung gleichzeitig mit dem Umschreiben der Variablen zurückgegeben.

Ergebnisse erhalten

Folgendes habe ich beim Betrachten des CPython 3.5.0-Quellcodes bei der Implementierung von Inkrementen gefunden.

Über den Betrieb von CPython

Das Python-Skript wird wie folgt ausgeführt.

• Phrasenanalyse
  • Include/tokenizer.h
  • Parser/tokenizer.c
• Parsen
  • Grammar/Grammar
• Python-Grammatik in EBNF geschrieben. Von hier aus wird das Auto-Hammel, das CST erstellt, zum Zeitpunkt von Make automatisch generiert.
  • Parser/Python.asdl --ASDL ist wahrscheinlich eine Sprache vom Typ Abstrakt und Schema-Definition. Ich bin nicht sicher, aber es sagt wahrscheinlich, welche Art von Baum aus Anweisungen und Operatoren besteht.
  • Python/ast.c --Erstellen Sie AST (Abstract Syntax Tree) aus CST (Concrete Syntax Tree), das aus dem Programm erstellt wurde, das automatisch von Grammatik / Grammatik oben generiert wurde
  • Modules/parsermodule.c
• Bestätigen Sie, dass der erwartete Baum generiert wird --Kompilieren
  • Lib/opcode.py
• Es wurde verwendet, um eine Datei mit OPCODE zu erstellen, die wie STORE mit dem Namen opcode.h definiert ist
  • Python/compile.c --Kompilieren Sie den Baum in Bytecode --Ausführen
  • Python/ceval.c
• Das Herzstück der Python Virtual Machine, die Bytecode liest und ausführt
• Python Virtual Machine ist eine Stapelmaschine, die Stapel anstelle von Registern verwendet, um Vorgänge auszuführen. Ich fand heraus, dass JVM, .NET Framework VES und Ruby YARV ebenfalls Stapelmaschinen sind.

So ändern Sie die Python-Syntax

Im Python-Entwicklerhandbuch finden Sie eine Seite mit dem Namen 23. Ändern der CPython-Grammatik, auf die Sie verweisen können. Das ist jedoch nicht genug, deshalb habe ich einige spezifischere Änderungen zusammengefasst.

1. Wenn Sie das reservierte Wort in ein anderes Wort ändern möchten, z. B. "Ich möchte für jedes Wort anstelle von für schreiben".

• Manchmal müssen Sie nur die Grammatik / Grammatik entsprechend ändern
• Sie müssen nur den Teil "for" in "(" for "|" foreach ")" ändern, aber wenn Sie das tiefe "elif" neu schreiben, befindet es sich in Python / ast.c. Es scheint, dass es notwendig ist, um ast.c zu ändern, weil es mit der Behauptung von (unbestätigt) fallen wird.

1. Wenn Sie eine Zeichenfolge verwenden möchten, die in Python nicht verwendet wird, z. B. "Ich möchte verwenden können! Statt für".

• Zusätzlich zum Ändern der Grammatik / Grammatik wie oben definieren Sie Token in Include / tokenizer.h, Parser / tokenizer.c

1. Wenn Sie eine Grammatik hinzufügen möchten, die Symbole verwendet, die bereits in anderen Bedeutungen verwendet werden -Beispiel: Listeneinschlussnotation[x + 1 | x <- range(10)]Ändern, um schreiben zu können (|Wird bereits im Sinne von Bit ODER verwendet) -Da die geschnitzten Token nacheinander an den automatisch generierten Parser übergeben werden, wird die Bitoperation zum Zeitpunkt davor ausgeführt.|Oder Listeneinschlussnotation|Ich dachte, es wäre gut zu beurteilen, ob es so ist, aber ich gab auf, weil es einige Zeit dauern würde, dies von Grund auf neu zu machen. ――Ich denke, es sollte in erster Linie vom Parser durchgeführt werden, aber ist die Python-Grammatik, die ursprünglich LL (1) ist, nicht mehr LL (1)? → Es scheint notwendig, den Teil der automatischen Generierung des Parsers zu lesen, den ich nicht berührt habe, und die Fähigkeit des Parsers zu kennen

• Ich habe es nicht ganz verstanden (aus diesem Grund habe ich in diesem Experiment "$" anstelle von "|" implementiert und betrogen).

1. Wenn Sie eine Zuckerbeschichtungssyntax definieren möchten

• Zusätzlich zu Tokenizer. *, Grammatik, scheint es gut, es in einen synonymen Baum mit Python / ast.c. umzuwandeln.

1. Wenn Sie eine Syntax hinzufügen möchten, die über den Rahmen von Ausdrücken und Sätzen hinausgeht oder in vorhandenen nicht vorhanden ist --tokenizer, Grammatik, .. Manchmal sollte compile.c auch netten Bytecode ausspucken. Definieren Sie gegebenenfalls auch einen neuen Operationscode und dessen Interpretation

Übrigens, wenn Sie eine destruktive Änderung an einer Melodie vornehmen, können Sie die Bibliothek zum Zeitpunkt der Installation nicht kompilieren.

In dieser Inkrement-Implementierung gab es mindestens einen Ausdruck "++ 2" und es wurde ein Fehler ausgegeben (es ist ein Rätsel, warum er überhaupt so geschrieben wurde).

compound_stmt: if_stmt | while_stmt | for_stmt | try_stmt | with_stmt | funcdef | classdef | decorated
if_stmt: 'if' test ':' suite ('elif' test ':' suite)* ['else' ':' suite]
while_stmt: 'while' test ':' suite ['else' ':' suite]
for_stmt: 'for' exprlist 'in' testlist ':' suite ['else' ':' suite]