将Python类型的TypeVar用于具有bound的泛型类型的返回

from typing import TypeVar, List

# 定义一个类型变量 T，其范围限制为 int 或 float
T = TypeVar('T', int, float)

def add_values(values: List[T]) -> T:
    result = sum(values)
    return result

# 使用示例
int_result = add_values([1, 2, 3])  # int_result 的类型为 int
float_result = add_values([1.0, 2.0, 3.0])  # float_result 的类型为 float

from typing import TypeVar, Union

T = TypeVar('T', int, float, str)

def process_value(value: T) -> T:
    # 处理逻辑
    return value

from typing import TypeVar, List

T = TypeVar('T', int, float)

def add_values(values: List[T]) -> T:
    result = sum(values)
    return result

# 显式指定类型注解
int_result: int = add_values([1, 2, 3])
float_result: float = add_values([1.0, 2.0, 3.0])