談 Python 3.12 泛型(Generics)改善的部分

泛型(Generics)是指在定義函式、類別時,不具體指定傳入、回傳值等的型別,而在使用的時候才明確指定型別的功能,是 TypeScript, Java 等程式語言的常見用法。

譬如對下列的 get_first() 函式來說,它其實不需要知道傳入的 list 值是什麼型別,但如果我們仍要為傳入的 list 定義所有可能的型別,那就太過麻煩了,所以泛型讓我們可以直接用 1 個代號表示(即範例中的 T ),代表它 list 裡的型別沒有特別限定,只需要在使用時具體指定即可(即範例中的 a: List[int] ):

from typing import List, TypeVar

T = TypeVar('T')

def get_first(l: List[T]) -> T:
    return l[0]

a: List[int] = [1, 2, 3]

first = get_first(a)

值得注意的是, 泛型不等於 typing.Any , 泛型是指型別可以後續使用時再決定即可, typing.Any 則是指接受各式各樣的型別。

雖然 Python 支援用 TypeVar 做泛型,不過演進到 3.12 又更加方便,改成可以省略使用 TypeVar 的部分,直接在函式、類別等定義泛型,所以前述範例又可以進一步改成下列形式:

from typing import List

def get_first[T](l: List[T]) -> T:
    return l[0]

a: List[int] = [1, 2, 3]

first = get_first(a)

最主要的部分是在函式、類別名稱之後加上 [泛型代號] ,就不需要使用 TypeVar 定義泛型的代號。

3.12 的泛型看起來是否更加簡潔、直觀了呢?

Facebook Threads X

對抗久坐職業傷害

研究指出每天增加 2 小時坐著的時間,會增加大腸癌、心臟疾病、肺癌的風險,也造成肩頸、腰背疼痛等常見問題。

然而對抗這些問題,卻只需要工作時定期休息跟伸展身體即可!

你想輕鬆改變現狀嗎?試試看我們的 PomodoRoll 番茄鐘吧! PomodoRoll 番茄鐘會根據你所設定的專注時間,定期建議你 1 項辦公族適用的伸展運動,幫助你打敗久坐所帶來的傷害!

贊助我們的創作

看完這篇文章了嗎? 休息一下,喝杯咖啡吧!

如果你覺得 MyApollo 有讓你獲得實用的資訊,希望能看到更多的技術分享,邀請你贊助我們一杯咖啡,讓我們有更多的動力與精力繼續提供高品質的文章,感謝你的支持!