应使用非空类型加非None默认值，如def greet(name: str = "Anonymous")；类型为str确保不接受None，默认值使参数可缺省；避免Optional[str]或str|None，因其允许None传入。
在 Python 类型提示中，要表达“这个参数不能为 None，但可以缺省（即调用时不传）”，关键在于区分「类型上不允许 None」和「参数本身是可选的」——这两者由不同机制控制：类型用 Union[T, None]（或 T | None）表示可空，而是否缺省由函数签名中的默认值决定。
用必需类型 + 默认值 = ...（推荐）
最直接、语义最清晰的方式是：参数类型写成非可空的具体类型（如 str、int），同时赋予一个**非 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% 以上需求，简洁且类型安全。
