欢迎您访问365答案网,请分享给你的朋友!
生活常识 学习资料

【python泛型】singledispatch实现单分派泛函数和多分派泛函数。

时间:2023-08-10
大年初一!!!社区送温暖!!! 本次的主题是逐渐闯入无人区的泛型!!!

说到泛型,学过java的一定不陌生,泛型的本质是参数化类型,也就是所操作的数据类型被指定为一个参数。但是,学过python的大家是否了解过这部分,或者是使用呢?

那么,python该如何实现泛型呢?

你别说,还真有一个库可以实现!

我们首先导入singledispatch所在的库:

from functools import singledispatch

这个库只能针对函数的第一个参数进行泛型指定!

所以先来看一看单分派泛型(通过第一个参数来进行判断的泛型):

先指定一个主函数用singledispatch修饰一下,作为一个base, 之后在定义一些“子函数”用 @主函数名.register作为修饰器,并传入一个参数作为“子函数”第一个参数的类型的判断(只能传入一个参数)(这个参数就是“子函数”第一个参数的类型,也是主函数第一个参数的类型)。(注意:这里的子函数就是那个_,应为这个子函数只在泛函数里面会使用到,所以我们干脆不指定他的名字QAQ, 函数的参数也和主函数一样)

 

但是,这样局限性也太大了,根本没有什么实际用处,我们还要推广到多分派泛函数!!!

多分派泛函数的实现:(因为python只能对第一个参数进行判断泛型,所以我们需要添加一些自己的代码实现多分派反函数)

 

 我们在单分派的基础上使用isinstance进行了判断,保证其他参数的类型的一致性。

以上的多分派泛函数也可以这样写:

 每一个子函数使用了两个修饰器,但是这两个修饰器都是针对第一个参数的。


!!!你以为这样就完结了???

python 3.5  推出了新特性——参数后面加一个冒号和函数后面加一个->的用法:

(冒号是指该参数应该的参数类型,箭头是指函数应该的返回值)

他也是指定了参数的类型,但是呢,就算你传入的类型和冒号后面的不一样,也并不会报错(除非你有语法错误),所以,这并不是泛型。

但是他和泛型也有些关系,这涉及到了register修饰器的第二个用法:

 

 

 省略了register的参数,而使用’:‘符号进行指定。

!!!完结!!! 欢迎大家收藏哦~

Copyright © 2016-2020 www.365daan.com All Rights Reserved. 365答案网 版权所有 备案号:

部分内容来自互联网,版权归原作者所有,如有冒犯请联系我们,我们将在三个工作时内妥善处理。