Python中，将可变默认参数标注为不可变类型是否可行？

这种写法看似有类型检查兜底，但依然是需要警惕的实践，多数场景下仍属于不推荐的糟糕写法，原因如下：

• 类型检查不是万能的：虽然把subfunc_kwargs标注为Mapping能让Mypy等类型检查器阻止修改操作，但这只是静态层面的约束。如果代码运行时没有启用类型检查，或者有人通过类型强制转换、直接操作底层字典（比如dict(subfunc_kwargs)["key"] = value），依然会修改那个全局共享的默认字典，导致后续调用foo时出现意想不到的状态残留——这正是可变默认参数的经典陷阱。

• 语义不一致：你用Mapping（不可变抽象类型）标注参数，但实际默认值是可变的dict，这种语义矛盾会误导其他开发者。看到Mapping标注的人会默认这个参数是不可修改的，但实际默认值是可变对象，很容易引发认知偏差。

• 简洁性的代价过高：省去subfunc_kwargs = {} if subfunc_kwargs is None else subfunc_kwargs确实让签名更简洁，但换来的是潜在的运行时隐患。对于不熟悉可变默认参数坑的开发者来说，这种写法很容易埋下难以排查的bug。

更稳妥的替代方案 #

如果想兼顾简洁和安全，有两种更好的选择：

1. 经典的Optional初始化写法（最清晰、最通用）：

from typing import Optional, Mapping, Sequence, Any

def foo(
    x: int,
    subfunc_args: Sequence[Any] = (),
    subfunc_kwargs: Optional[Mapping[str, Any]] = None,
) -> R:
    subfunc_kwargs = subfunc_kwargs or {}
    subfunc(*subfunc_args, **subfunc_kwargs)

这种写法明确告知开发者参数可为空，初始化逻辑也一目了然，没有任何隐藏陷阱。

2. 用MappingProxyType做不可变默认值（兼顾简洁和运行时安全）：

from typing import Mapping, Sequence, Any
from types import MappingProxyType

def foo(
    x: int,
    subfunc_args: Sequence[Any] = (),
    subfunc_kwargs: Mapping[str, Any] = MappingProxyType({}),
) -> R:
    subfunc(*subfunc_args, **subfunc_kwargs)

MappingProxyType会创建一个不可变的字典视图，即使有人尝试修改subfunc_kwargs，运行时会直接抛出TypeError，从根源上避免了可变默认参数的问题。

总结 #

除非你的团队能严格强制执行类型检查、且所有成员都完全清楚可变默认参数的风险，否则不推荐使用原写法。从代码可维护性和安全性出发，经典的Optional初始化或MappingProxyType方案是更优的选择。

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