python定义函数时-＞

在 Python 中，函数定义时使用的 -> 符号用于表示函数的返回值类型注解。虽然 Python 是动态类型语言，这种注解并非强制要求，但它能提高代码的可读性和可维护性，也有助于类型检查工具（如 mypy）进行静态类型检查。

以下是关于函数定义中 -> 的详细介绍：

1. 基本语法

def function_name(parameters) -> return_type:
    """函数文档字符串"""
    # 函数体
    return value

• function_name 是函数的名称。
• parameters 是函数的参数列表，可以为空或包含多个参数。
• -> 后面跟着的 return_type 就是返回值类型注解，它可以是 Python 内置类型（如 int、str、list 等），也可以是自定义类型。
• value 是函数的返回值，其类型应与 return_type 注解的类型一致（尽管在运行时 Python 不会强制检查）。

2. 示例

def add_numbers(a: int, b: int) -> int:
    """将两个整数相加并返回结果"""
    result = a + b
    return result


sum_result = add_numbers(3, 5)
print(sum_result)

在上述代码中，add_numbers 函数接受两个 int 类型的参数 a 和 b，并使用 -> int 表明该函数返回一个 int 类型的值。

3. 使用复杂类型注解

除了基本类型，还可以对复杂类型进行注解。例如，对于返回列表的函数：

def get_list() -> list[int]:
    return [1, 2, 3]


number_list = get_list()
print(number_list)

这里 list[int] 表示返回的列表中元素类型为 int。

对于返回字典的函数：

def create_dict() -> dict[str, int]:
    return {'one': 1, 'two': 2}


result_dict = create_dict()
print(result_dict)

dict[str, int] 表示返回的字典中键的类型为 str，值的类型为 int。

4. 与类型检查工具结合使用

类型注解本身在 Python 运行时不会进行强制类型检查，但可以结合类型检查工具（如 mypy）。首先安装 mypy：

pip install mypy

假设上述代码保存在 example.py 文件中，运行 mypy example.py，如果函数返回值类型与注解不一致，mypy 会给出相应的错误提示，帮助你发现潜在的类型错误。