Ist es möglich, einen Hinweis auf eine Lambda-Funktion einzugeben?

Derzeit können in Python die Parameter und Rückgabetypen einer Funktion wie folgt angegeben werden:

def func(var1: str, var2: str) -> int:
    return var1.index(var2)

Dies zeigt an, dass die Funktion zwei Zeichenfolgen akzeptiert und eine Ganzzahl zurückgibt.

Diese Syntax ist jedoch sehr verwirrend mit Lambdas, die wie folgt aussehen:

func = lambda var1, var2: var1.index(var2)

Ich habe versucht, Typhinweise sowohl für Parameter als auch für Rückgabetypen einzugeben, und ich kann keinen Weg finden, der keinen Syntaxfehler verursacht.

Ist es möglich, einen Hinweis auf eine Lambda-Funktion einzugeben? Wenn nicht, gibt es Pläne für Lambdas mit Typangaben oder einen Grund (neben dem offensichtlichen Syntaxkonflikt), warum nicht?

Sie können in Python 3.6 und höher mithilfe von PEP 526-Variablenanmerkungen arbeiten . Sie können die Variable, der Sie das lambdaErgebnis zuweisen , mit dem typing.CallableGenerikum versehen :

from typing import Callable

func: Callable[[str, str], int] = lambda var1, var2: var1.index(var2)

Dadurch werden die Typhinweisinformationen nicht an das Funktionsobjekt selbst angehängt, sondern nur an den Namespace, in dem Sie das Objekt gespeichert haben. Dies ist jedoch normalerweise alles, was Sie für Typhinweiszwecke benötigen.

Sie können jedoch auch einfach eine Funktionsanweisung verwenden. Der einzige Vorteil eines lambdaAngebots besteht darin, dass Sie eine Funktionsdefinition für einen einfachen Ausdruck in einen größeren Ausdruck einfügen können. Das obige Lambda ist jedoch nicht Teil eines größeren Ausdrucks, sondern immer nur Teil einer Zuweisungsanweisung, die es an einen Namen bindet. Genau das würde eine def func(var1: str, var2: str): return var1.index(var2)Aussage bewirken.

Beachten Sie, dass Sie auch keine Anmerkungen *argsoder **kwargsArgumente separat erstellen können, wie in der Dokumentation für folgende CallableZustände angegeben:

Es gibt keine Syntax, um optionale oder Schlüsselwortargumente anzugeben. Solche Funktionstypen werden selten als Rückruftypen verwendet.

Diese Einschränkung gilt nicht für ein PEP 544- Protokoll mit einer __call__Methode . Verwenden Sie diese Option, wenn Sie eine aussagekräftige Definition benötigen, welche Argumente akzeptiert werden sollen. Sie benötigen Python 3.8 oder installieren das typing-extensionsProjekt für einen Backport:

from typing-extensions import Protocol

class SomeCallableConvention(Protocol):
    def __call__(var1: str, var2: str, spam: str = "ham") -> int:
        ...

func: SomeCallableConvention = lambda var1, var2, spam="ham": var1.index(var2) * spam

Für den lambdaAusdruck selbst können Sie keine Anmerkungen verwenden (die Syntax, auf der Pythons Typhinweise basieren). Die Syntax ist nur für defFunktionsanweisungen verfügbar .

Aus PEP 3107 - Funktionsanmerkungen :

Die Syntax von Lambda unterstützt keine Anmerkungen. Die Syntax von Lambda kann geändert werden, um Anmerkungen zu unterstützen, indem Klammern um die Parameterliste erforderlich sind. Es wurde jedoch beschlossen , diese Änderung nicht vorzunehmen, weil:

• Es wäre eine inkompatible Änderung.
• Lambdas sind sowieso kastriert.
• Das Lambda kann immer in eine Funktion geändert werden.

Sie können die Anmerkungen weiterhin direkt an das Objekt anhängen. Das function.__annotations__Attribut ist ein beschreibbares Wörterbuch:

>>> def func(var1: str, var2: str) -> int:
...     return var1.index(var2)
...
>>> func.__annotations__
{'var1': <class 'str'>, 'return': <class 'int'>, 'var2': <class 'str'>}
>>> lfunc = lambda var1, var2: var1.index(var2)
>>> lfunc.__annotations__
{}
>>> lfunc.__annotations__['var1'] = str
>>> lfunc.__annotations__['var2'] = str
>>> lfunc.__annotations__['return'] = int
>>> lfunc.__annotations__
{'var1': <class 'str'>, 'return': <class 'int'>, 'var2': <class 'str'>}

Nicht, dass dynamische Annotationen wie diese Ihnen helfen würden, wenn Sie einen statischen Analysator über Ihre Typhinweise ausführen möchten.

Seit Python 3.6 können Sie (siehe PEP 526 ):

from typing import Callable
is_even: Callable[[int], bool] = lambda x: (x % 2 == 0)

Nein, es ist nicht möglich, es gibt keine Pläne, dies zu ändern, und die Gründe sind hauptsächlich syntaktisch.