大年初一！！！社区送温暖！！！
本次的主题是逐渐闯入无人区的泛型！！！
说到泛型，学过java的一定不陌生，泛型的本质是参数化类型，也就是所操作的数据类型被指定为一个参数。但是，学过python的大家是否了解过这部分，或者是使用呢？
那么，python该如何实现泛型呢？
你别说，还真有一个库可以实现！
我们首先导入singledispatch所在的库：
from functools import singledispatch这个库只能针对函数的第一个参数进行泛型指定！
所以先来看一看单分派泛型（通过第一个参数来进行判断的泛型）：
先指定一个主函数用singledispatch修饰一下，作为一个base， 之后在定义一些“子函数”用 @主函数名.register作为修饰器，并传入一个参数作为“子函数”第一个参数的类型的判断（只能传入一个参数）(这个参数就是“子函数”第一个参数的类型，也是主函数第一个参数的类型)。（注意：这里的子函数就是那个_，应为这个子函数只在泛函数里面会使用到，所以我们干脆不指定他的名字QAQ， 函数的参数也和主函数一样）
?
但是，这样局限性也太大了，根本没有什么实际用处，我们还要推广到多分派泛函数！！！
多分派泛函数的实现：（因为python只能对第一个参数进行判断泛型，所以我们需要添加一些自己的代码实现多分派反函数）
?
?我们在单分派的基础上使用isinstance进行了判断，保证其他参数的类型的一致性。
以上的多分派泛函数也可以这样写：
?每一个子函数使用了两个修饰器，但是这两个修饰器都是针对第一个参数的。
！！！你以为这样就完结了？？？
python 3.5? 推出了新特性——参数后面加一个冒号和函数后面加一个->的用法：
（冒号是指该参数应该的参数类型，箭头是指函数应该的返回值）
他也是指定了参数的类型，但是呢，就算你传入的类型和冒号后面的不一样，也并不会报错（除非你有语法错误），所以，这并不是泛型。
但是他和泛型也有些关系，这涉及到了register修饰器的第二个用法：
?
?
?省略了register的参数，而使用’：‘符号进行指定。