泛型

第一个参数类型决定执行特定的方法体

一、单分派泛函数

　　只对函数的第一个参数做类型检查，发现局限性太大，没什么特别的应用场景，也可能是我没用到

from functools import singledispatch


@singledispatch
def func(a, *args):
    raise TypeError("暂不支持{}类型的执行".format(type(a)))


@func.register(int)
def _(a, *args):
    print(">>【{}】是整数".format(a))
    return a + args[0]


@func.register(str)
def _(a, *args):
    print(">>【{}】是字符串".format(a))
    return a + args[0]


if __name__ == '__main__':
    print(func(4, 5))
    print(func("只有", "永"))
    print(func([1, 2], 3))

二、多分派泛函数

　　对第一个参数以外的参数也做类型检查，保证参数类型一致性

from functools import singledispatch


@singledispatch
def func(a, *args):
    raise TypeError("暂不支持{}类型的执行".format(type(a)))


@func.register(int)
@func.register(str)
def _(a, *args):
    print(">>【{}】类型检查通过".format(a))
    if not isinstance(args[0], type(a)):
        raise TypeError(">>【{}】类型应为【{}】".format(args[0], type(a)))
    print(">>【{}】类型检查通过".format(args[0]))
    return a + args[0]


if __name__ == '__main__':
    print(func(4, 5))
    print(func("只有", "永"))
    print(func(4, "测试"))

output:

　　>>【4】类型检查通过
　　>>【5】类型检查通过
　　9
　　>>【只有】类型检查通过
　　>>【永】类型检查通过
　　只有永
　　>>【4】类型检查通过

　　TypeError: >>【测试】类型应为【<class 'int'>】