天天看點

python參數類型限定_python限定方法參數類型、傳回值類型、變量類型等

typing子產品的作用

自python3.5開始,pep484為python引入了類型注解(type hints)

類型檢查,防止運作時出現參數和傳回值類型、變量類型不符合。

作為開發文檔附加說明,友善使用者調用時傳入和傳回參數類型。

該子產品加入後并不會影響程式的運作,不會報正式的錯誤,隻有提醒pycharm目前支援typing檢查,參數類型錯誤會黃色提示

常用類型

int,long,float: 整型,長整形,浮點型

bool,str: 布爾型,字元串類型

list, tuple, dict, set:清單,元組,字典, 集合

iterable,iterator:可疊代類型,疊代器類型

generator:生成器類型

基本類型指定

示例

def test(a:int, b:str) -> str:

print(a, b)

return 1000

if __name__ == '__main__':

test('test', 'abc')

函數test,a:int 指定了輸入參數a為int類型,b:str b為str類型,-> str 傳回值為srt類型。

可以看到,在方法中,我們最終傳回了一個int,此時pycharm就會有警告;

當我們在調用這個方法時,參數a我們輸入的是字元串,此時也會有警告;

但非常重要的一點是,pycharm隻是提出了警告,但實際上運作是不會報錯,畢竟python的本質還是動态語言

複雜的類型标注

示例1

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])

示例2

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

不足之處

示例

from typing import list

def test(b: list[int]) -> str:

print(b)

return 'test'

if __name__ == '__main__':

test([1, 'a'])

從這個例子可以看出來,雖然我們指定了list[int]即由int組成的清單,但是,實際中,隻要這個清單中存在nt(其他的可以為任何類型),就不會出現警告

如您對本文有疑問或者有任何想說的,請點選進行留言回複,萬千網友為您解惑!