J'ai lu PEP 612 (Variables de spécification des paramètres)

C'est le deuxième d'une série de PEP que j'ai entendus pour la première fois lorsque je scannais le README du vérificateur de Microsoft pour Python pyright. Cette fois, j'écrirai sur PEP 612 (Variables de spécification des paramètres).

Aperçu

• Lorsque vous essayez d'écrire un décorateur à usage général, il est très difficile d'écrire un type
• ** Je veux un moyen de représenter une fonction ** qui a les mêmes arguments que la fonction spécifiée

approche

• Résolu en ajoutant un type qui représente l'argument ParameterSpecification

Ajoutez ParameterSpecification comme type qui représente l'argument. La ParameterSpecification peut être utilisée en conjonction avec la Callable pour se comporter comme les génériques d'un objet appelable. Il est facile à comprendre si vous le considérez comme une version argument de TypeVar.

Exemple

Dans l'exemple suivant, l'argument de ʻadd_logging () est de type Callable [Ps, R] , et la valeur de retour est également de type Callable [Ps, R] `. Autrement dit, il s'agit d'un décorateur qui renvoie une fonction avec la même interface que la fonction spécifiée en argument.

Par conséquent, foo () décoré avec @ add_logging reste de type (x: int, y: str) -> int.

from typing import Callable, ParameterSpecification, TypeVar

Ps = ParameterSpecification("Ps")
R = TypeVar("R")

def add_logging(f: Callable[Ps, R]) -> Callable[Ps, R]:
    def inner(*args: Ps.args, **kwargs: Ps.kwargs) -> R:
        log_to_database()
        return f(*args, **kwargs)

    return inner


@add_logging
def foo(x: int, y: str) -> int:
    return x + 7

Il est difficile de taper ces décorateurs si le type ParameterSpecification n'est pas introduit.

Impressions

• Heureusement, je ne l'ai pas remarqué car je n'avais pas tapé le décorateur auparavant, mais c'est vrai que je ne peux pas le taper correctement sans ParameterSpecification.
• Le nom ParameterSpecification est un peu long, mais je ne pouvais penser à aucune alternative ...
• Il est dommage que tous les décorateurs ne soient pas résolus car on dit que ce PEP ne gère pas les décorateurs du type manipulant les arguments.
• Puisqu'il s'agit d'un projet, l'adoption n'a pas encore été décidée