類型超類的Python類型提示約束

Question

是否可以在類型的超類中添加對類型提示的約束？例如，我想要的東西，看起來像這樣：

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

這將是參加一個參數T型g和T的功能必須是類S或S本身的一個子類，和函數的返回值是類型T。

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