Можно ли ввести проверку на основе установки подписей __init__ в Python? ⇐ Python

[Anonymous]

Предположим, у меня есть функция, которая создает экземпляр входящего класса.

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

def instantiate[T](class_: type[T], a: int, b: str) -> T:
return class_(a, b)

Я хочу, чтобы средство проверки типов могло определить, подходит ли класс для этой функции или нет, т.е. е. если его подпись __init__ поддерживает такую ​​установку.
Я думал об использовании протокола

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

class FitForInstantiate(Protocol):
__init__: Callable[[int, str], None]

а затем сказать, что класс T должен ему соответствовать.

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

def instantiate[T: FitForInstantiate](class_: type[T], a: int, b: str) -> T:
return class_(a, b)

Потом на занятия

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

class A:
def __init__(self, a: int, b: str):
self.a = a
self.b = b

class B:
def __init__(self, a: int, b: int):
self.a = a
self.b = b

pyright примет A в качестве аргумента для создания экземпляра, но выведет ошибку для B. Но если я затем разверну подпись A:

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

class A:
def __init__(self, a: int, b: str, c: list | None = None):
self.a = a
self.b = b
self.c = c or []

он ​​больше не будет соответствовать протоколу. И хотя он по-прежнему хорош для создания экземпляров, для него Pyright также выведет ошибку.
Есть ли способ использовать типизацию Python так, чтобы все классы соответствовали __init__< /code> подписи будут считаться правильным типом?

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