python模块, typing模块提高代码健壮性,在pycharm中

python模块, typing模块提高代码健壮性,在pycharm中

一

先看代码

代码简单就不做剖析了

from typing import List, Tuple, Dict
def test(a: int, string: str, f: float, b: bool) -> Tuple[List, Tuple, Dict, bool]:
    ll = [1, 2, 3, 4]
    dic = {"xxx": f}
    tup = (string, a, string)
    boo = b
    return ll, tup, dic, boo


print(test(1,'2',2.2,True))
//返回值指定为tuple里面的类型, 如果是其他类型会抛出异常

当我们输错类型时会出现提示效果

解释:

Python是一门弱类型的语言，很多时候我们可能不清楚函数参数类型或者返回值类型，很有可能导致一些类型没有指定方法，在写完代码一段时间后回过头看代码，很可能忘记了自己写的函数需要传什么参数，返回什么类型的结果，就不得不去阅读代码的具体内容，降低了阅读的速度，typing模块可以很好的解决这个问题。

作用

• 类型检查，防止运行时出现参数和返回值类型不符合。

• 作为开发文档附加说明，方便使用者调用时传入和返回参数类型。

• 该模块加入后并不会影响程序的运行，不会报正式的错误，只有提醒。

注意：typing模块只有在python3.``5``以上的版本中才可以使用,pycharm目前支持typing检查

注意

• 在传入参数时通过“参数名:类型”的形式声明参数的类型；
• 返回结果通过"-> 结果类型"的形式声明结果的类型。
• 在调用的时候如果参数的类型不正确pycharm会有提醒，但不会影响程序的运行。
• 对于如list列表等，还可以规定得更加具体一些，如：“-> List[str]”,规定返回的是列表，并且元素是字符串。

二

typing常用类型

• int,long,float: 整型,长整形,浮点型;
• bool,str: 布尔型，字符串类型；
• List, Tuple, Dict, Set:列表，元组，字典, 集合;
• Iterable,Iterator:可迭代类型，迭代器类型；
• Generator：生成器类型；

三

python天生支持多态, 迭代器中的元素可能多种

from typing import List, Union
def func(a: int, string: str) -> List[int or str]:
    list1 = []
    list1.append(a)
    list1.append(string)
    return list1

def get_next_id() -> Union[int, None]:
    # return 1
    return None
使用or关键字表示多种类型, 也可以是 Union

Union: 并集, 返回值要么是整形, 要么是None