如何解决EAFP和mypy可以共存吗? 什么是mypy?
EAFP
请求宽恕比允许容易。这种通用的Python编码风格假定存在有效的键或属性,并且在假定被证明为假的情况下捕获异常。这种干净快捷的样式的特征是存在许多try和except语句。该技术与C等其他许多语言通用的LBYL风格形成鲜明对比。
mypy
什么是mypy?
Mypy是Python的可选静态类型检查器。您可以在Python程序中添加类型提示(PEP 484),然后使用mypy进行静态类型检查。在程序中发现错误,甚至不运行它们!
您可以在程序中混合使用动态和静态输入。当静态类型不方便使用时,例如对于旧代码,您总是可以退回到动态类型。
以下是关于EAFP的YouTube精彩视频:https://youtu.be/x3v9zMX1s4s
我正在尝试使用mypy
,但是基本上每次我写一些EAFP代码时都会感到生气。
例如:
from contextlib import suppress
from typing import Optional
class MyClass:
def __init__(self):
self.__name: Optional[str] = None
@property
def name(self) -> Optional[str]:
return self.__name
@name.setter
def name(self,name: str):
self.__name = name
@property
def upper_name(self) -> Optional[str]:
with suppress(AttributeError):
return self.name.upper() # Item "None" of "Optional[str]" has no attribute "upper" - mypy(error)
return None
在此示例中,我希望upper_name
属性尝试将name
转换为大写,但是如果name
为None
,它将引发一个{{ 1}},然后被AttributeError
抑制,因此该函数将返回suppress(AttributeError)
。
我在底部有明确的None
,因为PEP 8说:
在return语句中保持一致。函数中的所有return语句应该返回一个表达式,或者都不返回。如果任何return语句返回一个表达式,则不返回任何值的任何return语句都应将其显式声明为return None,并且在函数末尾(如果可以到达)应存在显式return语句。
我以issue (#9467) to the mypy
repo的身份提交了此文件,但该文件几乎立即被关闭。
我确实认为return None
可以理解EAFP。
例如,如果它看到类型mypy
,并且看到一个表达式,则如果接收到Optional[something]
,该表达式将引发SomethingError
,但是如果接收到None
,则表达式成功,并且该表达式包含在可以处理something
的{{1}}或try
块中,则可以假定它是一些EAFP代码,并且不会感到惊讶。
但是现在的方式是,不要让上面的例子吓到我,我必须将其更改为:
suppress
另一个例子:
假设我可以有一个SomethingError
,可以有一个from typing import Optional
class MyClass:
def __init__(self):
self.__name: Optional[str] = None
@property
def name(self) -> Optional[str]:
return self.__name
@name.setter
def name(self,name: str):
self.__name = name
@property
def upper_name(self) -> Optional[str]:
if self.name is not None:
return self.name.upper() # No error here this time
else:
return None
,可以有一个house
,有一个garage
,这样可以让我得到{ {1}}:
car
如果brand
是brand
,或者如果from contextlib import suppress
from my_module import house
car_brand = None
try:
car = house.garage.car
except AttributeError:
pass
else:
car_brand = car.brand
是house
,或者如果None
是garage
,则{{1} }将保留None
。但是,如果存在car
和None
和car_brand
的情况,它将尝试获取其None
。如果house
没有garage
,那么该错误将不会被抑制,因为car
必须具有brand
。
另一种避免出现car
错误的方法是:
brand
我认为这不是很可读或干净的。
我认为有效的另一点是避免比赛条件。如果我首先读取一个值以检查它是否有效,然后再次读取它以使用它是否有效,那么我相信没有什么可以保证我第二次读取它时会得到与第一次相同的值。 / p>
以“ EAFP”方式进行操作时,我只读取一次值,因此值在读取后是否急剧变化并不重要。
我的示例并不完美,但我认为它们可以很好地传达想法。
所以我的问题是,如何使用EAFP样式并且仍然使用car
?我是否可以给brand
提供标志或论据,以免仅凭EAFP的存在就吓坏了?还是有一种“更好”的EAFP做事方式,不会让mypy
难过?
- Python
from my_module import house car_brand = None if house is not None: garage = house.garage if garage is not None: car = garage.car if car is not None: car_brand = car.brand
- mypy
mypy
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。