类型泛化

在C++中，

template<typename T,...>
vector{...};

如果我们写

vector<int> vec;

则T=int。

在python中有类似的用法。

from typing import TypeVar
T=TypeVar('T');

class A(object):
	def __init__(self):
		print("A");
		
class B(object):
	def __init__(self):
		print("B");
		
class C(object):
	def __init__(self,T):
		T();
		
if __name__=='__main__':
	C(A);
	C(B);

做法是从typing中引入TypeVar，并且将T定义为TypeVar。TypeVar的意思就是类型变量。一般的变量，如整型变量a=int(1)，它接受的就是相应的整型，如1，2，...。类型变量接受的就是类型，如int，char，...等。所以我们给C传入A类型时，T代表的就是一个A类型，T()则生成A类型的对象，C(B)同理。