Как сделать подклассы с параметрами-значениями, совместимыми с генериками Mypy? - PullRequest
Новая
       4

Как сделать подклассы с параметрами-значениями, совместимыми с генериками Mypy?

2 голосов
/ 27 октября 2019

Я ищу простой способ передачи параметра в подкласс. https://www.python.org/dev/peps/pep-0487/ обеспечивает такую ​​запись: class C(Base, arg=value). Это работает безупречно и корректно проверяет тип через mypy для обычного класса, но не получается с универсальным классом, наследующим некоторый Generic [T] (см. Код ниже). Что я пропустил?

Я использую Python 3.6.8 (стандартный Python3 из Ubuntu 18.04) и mypy 0.740.

Вот два минимальных автономных примера: один можно сложить в два. py-файлы, проверьте их тип и запустите.

этот код проверяет тип и работает нормально: 

# ok.py
# PEP 487, adapted from QuestBase example

class Foo(object):
    variable = "???"
    def __init_subclass__(cls, arg: str, **kwargs) -> None:
        cls.variable = arg
        super().__init_subclass__(**kwargs) # type: ignore

class Bar(Foo, arg="value"): ...

print(Bar.variable)

Этот тип проверяет тип, но не выполняется во время выполнения с TypeError: __init_subclass__() missing 1 required positional argument: 'arg': 

# problem.py
from typing import Generic, TypeVar
T = TypeVar('T')

# PEP 487, adapted from QuestBase example

class Foo(Generic[T]):
    variable = "???"
    def __init_subclass__(cls, arg: str, **kwargs) -> None:
        cls.variable = arg
        super().__init_subclass__(**kwargs) # type: ignore

class Bar(Foo[T], arg="value"): ... # crash

Журнал сбоев: 

Traceback (most recent call last):
  File "problem.py", line 12, in <module>
    class Bar(Foo[T], arg="value"): ... # crash
  File "/usr/lib/python3.6/typing.py", line 682, in inner
    return func(*args, **kwds)
  File "/usr/lib/python3.6/typing.py", line 1143, in __getitem__
    orig_bases=self.__orig_bases__)
  File "/usr/lib/python3.6/typing.py", line 978, in __new__
    self = super().__new__(cls, name, bases, namespace, _root=True)
  File "/usr/lib/python3.6/typing.py", line 137, in __new__
    return super().__new__(cls, name, bases, namespace)
  File "/usr/lib/python3.6/abc.py", line 133, in __new__
    cls = super().__new__(mcls, name, bases, namespace, **kwargs)
TypeError: __init_subclass__() missing 1 required positional argument: 'arg'

Очевидно, что сбой во внутренних файлах Python выявляет проблему в моем файле. Опять же, что я пропустил?

Существует ли действительно проверенное на типах решение или обходной путь?

Следующий пример не является хорошим решением (неправильно, но проверки типов): 

# fake.py
from typing import Generic, TypeVar
T = TypeVar('T')


class Foo(Generic[T]):
    variable = "???"

class Bar(Foo[T]):
    variable = "value"

class KO(Foo[T]):
    ... # forgot assignment but still typechecks


print(KO.variable) # "???"

Следующий пример, использующий функцию, которая создает класс, хорошо работает во время выполнения, но не проверяет тип: mypy не распознает результат функции как производный базовый класс: 

# param.py
from typing import Generic, TypeVar, Type
T = TypeVar('T')

class Foo(Generic[T]):
    variable = "???"

def bar(arg: str) -> Type[Foo[T]]:
    class C(Foo[T]):
        variable = arg
    return C

Bar: Type[Foo[float]] = bar("value")
print(Bar.variable)

class Baz(Bar): ... # doesn't typecheck
print(Baz.variable)

Журнал ошибок: 

param.py:16: error: Variable "param.Bar" is not valid as a type
param.py:16: error: Invalid base class "Bar"

1 Ответ

0 голосов
/ 27 октября 2019

В зависимости от вашей версии Python, Foo[T] может быть подклассом Foo, или это может быть какой-то другой странный объект. Python 3.6.8 является одной из версий, где Foo[T] является подклассом Foo. Так как это подкласс Foo, его нужно создать с некоторым значением arg, но у него его нет, поэтому возникает ошибка.

На Python 3.7 и 3.8, Foo[T]не подкласс Foo, и фактически это вообще не класс. На этих версиях ваш код должен работать нормально. (Я протестировал 3.7.0, и это сработало.) Но я бы не стал рассчитывать, что оно останется в порядке. Они продолжают вносить странные новые изменения во внутренние органы typing, поэтому в будущем все может сломаться.

...