类型提示如何表示“这个参数不能为 None 但可以缺省”

应使用非空类型加非None默认值,如def greet(name: str = "Anonymous");类型为str确保不接受None,默认值使参数可缺省;避免Optional[str]或str|None,因其允许None传入。

在 Python 类型提示中,要表达“这个参数不能为 None,但可以缺省(即调用时不传)”,关键在于区分「类型上不允许 None」和「参数本身是可选的」——这两者由不同机制控制:类型用 Union[T, None](或 T | None)表示可空,而是否缺省由函数签名中的默认值决定。

用必需类型 + 默认值 = ...(推荐)

最直接、语义最清晰的方式是:参数类型写成非可空的具体类型(如 strint),同时赋予一个**非 None 的默认值**。这样类型检查器(如 mypy)会确认传入值不可能是 None,且调用时可省略该参数。

例如:

def greet(name: str = "Anonymous") -> str:
  return f"Hello, {name}!"

greet() # ✅ 允许,用默认值
greet("Alice") # ✅ 允许
greet(None) # ❌ 类型错误:Expected str, got None

避免使用 Optional[T]T | None

如果类型写成 Optional[str](即 str | None),就明确允许 None 传入,违背了“不能为 None”的要求。即使你加了默认值,类型系统仍认为 None 是合法输入。

  • def func(x: str | None = "default")x 类型含 None,不满足约束
  • def func(x: str = "default") → 类型干净,缺省靠默认值实现

需要“无默认值但调用时可省略”?用 ParamSpec 或重载(进阶场景)

极少数情况下,你希望参数**没有默认值**(即签名里不写 =),但又想支持缺省调用(比如通过装饰器或重载动态处理)。这时不能靠类型提示单独实现,需结合:

  • 函数重载(@overload:为“不传参”和“传参”分别定义签名,都指定非空类型
  • 运行时逻辑校验:在函数体内显式检

    if x is None: 并报错(但类型提示本身不体现该限制)

日常开发中,第一种方式(非空类型 + 默认值)覆盖 95% 以上需求,简洁且类型安全。