python对函数的参数和返回值进行指定类型和检查

旧城等待， 2021-12-07 12:45 482阅读 0赞

python一直以来都不是开发大工程的主流语言，不管是前端还是后端，主要的原因其实就是以下几点：

1.  python是解释性语言，运行效率比java等语言慢；
2.  python是动态语言，在后期维护的成本非常高，很重要的一点就是没有进行类型检查，当然还包括新建变量不需要声明以及指定类型等等。

***但是，在python3.5之后，就新增了对函数参数和返回值的类型指定和检查，以及在新建变量时也可以指定类型。***

# 基本类型指定 #

例如，下面这个函数test，指定了输入参数a为int类型，而b为str类型，并且返回值为srt类型。可以看到，  
***在方法中，我们最终返回了一个int，此时pycharm就会有警告；  
当我们在调用这个方法时，参数a我们输入的是字符串，此时也会有警告；  
但非常重要的一点是，pycharm只是提出了警告，但实际上运行是不会报错，毕竟python的本质还是动态语言***  
![在这里插入图片描述][20190716220729648.png]

# 更为复杂的指定 #

除了上面的基本数据类型的指定，还可以进行集合相关类型的指定。

from typing import List
    Vector = List[float]
    
    def scale(scalar: float, vector: Vector) -> Vector:
        return [scalar * num for num in vector]
    
    # typechecks; a list of floats qualifies as a Vector.
    new_vector = scale(2.0, [1.0, -4.2, 5.4])

from typing import Dict, Tuple, Sequence
    
    ConnectionOptions = Dict[str, str]
    Address = Tuple[str, int]
    Server = Tuple[Address, ConnectionOptions]
    
    def broadcast_message(message: str, servers: Sequence[Server]) -> None:
        ...
    
    # The static type checker will treat the previous type signature as
    # being exactly equivalent to this one.
    def broadcast_message(
            message: str,
            servers: Sequence[Tuple[Tuple[str, int], Dict[str, str]]]) -> None:
        ...

***这里需要注意，元组这个类型是比较特殊的，因为它是不可变的。所以，当我们指定Tuple\[str, str\]时，就只能传入长度为2，并且元组中的所有元素都是str类型***

# 泛型指定 #

from typing import Sequence, TypeVar, Union
    
    T = TypeVar('T')      # Declare type variable
    
    def first(l: Sequence[T]) -> T:   # Generic function
        return l[0]

T = TypeVar('T')  # Can be anything
    A = TypeVar('A', str, bytes)  # Must be str or bytes
    A = Union[str, None] # Must be str or None

# 创建变量时的类型指定 #

from typing import NamedTuple
    
    class Employee(NamedTuple):
        name: str
        id: int = 3
    
    employee = Employee('Guido')
    assert employee.id == 3

# 更多个性化指定 #

我上面列举这些，基本上就可以满足我们的大部分需求，如果你想了解更多的话，可以到[python官网][python]，里面有非常详细的介绍。

# 不足之处 #

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneXVhbnNoaQ_size_16_color_FFFFFF_t_70]  
***从这个例子可以看出来，虽然我们指定了List\[int\]即由int组成的列表，但是，实际中，只要这个列表中存在nt（其他的可以为任何类型），就不会出现警告***  
欢迎关注同名公众号：“我就算饿死也不做程序员”。  
交个朋友，一起交流，一起学习，一起进步。  
![在这里插入图片描述][20200430113759346.jpg]

[20190716220729648.png]: /images/20211207/499a6aa464c14520ac801d73494946bb.png
[python]: https://docs.python.org/3/library/typing.html#module-typing
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3NneXVhbnNoaQ_size_16_color_FFFFFF_t_70]: /images/20211207/f8cdb137c0d9487b90c3261200c9b2d0.png
[20200430113759346.jpg]: /images/20211207/1323a3c57c7c4469924cf26e9cde53ae.png