同種コレクションの型ヒント

Python 3 の型注釈は、関数の引数の予期される型を指定する便利な方法を提供します。ただし、これらのアノテーションをコレクションに適用して、要素内の均一性を強制できるかどうかは、すぐには明らかではありません。

関数アノテーションの初期の機能不全

2014 年 8 月現在、 Python の関数アノテーションは、コレクション内の項目の型ヒントをサポートしていませんでした。これは、次の例のような疑似コードが無効であることを意味します:

def my_func(l: list):
    pass

代わりに、フォーマットされた docstring がコレクション内での型ヒントの推奨方法でした:

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 プログラマーの開発エクスペリエンスが大幅に向上しました。