表示指定类型集合的类型

Question

使用Python3的函数注释，可以指定同构列表（或其他集合）中包含的项的类型，以便在PyCharm和其他IDE中进行类型暗示？

int列表的伪python代码示例：

def my_func(l:list<int>):
    pass

我知道使用Docstring是可能的...

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

... 但如果可能的话，我更喜欢注释样式。

Answer 1

从Python3.9开始，内置类型对于类型注释是通用的（参见PEP 585）。这允许直接指定元素的类型：

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

各种工具可能比Python 3.9更早支持这种语法。在运行时未检查注释时，使用引用或__future__语法是有效的。

# quoted
def my_func(l: 'list[int]'):
    pass

# postponed evaluation of annotation
from __future__ import annotations

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

Answer 2

现在Python 3.5正式发布了，有了类型提示支持模块-键入，以及相关的列表通用容器的“类型”。

换句话说，现在你可以做：

from typing import List

def my_func(l: List[int]):
    pass

Answer 3

回答我自己的问题；TLDR的答案是

更新2

2015年9月，Python 3.5发布，支持类型提示，并包含一个新的类型模块。这允许指定集合中包含的类型。截至2015年11月，JetBrains PyCharm 5.0完全支持Python 3.5，包括类型提示，如下所示。

更新1

截至2015年5月，PEP0484（类型提示）已被正式接受。该实施草案也可在github上的ambv/打字系统下查阅。

原始答案

截至2014年8月，我已经确认不可能使用Python 3类型注释来指定集合中的类型（例如：html" target="_blank">字符串列表）。

使用格式化的docstring（如StructuredText或Sphinx）是可行的替代方案，并受到各种IDE的支持。

看起来，吉多正在考虑本着mypy的精神扩展类型注释的想法：http://mail.python.org/pipermail/python-ideas/2014-August/028618.html