python 泛型？看这一篇就够了

前言

网上关于 python 泛型的介绍实在是太少了，而且都是浅尝辄止

我得整点高级和完善点的

首先 python 是一个强类型动态语言

一般来讲动态类型不需要泛型，因为泛型就是让类型动起来，那我们在这里将啥 『python泛型』呢？

很简单，python 有 typing hint，如果你不写 typing hint，也不介意 ide 给你的类型提示都是 Any 的话，『泛型』你根本不需要关注。

但是在 2022 年，一个好的 python 开发者，写的所有 python 代码都是要加 typing hint 的，所以，泛型的学习和掌握就是迫在眉睫的事情。

第一个例子 —— 关联函数的入参和返回值的类型

有这么一个函数 func 函数：
参数 value 的类型是 int 或者 float：如果 value 的 type 是 int，就返回 int 类型；如果 value 的 type 是 float，就返回 float 类型。

好了这么一个需求，你会怎么实现？想下面这样：

def func(value: int | float) -> int | float:
    return value

但是这样有一个很大的问题，这个函数的意思是：
参数 value 的类型是 int 或者 float，返回值是 int 或者 float。并不能描述出『如果 value 的 type 是 int，就返回 int 类型；如果 value 的 type 是 float，就返回 float 类型』

比如我输入的参数是 1 ，是一个 int，我希望返回值 result 也是一个 int ，而不是 『int | float』

那怎么办？

泛型就可以解决这个问题：

from typing import TypeVar

T = TypeVar('T')


def func(value: T) -> T:
    return value


result = func(1)

如果输入一个 的 value 是 int 类型，那 result 就是 int

如果输入一个 的 value 是 float 类型，那 result 就是 float