談 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 的泛型看起來是否更加簡潔、直觀了呢？