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

Question

也许作为我使用强类型语言（Java）的日子的残余，我经常发现自己正在编写函数，然后强制进行类型检查。例如：

def orSearch(d, query):
    assert (type(d) == dict)
    assert (type(query) == list)

我应该继续这样做吗？这样做/不这样做有什么好处？

Answer 1

别那样做。

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

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

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

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

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

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

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