Python参数非空但可缺省的正确写法

文章小白一枚，正在不断学习积累知识，现将学习到的知识记录一下，也是将我的所得分享给大家！而今天这篇文章《Python 在类型提示中，如果希望表示一个参数不能是 None，但可以缺省（即允许不传入该参数，此时使用默认值），可以通过以下方式实现：✅ 正确做法：使用 Optional 与默认值结合from typing import Optional, Any def example(param: Optional[Any] = None): if param is None: # 处理默认值逻辑 pass但上面的写法其实允许 param 为 None。如果我们希望 参数不能为 None，但可以缺省，那就需要更精确地表达。🚫 错误做法：直接使用 NotNone 或其他不存在的类型Python 标准库中没有 NotNone 类型，所以不能这样写：def example(param: NotNone): # ❌ 无效✅ 正确做法：使用 Optional + 默认值 + 非空断言如果你想明确表示这个参数不能为 None，但可以缺省（即默认值不为 None），可以这样做：from typing import Optional, Any def example(param: Optional[Any] = "default_value"): if param is None: # 这里不会执行，因为默认值不是 None pass或者更》带大家来了解一下##content_title##，希望对大家的知识积累有所帮助，从而弥补自己的不足，助力实战开发！

应直接标注具体类型（如str、Path）并设非None默认值，而非用Optional[T] = None；这样mypy等检查器能确保参数永不为None，同时支持不传参使用默认值。

用 Optional[T] 表示“可以是 T 或 None”，但你要的是“**不能是 None，但可以不传（即使用默认值）**”——这靠类型提示本身无法强制“不可为 None”，关键在于**组合使用类型标注 + 默认值 + 类型检查器的配合**。

核心写法：直接写具体类型 + 设非 None 默认值

最清晰、最被 mypy/pyright 等主流检查器正确识别的方式是：

• 参数类型标注为具体类型（如 str、int、Path），不加 Optional
• 给它一个明确的、非 None 的默认值（如 ""、0、Path()、或 ... 配合 Union 等进阶技巧）

例如：

from pathlib import Path
<p>def read_file(path: Path = Path("default.txt")) -> str:
return path.read_text()
</p>

mypy 会认为 path 永远是 Path 类型，调用 read_file() 或 read_file(Path("x")) 都合法；而 read_file(None) 会被直接报错。

想允许“不传”，但又不想给具体默认值？用 Union[T, _Sentinel] + ... （进阶）

如果逻辑上你希望默认行为是“未提供”，而不是某个具体对象（比如想区分 arg=... 和 arg="something"），可以用私有哨兵值 + Union：

from typing import Union, TYPE_CHECKING
<p>if TYPE_CHECKING:
from typing import TypeAlias</p><p>_Sentinel = object()  # 唯一占位符
SentinelType: TypeAlias = type(_Sentinel)</p><p>def process(data: Union[str, SentinelType] = _Sentinel) -> str:
if data is _Sentinel:
return "default logic"
return f"processed: {data}"
</p>

这样类型检查器知道 data 要么是 str，要么是那个哨兵（不是 None），且调用时不传参就走默认分支。注意：这不是标准做法，适合框架/库内部控制流。

别用 Optional[T] = None —— 它明确允许传 None

下面这种写法是反模式：

def bad_example(name: Optional[str] = None) -> str:
    return name.upper()  # ❌ mypy 不报错，但运行时崩

虽然你写了 = None，但类型提示 Optional[str] 告诉检查器“name 可以是 None”，所以 name.upper() 不会被警告。这不是你想要的“不能是 None”。

小结：推荐做法就一条

直接标注具体类型，配一个安全的非 None 默认值。既语义清晰，又让 mypy/pyright 能真正帮你挡住 None 入参。是否“缺省”由是否有默认值决定，是否“可为 None”由类型标注决定——两者正交，别混用 Optional 和 = None。

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《Python参数非空但可缺省的正确写法》文章吧，也可关注golang学习网公众号了解相关技术文章。