同質集合的類型提示

Python 3 的類型註釋提供了一種便捷的方法來指定函數參數的預期類型。然而，目前尚不清楚這些註釋是否可以應用於集合以強制其元素內的同質性。

函數註解最初無法使用

截至 2014 年 8 月， Python 的函數註解不支援集合中項目的類型提示。這意味著像下面的例子這樣的偽代碼是無效的：

def my_func(l: list):
    pass

相反，格式化文件字串是集合中類型提示的建議方法：

def my_func(l):
    """
    :type l: list[int]
    """
    pass

集合類型提示簡介

隨著 PEP 484 的出現，Python 3.5 引入了對類型註釋的全面支持，包括在集合中指定類型的能力。新的類型模組允許明確聲明集合類型：

from typing import List

def do_something(l: List[str]):
    for s in l:
        s  # str

此改進使 PyCharm 等 IDE 能夠為集合提供準確的自動完成和類型檢查。

結論

而Python 3最初缺乏對集合中類型提示的支持，PEP 484 和類型模組的引入使得在集合中指定和強制同質性變得輕而易舉。這項增強功能大大提高了類型安全性和Python程式設計師的開發體驗。