眾所周知，python是一種動(dòng)態(tài)類(lèi)型語(yǔ)言，但是，從v3.6版本開(kāi)始，開(kāi)始支持靜態(tài)類(lèi)型的寫(xiě)法。

了解python的靜態(tài)類(lèi)型，有助于我們封裝更加可靠和易于維護(hù)的工具和庫(kù)。

動(dòng)態(tài)和靜態(tài)類(lèi)型

動(dòng)態(tài)和靜態(tài)類(lèi)型本來(lái)是區(qū)分語(yǔ)言種類(lèi)的一個(gè)指標(biāo)，

動(dòng)態(tài)和靜態(tài)語(yǔ)言各有優(yōu)勢(shì)和適用的場(chǎng)景，不能說(shuō)那個(gè)一定比另一個(gè)好。

選擇靜態(tài)類(lèi)型或動(dòng)態(tài)類(lèi)型語(yǔ)言應(yīng)根據(jù)具體的需求和情況進(jìn)行權(quán)衡和評(píng)估。

在實(shí)際開(kāi)發(fā)中，也可以根據(jù)項(xiàng)目的需要選擇不同的語(yǔ)言進(jìn)行組合使用，以充分發(fā)揮各語(yǔ)言的優(yōu)勢(shì)。

動(dòng)態(tài)語(yǔ)言?xún)?yōu)劣點(diǎn)

動(dòng)態(tài)語(yǔ)言的優(yōu)勢(shì)主要有：

• 靈活性和簡(jiǎn)潔性：動(dòng)態(tài)類(lèi)型語(yǔ)言不要求顯式聲明變量的類(lèi)型，可以根據(jù)上下文自動(dòng)進(jìn)行類(lèi)型推斷，簡(jiǎn)化了代碼的編寫(xiě)和理解。
• 更少的代碼量：動(dòng)態(tài)類(lèi)型語(yǔ)言的代碼通常比靜態(tài)類(lèi)型語(yǔ)言更簡(jiǎn)潔，減少了代碼量和開(kāi)發(fā)時(shí)間。
• 更少的類(lèi)型轉(zhuǎn)換：由于動(dòng)態(tài)類(lèi)型語(yǔ)言在運(yùn)行時(shí)進(jìn)行類(lèi)型檢查和類(lèi)型轉(zhuǎn)換，可以自動(dòng)進(jìn)行一些類(lèi)型轉(zhuǎn)換，減少了開(kāi)發(fā)者手動(dòng)轉(zhuǎn)換類(lèi)型的工作。

動(dòng)態(tài)語(yǔ)言的劣勢(shì)主要有：

• 容易出現(xiàn)隱式類(lèi)型轉(zhuǎn)換錯(cuò)誤：由于動(dòng)態(tài)類(lèi)型語(yǔ)言在運(yùn)行時(shí)進(jìn)行類(lèi)型轉(zhuǎn)換，可能會(huì)出現(xiàn)一些隱式的類(lèi)型轉(zhuǎn)換錯(cuò)誤，增加了調(diào)試的難度和成本。
• 可讀性和可維護(hù)性較差：動(dòng)態(tài)類(lèi)型語(yǔ)言中，變量的類(lèi)型信息不夠明確，代碼可讀性和可維護(hù)性較差，增加了代碼理解和維護(hù)的難度。

靜態(tài)語(yǔ)言的優(yōu)劣點(diǎn)

靜態(tài)類(lèi)型語(yǔ)言的優(yōu)勢(shì)主要有：

• 更嚴(yán)格的類(lèi)型檢查：靜態(tài)類(lèi)型語(yǔ)言要求變量在使用之前必須聲明其類(lèi)型，并在編譯時(shí)進(jìn)行類(lèi)型檢查，可以避免一些常見(jiàn)的類(lèi)型錯(cuò)誤，提高代碼的可靠性。
• 更早的錯(cuò)誤檢測(cè)：由于靜態(tài)類(lèi)型語(yǔ)言在編譯時(shí)進(jìn)行類(lèi)型檢查，可以在代碼運(yùn)行之前捕獲一些潛在的錯(cuò)誤，減少調(diào)試時(shí)間和成本。
• 更好的可讀性和可維護(hù)性：靜態(tài)類(lèi)型語(yǔ)言中，變量的類(lèi)型信息更加明確，代碼更易于理解和維護(hù)，減少了開(kāi)發(fā)者之間的溝通成本。

靜態(tài)類(lèi)型語(yǔ)言的劣勢(shì)主要有：

• 代碼量較大：由于需要顯式聲明變量的類(lèi)型，靜態(tài)類(lèi)型語(yǔ)言的代碼量通常較大，增加了代碼的復(fù)雜度和開(kāi)發(fā)時(shí)間。
• 程序員需要更多的類(lèi)型知識(shí)：使用靜態(tài)類(lèi)型語(yǔ)言需要對(duì)類(lèi)型系統(tǒng)有一定的了解，并且需要花費(fèi)更多的時(shí)間來(lái)處理類(lèi)型轉(zhuǎn)換和類(lèi)型檢查。

python靜態(tài)類(lèi)型

