Mar*_*oma 9 python-3.x python-decorators mypy
我有以下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
Run Code Online (Sandbox Code Playgroud)
当我运行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)
Run Code Online (Sandbox Code Playgroud)
为什么我会收到这些问题以及如何修复它?
Err*_*rse 17
该问题可能与Property setter not Accepted if not next to getter有关。
以下代码错误地引发错误:
Run Code Online (Sandbox Code Playgroud)class Config(object): @property def my_proprty(self): return None def _other(self): pass @my_proprty.setter def my_proprty(self, val): pass Error:Run Code Online (Sandbox Code Playgroud)mypytest.py: note: In class "Config": mypytest.py:12: error: Callable[[Any], Any] has no attribute "setter"
MyPy 关闭了该问题并将其标记为误报。到目前为止,他们似乎无意修复它。
我们没有立即解决此问题的计划,但我们很高兴收到 PR。- 尤卡L
将 getter 和 setter 移到彼此旁边(首先是 getter)应该可以解决这个问题。
将其视为一个功能:)
| 归档时间: |
|
| 查看次数: |
5879 次 |
| 最近记录: |