Python参数多态函数处理机制及多态sum函数实现问题咨询

问题1：第一种多态sum函数实现方案无法正常运行的原因 #

Python原生不支持基于参数类型的静态函数重载，同名函数的定义遵循后定义覆盖前定义的规则。你先后定义了5个同名的sum函数，运行时实际只会保留最后一个适配bool类型的版本。
另外Python的类型标注仅用作静态语法提示，运行时不会根据参数类型自动调度对应版本的函数，因此传入字符串参数时，实际执行的是bool版本的sum函数：初始值为int类型的0，执行0和字符串相加的操作就会抛出类型错误。 #

问题2：第二种方案适配多类型累加的实现方法 #

你可以通过第一个参数的类型动态生成对应零值作为初始值：Python内置的str、int、float、complex、bool类型的无参构造函数刚好会返回对应类型的零值（空字符串、0、0.0、0j、False），完全符合累加初始值的要求。你还可以补充参数非空校验、参数类型一致性校验，避免异常场景。
修改后的可运行代码如下：

from typing import TypeVar
T = TypeVar('T', str, int, float, complex, bool)

def sum_generic(*args: T) -> T:
    # 校验参数非空
    if not args:
        raise ValueError("至少需要传入一个参数")
    # 校验所有参数类型一致
    expect_type = type(args[0])
    for arg in args[1:]:
        if not isinstance(arg, expect_type):
            raise TypeError(f"所有参数类型必须为{expect_type.__name__}")
    # 动态生成对应类型的初始值
    sum_gen = expect_type()
    for el in args:
        sum_gen += el
    return sum_gen

测试用例运行效果：

print(sum_generic("W", "T", "F")) # 输出：WTF
print(sum_generic(1, 2, 3)) # 输出：6
print(sum_generic(1.1, 2.2, 3.3)) # 输出：6.6
print(sum_generic(1+2j, 3+4j)) # 输出：(4+6j)
print(sum_generic(True, False, True)) # 输出：2

内容的提问来源于stack exchange，提问作者Story