还能这样操作？-Python静态类型检查

mypy是什么？

众所周知，区别于C和Java这些静态语言，Python是一个动态类型的语言，动态语言在编写代码时极其便捷，但是会留下很多的隐患和阅读困难，特别是在多人参与的大型项目中。于是就有了mypy这个Python静态类型检查的第三方工具。

mypy的安装

mypy需要Python3.4以上版本，使用pip安装：

运行mypy

mypy只是检查程序是否存在错误，而不会真正运行程序，当程序运行时，mypy的标记被当成注释而不被解释器执行。

或者

mypy报告的所有错误基本上都是警告，只要你愿意可以自行忽略。

typing模块

我们需要在代码中进行类型注释，这些类型需要从typing模块导入:

如何在代码中进行注释

1.变量

2.内置类型

3.函数

4.复杂情况

5.标准“鸭子类型”

在典型的Python代码中，许多可以将列表或dict作为参数的函数只需要它们的参数以某种方式“类似列表”或“类似dict”。“list-like”或“dict-like”（或类似其他东西）的特定含义称为“duck type”，并且在Python中常见的几种duck类型是标准化的。

6.类

7.协程和ASYNCIO

8.杂项