Как создать неуниверсальный TypeAlias ​​для Callable в Python ⇐ Python

[Anonymous]

Я успешно (так что mypy не жалуется) написал подсказки типов для декораторов с параметрами, которые украшают методы класса в Python 3.11.9:

Код: Выделить всё

import functools
from typing import Callable, TypeVar

MyClassType = TypeVar("MyClassType", bound=object)
T = TypeVar("T")

def reader(uri: str) -> Callable[[Callable[[MyClassType], T]], Callable[[MyClassType], T]]:
def decorator(fun: Callable[[MyClassType], T]) -> Callable[[MyClassType], T]:
@functools.wraps(fun)
def wrapper(subsys: MyClassType) -> T:
return fun(subsys)
wrapper.uri = uri
return wrapper
return decorator

def writer(uri: str) -> Callable[[Callable[[MyClassType, T], None]], Callable[[MyClassType, T], None]]:
def decorator(fun: Callable[[MyClassType, T], None]) -> Callable[[MyClassType, T], None]:
@functools.wraps(fun)
def wrapper(subsys: MyClassType, value: T) -> None:
fun(subsys, value)
wrapper.uri = uri
return wrapper
return decorator

class MyClass:
@reader("test")
def _my_reader(self) -> int:
return 1

@writer("test")
def _my_writer(self, val: float) -> None:
print(val)

Теперь я хотел бы сократить возвращаемые декоратором подсказки типа следующим образом:

Код: Выделить всё

import functools
from typing import Callable, TypeVar, TypeAlias

MyClassType = TypeVar("MyClassType", bound=object)
T = TypeVar("T")

ReaderMethod: TypeAlias = Callable[[MyClassType], T]
WriterMethod: TypeAlias = Callable[[MyClassType, T], None]

# ReaderMethod = TypeVar("ReaderMethod", bound=Callable[[MyClassType], T])
# WriterMethod = TypeVar("WriterMethod", bound=Callable[[MyClassType, T], None])

def reader(uri: str) -> Callable[[ReaderMethod], ReaderMethod]:
def decorator(fun: ReaderMethod) -> ReaderMethod:
@functools.wraps(fun)
def wrapper(subsys: MyClassType) -> T:
return fun(subsys)
wrapper.uri = uri
return wrapper
return decorator

def writer(uri: str) -> Callable[[WriterMethod], WriterMethod]:
def decorator(fun: WriterMethod) -> WriterMethod:
@functools.wraps(fun)
def wrapper(subsys: MyClassType, value: T) -> None:
fun(subsys, value)
wrapper.uri = uri
return wrapper
return decorator

class MyClass:
@reader("test")
def _my_reader(self) -> int:
return 1

@writer("test")
def _my_writer(self, val: float) -> None:
print(val)

Ни некомментированная, ни комментированная версия ReaderMethod/WriterMethod не работает, mypy жалуется на строку 18, например: «Функция, возвращающая TypeVar, должна получить хотя бы один аргумент, содержащий ту же TypeVar», среди прочего (введите подсказку) проблемы. Что я делаю не так? Как я могу улучшить подсказки типов, чтобы у меня были эти псевдонимы ReaderMethod/WriterMethod и mypy был доволен?

Подробнее здесь: https://stackoverflow.com/questions/791 ... -in-python