根據(jù)經(jīng)驗(yàn)，一般偏底層或算法的應(yīng)用會(huì)用靜態(tài)語(yǔ)音來(lái)編寫(xiě)，偏應(yīng)用層或者腳本的應(yīng)用會(huì)用動(dòng)態(tài)語(yǔ)言來(lái)編寫(xiě)。

如今，python可以支持靜態(tài)類(lèi)型的方式來(lái)編寫(xiě)代碼，必然能夠讓它的應(yīng)用范圍進(jìn)一步擴(kuò)大。

靜態(tài)類(lèi)型語(yǔ)法

變量定義：

variable_name: type

復(fù)合類(lèi)型：

from typing import Dict, List, Tuple

函數(shù)定義：

def function_name(param: type)-> return_type:

靜態(tài)類(lèi)型示例

一般變量示例：

i: int = 1
s: str= "abc"
print(i, s)
#運(yùn)行結(jié)果：
1 abc

復(fù)合類(lèi)型示例：

from typing import Dict, List, Tuple
numbers: List[int] = [1, 2, 3, 4, 5, 100]
numbers_dict: Dict[str, int] = {
    "one": 1,
    "two": 2,
    "three": 3,
    "four": 4,
    "five": 5,
    "hundred": 100,
}
multi_type_tuple: Tuple[str, int, bool] = ("one", 1, False)
print(numbers)
print(numbers_dict)
print(multi_type_tuple)
#運(yùn)行結(jié)果：
[1, 2, 3, 4, 5, 100]
{'one': 1, 'two': 2, 'three': 3, 'four': 4, 'five': 5, 'hundred': 100}
('one', 1, False)

函數(shù)示例：

def sum(a: int, b: int) -> int:
    return a + b
print(sum(10, 20))
#運(yùn)行結(jié)果：
30

靜態(tài)類(lèi)型檢查

python本質(zhì)上畢竟還是動(dòng)態(tài)語(yǔ)言，雖然支持按照靜態(tài)類(lèi)型的語(yǔ)法寫(xiě)代碼，

但是代碼執(zhí)行時(shí)還是以動(dòng)態(tài)類(lèi)型的方式去運(yùn)行的。

比如下面的示例（test.py）：

def sum(a: int, b: int) -> int:
    return a + b
print(sum(10, 20))
print(sum("10", "20")) # 你的IDE也許會(huì)提示類(lèi)型錯(cuò)誤， 但是仍然可以執(zhí)行
#運(yùn)行結(jié)果：
30
1020

上面的代碼也許會(huì)提示類(lèi)型錯(cuò)誤（根據(jù)你的IDE配置情況來(lái)看），

但是執(zhí)行還是可以執(zhí)行，這樣，我們靜態(tài)類(lèi)型的寫(xiě)法就沒(méi)有意義了。

我們的原意是希望像靜態(tài)類(lèi)型語(yǔ)言一樣，在實(shí)際執(zhí)行前檢查類(lèi)型是否合法。

這時(shí)，我們可以使用mypy 工具來(lái)檢查我們代碼中的類(lèi)型情況。

pip install mypy

簡(jiǎn)單封裝一個(gè)檢查類(lèi)型的腳本(check_run.py）：

import subprocess
import sys
def type_check(script):
    output = subprocess.run(['mypy', script], stdout=subprocess.PIPE).stdout
    return output.decode('utf-8')
def run(script):
    output = subprocess.run(['python3.6', script])
if __name__ == '__main__':
    script = sys.argv[1]
    mypy_output = type_check(script)
    if mypy_output != '':
        print(mypy_output)
    else:
        run(script)

用上面的 test.py 作為測(cè)試腳本，默認(rèn)執(zhí)行：

$ python ./test.py
30
1020

加上檢查類(lèi)型的功能，mypy會(huì)幫助我們檢查出來(lái)代碼中的類(lèi)型問(wèn)題：

$ python check_run.py test.py
test.py:9: error: Argument 1 to "sum" has incompatible type "str"; expected "int"  [arg-type]
test.py:9: error: Argument 2 to "sum" has incompatible type "str"; expected "int"  [arg-type]
Found 2 errors in 1 file (checked 1 source file)

總結(jié)

python中加入靜態(tài)類(lèi)型，讓我們寫(xiě)代碼時(shí)多了一個(gè)選擇，并不是一定要用這種靜態(tài)類(lèi)型的寫(xiě)法。

我們之前使用python的方式仍然有效的。

我想，主要原因還是在于python中已經(jīng)應(yīng)用在很多嚴(yán)謹(jǐn)?shù)臄?shù)值計(jì)算方面，

特別是在人工智能興起之后，python也隨之大放異彩，逐漸滲透到一些底層的場(chǎng)景中。

這時(shí)，對(duì)python的穩(wěn)定性和可維護(hù)性的要求遠(yuǎn)遠(yuǎn)大于其易用性了，所以，才會(huì)開(kāi)始支持這種靜態(tài)類(lèi)型語(yǔ)言的寫(xiě)法。

到此這篇關(guān)于詳解Python中靜態(tài)類(lèi)型語(yǔ)言的寫(xiě)法的文章就介紹到這了,更多相關(guān)Python靜態(tài)類(lèi)型語(yǔ)言?xún)?nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評(píng)論