初始化后立即赋值的函数参数是否应使用Optional类型注解？

在Python里，我们经常会用None作为可变默认参数的占位符，规避可变默认参数的陷阱，写法如下：

def foo(input_list = None):
    if input_list is None:
        input_list = []
    input_list.append('bar')
    print(input_list)

两种写法的正误判断 #

第一种写法（仅标注List）：

from typing import List

def foo(input_list: List = None):
    if input_list is None:
        input_list = []
    input_list.append('bar')
    print(input_list)

这种写法不符合类型注解规范，mypy、pyright这类类型检查器会直接报错——因为None不属于List类型，默认值的类型和注解的类型不匹配。

第二种写法（使用Optional[List]）：

from typing import List, Optional

def foo(input_list: Optional[List] = None):
    if input_list is None:
        input_list = []
    input_list.append('bar')
    print(input_list)

这才是正确的规范写法。

核心疑问解答：Optional的作用 #

Optional[type]是Union[type, None]的语法糖，它的作用是明确告知调用者（以及类型检查器）：这个参数可以接受type类型的值，也可以接受None。同时，因为参数默认值为None，自然也隐含了“参数可选、可以不传”的含义。

至于函数内部的类型：在你通过if input_list is None的判断后，类型检查器会自动推导此时input_list的类型为List，无需额外处理——这也是类型注解的优势之一，能帮你在函数内部做自动类型校验。

关于“不希望用户传入None”的处理 #

如果你的设计意图是禁止用户主动传入None，只是用None作为初始化占位符，那需要修改代码逻辑：

1. 使用一个独特的哨兵值替代None作为默认值
2. 主动校验，若用户传入None则抛出错误

示例代码：

from typing import List

# 用唯一对象作为哨兵
_SENTINEL = object()

def foo(input_list: List = _SENTINEL):
    if input_list is _SENTINEL:
        input_list = []
    elif input_list is None:
        raise ValueError("input_list 不能传入None")
    input_list.append('bar')
    print(input_list)

此时类型注解可以直接写List，因为参数实际只接受List类型（用户不传参数时，用哨兵值触发初始化；用户传入None会被拦截报错）。

总结 #

• 如果代码允许传入None（哪怕只是兼容而非鼓励），必须用Optional[type]做注解，否则类型检查器会报错。
• Optional是面向调用者的类型说明，函数内部的类型会通过条件判断被类型检查器自动推导。
• 若要严格禁止传入None，需要通过哨兵值+参数校验实现，此时可以不用Optional。

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