Comment spécifier des types de fonctions dans les indices de type avec « typing.Callable » ?

Spécification des types de fonctions dans les indices de type

Dans les indices de type, spécifier le type d'une variable en tant que fonction peut sembler difficile sans une classe "typing.Function" dédiée ou conseils dans la PEP 483. Cependant, la solution réside dans l'utilisation de "typing.Callable".

En tirant parti "typing.Callable", vous pouvez déclarer des types de fonctions dans vos annotations. Par exemple :

from typing import Callable

def my_function(func: Callable):

Il est important de noter que « Callable » en lui-même est équivalent à « Callable[..., Any] ». Cela implique que la fonction appelable accepte n'importe quel nombre et type d'arguments (...) et renvoie une valeur de n'importe quel type (Any).

Si vous avez besoin de contraintes plus strictes, vous pouvez spécifier les types d'arguments d'entrée et renvoyer tapez explicitement. Par exemple, considérons la fonction "sum":

def sum(a: int, b: int) -> int: return a+b

Son annotation correspondante serait :

Callable[[int, int], int]

Dans cette annotation, les paramètres sont spécifiés entre crochets, et le retour type est spécifié comme deuxième élément entre crochets. La syntaxe pour spécifier les types de fonctions en général est :

Callable[[ParamType1, ParamType2, ..., ParamTypeN], ReturnType]

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!