对类型超类有约束的 Python 类型提示

Question

是否可以在 Python 中添加类型提示并限制类型的超类？例如，我想要这样的东西：

def foo(g: T(S)) -> T:
    pass

这将是一个函数，它接受T 类型的参数g 和T 必须是类S 或S 本身的子类，并且函数的返回值是@ 类型987654329@.

C# 中的等效函数类似于

public static void foo<T>(T g) where T : S
{
}

我查看了PEP484，但似乎没有任何相关内容。

Answer 1

根据PEP484，您想要的语法似乎是：

from typing import TypeVar

T = TypeVar('T', bound=S)

def foo(g: T) -> T:
    pass