Как я могу использовать @property setters и сделать mypy счастливым? - PullRequest
2 голосов
/ 26 сентября 2019

У меня есть следующий example.py файл:

class Location(object):
    def __init__(self, latitude, longitude):
        self.latitude = latitude
        self.longitude = longitude

    @property
    def latitude(self):
        return self._latitude

    @property
    def longitude(self):
        return self._longitude

    @latitude.setter
    def latitude(self, latitude):
        """Setter for latiutde."""
        if not (-90 <= latitude <= 90):
            raise ValueError('latitude was {}, but has to be in [-90, 90]'
                             .format(latitude))
        self._latitude = latitude

    @longitude.setter
    def longitude(self, longitude):
        """Setter for longitude."""
        if not (-180 <= longitude <= 180):
            raise ValueError('longitude was {}, but has to be in [-180, 180]'
                             .format(longitude))
        self._longitude = longitude

    def __repr__(self):
        return 'Location({}, {})'.format(self.latitude, self.longitude)

    __str__ = __repr__


munich = Location(48.137222222222, 11.57555)
print(munich)
try:
    munich.latitude = 200
    print("This should not work")
except ValueError:
    pass

Когда я запускаю mypy example.py (mypy версия 0.73), я получаю пару ошибок:

$ mypy example.py 
example.py:14: error: Name 'latitude' already defined on line 6
example.py:14: error: "Callable[[Any], Any]" has no attribute "setter"
example.py:22: error: Name 'longitude' already defined on line 10
example.py:22: error: "Callable[[Any], Any]" has no attribute "setter"
example.py:39: error: Property "latitude" defined in "Location" is read-only
Found 5 errors in 1 file (checked 1 source file)

ПочемуЯ получаю их, и как я могу это исправить?

1 Ответ

1 голос
/ 26 сентября 2019

Проблема, вероятно, связана с Установщик свойства не принят, если не рядом с получателем .

Следующий код неправильно вызывает ошибку:

class Config(object):

    @property
    def my_proprty(self):
        return None

    def _other(self):
        pass

    @my_proprty.setter
    def my_proprty(self, val):
        pass Error:
mypytest.py: note: In class "Config": mypytest.py:12: error:
Callable[[Any], Any] has no attribute "setter"

MyPy закрыл проблему и пометил ее как ложноположительную.Похоже, что на данный момент у них нет намерений исправлять это.

У нас нет немедленных планов по устранению этой проблемы, но мы рады получить PR.- JukkaL

Перемещение ваших геттеров и сеттеров рядом друг с другом (сначала с геттером) должно решить проблему.

Считайте, что это особенность:)

...