您好, 欢迎来到 !    登录 | 注册 | | 设为首页 | 收藏本站

我应该强制执行Python类型检查吗?

我应该强制执行Python类型检查吗?

别那样做。

使用“动态”语言(强类型化为值*,无类型化为变量,以及后期绑定)的要点是,您的函数可以是适当多态的,因为它们可以处理任何支持您接口的对象功能依赖于(“鸭式打字”)。

Python定义了许多通用协议(例如,可迭代),不同类型的对象可以实现这些通用协议而无需彼此关联。协议 本身 不是语言功能(不同于Java接口)。

通常,这样做的实际结果是,只要您了解语言的类型并进行适当的注释(包括使用文档字符串,以便其他人也可以理解程序中的类型),则通常可以编写较少的代码,因为您不必围绕类型系统进行编码。您将不必为不同的类型编写相同的代码,而只是使用不同的类型声明(即使这些类处于不相交的层次结构中),也不必弄清楚哪些类型转换是安全的,哪些类型的转换不是安全的,如果您只想尝试编写一段代码

从理论上讲,还有其他语言可以提供相同的功能:键入推断的语言。最受欢迎的是C ++(使用模板)和Haskell。从理论上(也许在实践中),您可以编写更少的代码,因为类型是静态解析的,因此您不必编写异常处理程序来处理传递错误的类型。我发现它们仍然需要您对类型系统进行编程,而不是对程序中的实际类型进行编程(它们的类型系统是定理证明,并且很容易理解,它们不会分析整个程序)。如果这听起来很不错,请考虑使用其中一种语言而不是python(或ruby,smalltalk或lisp的任何变体)。

除了对象类型测试外,在python(或任何类似的动态语言)中,您将希望使用异常来捕获对象不支持特定方法的情况。在这种情况下,要么让它上栈,要么抓住它,并针对不正确的类型引发异常。这种类型的“比请求权限要好得多”编码是惯用的python,它极大地有助于简化代码

*在实践中。在Python和Smalltalk中可以进行类更改,但很少。它也与以低级语言进行投射不同。

更新:您可以使用mypy在生产之外静态检查python。给您的代码加上注释,以便他们可以检查自己的代码是否一致,如果需要,可以这样做。或者如果他们想要的话

python 2022/1/1 18:36:48 有245人围观

撰写回答


你尚未登录,登录后可以

和开发者交流问题的细节

关注并接收问题和回答的更新提醒

参与内容的编辑和改进,让解决方法与时俱进

请先登录

推荐问题


联系我
置顶