PEP 3107 (Funktionsanmerkungen)

PEP 572 - Funktionsanmerkungen

Anmerkung zum Standard

Rechtfertigung

Grundlagen der Funktionsanmerkung

1. Anmerkungen zu Parametern und Rückgabewerten von Funktionen sind vollständig optional.
2. Anmerkungen sind nichts anderes als eine Möglichkeit, beliebige Ausdrücke zur Kompilierungszeit mit verschiedenen Teilen einer Funktion zu verknüpfen.
   
   Python selbst achtet nicht auf Anmerkungen. Das einzige, was Sie tun können, ist, dass Sie darauf zugreifen können. Dies wird im Abschnitt "Zugriff auf Funktionsanmerkungen" weiter unten beschrieben.
   
   Anmerkungen sind nur dann sinnvoll, wenn sie von Bibliotheken von Drittanbietern interpretiert werden. Mit Funktionsanmerkungen können sie tun, was sie wollen. Beispielsweise kann eine Bibliothek Zeichenfolgenanmerkungen verwenden, um verbesserte Referenzdaten bereitzustellen, zum Beispiel:
   
   

   def compile(source: "something compilable",
               filename: "where the compilable thing comes from",
               mode: "is this a single statement or a suite?"):
       ...

   
   Eine andere Bibliothek verwendet möglicherweise Python-Funktions- und Methodenanmerkungen, um die Typübereinstimmung zu überprüfen. Diese Bibliothek kann mithilfe von Anmerkungen anzeigen, welche Arten von Eingabedaten erwartet werden und welche Art von Daten zurückgegeben werden. Vielleicht wird es so etwas sein:
   
   

   def haul(item: Haulable, *vargs: PackAnimal) -> Distance:
       ...

   
   Wir wiederholen noch einmal: Die Anmerkungen von keinem der Beispiele an sich haben irgendeine Bedeutung. Sie erhalten nur in Kombination mit Bibliotheken von Drittanbietern eine echte Bedeutung.
   
3. Wie aus Absatz 2 hervorgeht, versucht dieses PEP nicht, einen Standardmechanismus für die Verarbeitung von Anmerkungen einzuführen, selbst für integrierte Typen. All diese Arbeiten werden Bibliotheken von Drittanbietern zugewiesen.

Syntax

Parameter

def foo (a: , b:  = 5):
    ...

def foo(*args: expression, **kwargs: expression):
    ...

def foo((x1, y1: expression),
        (x2: expression, y2: expression)=(None, None)):
    ...

Rückgabewerte

def sum() -> expression:
    ...

decorator: '@' dotted_name [ '(' [arglist] ')' ] NEWLINE
decorators: decorator+
funcdef: [decorators] 'def' NAME parameters ['->' test] ':' suite
parameters: '(' [typedargslist] ')'
typedargslist: ((tfpdef ['=' test] ',')*
                ('*' [tname] (',' tname ['=' test])* [',' '**' tname]
                 | '**' tname)
                | tfpdef ['=' test] (',' tfpdef ['=' test])* [','])
tname: NAME [':' test]
tfpdef: tname | '(' tfplist ')'
tfplist: tfpdef (',' tfpdef)* [',']

Lambdas

1. Dies würde die Abwärtskompatibilität verletzen.
2. Lambdas sind per Definition neutral und anonym
3. Lambdas können immer als Funktionen umgeschrieben werden

Erhalten Sie Zugriff auf Funktionsanmerkungen

def foo (a: 'x', b: 5 + 6, c: list) -> max (2, 9):
    ...

{'a': 'x',
 'b': 11,
 'c': list,
 'return': 9}

Anwendungsfälle

• Typinformationen bereitstellen
  • Typprüfung
  • IDE-Tipps zu erwarteten und zurückgegebenen Argumenttypen
  • Funktionsüberladung / generische Funktionen [ca. Funktionsüberladung ist in anderen Sprachen beliebt und besteht in der Existenz mehrerer Funktionen mit demselben Namen, aber gleichzeitig variiert die Anzahl der von ihnen akzeptierten Parameter.]
  • Brücken zwischen verschiedenen Programmiersprachen
  • Anpassung
  • Prädikatenlogikfunktionen
  • Zuordnung einer Datenbankabfrage
  • RPC-Parameter-Marshalling [ca. Beim Marshaling werden im RAM gespeicherte Informationen in ein Format konvertiert, das zum Speichern oder Übertragen geeignet ist. RPC - Remote Procedure Call]
• Bereitstellung anderer Informationen
  • Parameter und Rückgabewerte dokumentieren

Standardbibliothek

Pydoc und überprüfen Sie die Module

Link zu anderen PEPs

Funktionssignaturobjekte

Implementierung

Abgelehnte Angebote

• BDFL [. ] , , : « »
• stdlib , , . .
• , , .
• Trotz weiterer Diskussion wurde beschlossen, den Mechanismus für die Annotationsinteraktion nicht zu standardisieren. Eine solche Vereinbarung wäre zu diesem Zeitpunkt verfrüht. Wir möchten, dass sich diese Vereinbarungen auf der Grundlage einer realen Situation organisch entwickeln, und nicht versuchen, alle dazu zu zwingen, ein erfundenes System anzuwenden.