同。deftosum(n1:int, n2:int)-> int:return [n1, n2]print(tosum(1,3))比如上面的实例标识符，虽然在表达式颈部选定表达式回到的类别是两个int医美，但实际上在return后面却给了两个list类别的值。标识符运行下来也不能收起:[1,3][gf]275d[/gf]Python总是有这种“防时人不防无赖”的设计，比如除了专有表达式和专有表达式。[gf]275e[/gf]有些时候，工程项目某些表达式可能会被写得极短，贡献者其实也不能特别在乎内部方法论，只重视该表达式回到了甚么类别的值出来。但，看了表达式头是这种的：deffunc(a,b)-> c:（表达式体若干个行）再看表达式的return处，回到的值是这种的：return c再加上，表达式重新命名、附注不规范化的情形…我假如想知道这个回到值c是个甚么玩意儿，估计又要爬“家传标识符”了。[gf]275d[/gf]通常情况下，工程项目标识符中你看到表达式名和组件，再看回到值，这几段标识符的内部结构就能了解不落了，先期再结合一点悖论展开debug去校正，就基本就掌握这段标识符的商业用途了。[gf]275e[/gf]因此我建议在一些复杂的工程项目中，能规范化标识符重新命名的同时，也要中对组件，回到类别展开“有效的注解”。不然很容易校正了那句：在此我推荐大家采用两个组件– mypyMypy 是 Python 中的动态类别检查和器。Mypy 具有强大且更易采用的类别系统，具有很多杰出的优点，比如类别推测、C#、可初始化类别、位元类别、联合类别和内部结构子类别。mypy的简单采用加装pip install mypy[gf]275d[/gf]TIPS:mypy 须要 Python 3.5或更高版的环境才能运行。[gf]275e[/gf]采用XC610PA该文的标识符:deftosum(n1:int, n2:int)-> int:return [n1, n2]并留存成两个py文档（我重新命名成了test.py），然后采用cmd指示行询问处进入，标识符文档所处的方向下，采用指示：mypy test.py得到检查和的结果：test.py:2: error: Incompatible return value type (got “List[int]”, expected “int”)[return-value]Found 1 error in 1 file (checked 1 source file)根据提示信息return value type (got “List[int]”, expected “int”)[return-value]表示：他说他在第2行想一个return两个int类别的，但他领到了两个List，因此要给我收起。那我们修正下标识符:deftosum(n1:int, n2:int)-> int:return sum([n1, n2])再重新过两遍：Success: no issues found in 1 source file这次他告诫我，这是几段成功的标识符，没有任何issues。当然了，假如你没有对组件、表达式的类别展开“附注”，mypy是不能告诫你有严重错误的：deftosum(n1, n2):return [n1, n2]采用mypy指示后：Success: no issues found in 1 source file除了一种情形，只想让mypy帮你检查和某两个标识符块，那么这时，你只须要对不须要检查和行# type: ignore加进这句注解。deftosum(n1:int, n2:int)-> list:return [n1, n2]deftomultiple(n3:int,n4:int)-> int:return[n3, n4]# type: ignore采用mypy指示后：Success: no issues found in 1 source filePython中常见的内建类别：mypy不仅能对内建类别展开审核，还能对自订的类别展开审核。更多关于mypy低阶的采用，我可能还会原则上出三期全攻略今天的一分钟到时间了，下期见吧~
