EAFP和mypy可以共存吗？ 什么是mypy？

问题描述

EAFP

请求宽恕比允许容易。这种通用的Python编码风格假定存在有效的键或属性，并且在假定被证明为假的情况下捕获异常。这种干净快捷的样式的特征是存在许多try和except语句。该技术与C等其他许多语言通用的LBYL风格形成鲜明对比。

From Python Glossary

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 (将#修改为@）