python 泛型注释的不理解?

Question

本人python新手, 在翻阅pep484, 以及mypy文档的时候有遇到了一点不懂的地方, 如下:

# 文档实例如下:
from typing import TypeVar, Generic

T = TypeVar('T')

class Stack(Generic[T]):
    def __init__(self) -> None:
        # Create an empty list with items of type T
        self.items: List[T] = []

    def push(self, item: T) -> None:
        self.items.append(item)

    def pop(self) -> T:
        return self.items.pop()

    def empty(self) -> bool:
        return not self.items

然后文档下面有这样一段话:

The Stack class can be used to represent a stack of any type: Stack[int], Stack[Tuple[int, str]], etc

然后给出了一段实例用法:

# Construct an empty Stack[int] instance
stack = Stack[int]()
stack.push(2)
stack.pop()
stack.push('x') # Type error

我个人的理解是:

• T表示任意类型
• Stack[int]表示Stack只能存储int类型, 所以下面传入了一个字符串就报错

疑惑是:

• 不知道上面的理解对不对
• 如果我在一开始就确定好堆里面的数据类型就行了为什么要创造一个泛型?
• 泛型在python中有没有什么使用场景, 本人没有接触过java之类的语言, 因此觉得就看看例子感觉特别抽象, 也不知道在上面场景下如何使用.

本人刚刚接触python, 若有理解错误的地方还请多多包涵, 望有前辈能够解惑!

Answer 1

• 对
• 如果不用泛型，那我们就需要IntStack/StrStack。如果只是基本类型还好，麻烦的是以后我们还得要TupleIntStrStack/TupleIntIntStrStrStack/MyLittleClassStack/MyLargeClassStack，每个都得重新声明，太麻烦
• 泛型主要用于容器，比方说栈，队列，我现在最常用的容器是concurrent.futures.Future。
• 泛型在强类型语言（Java）里用的还是非常广泛的，但mypy的使用率实在低下，所以看起来泛型没什么使用场景。如果强制每个程序（尤其是库）都要有类型标识，例子就多了。