如何识别函数调用中用户显式传入的参数与默认参数

最通用可靠的方案是自定义唯一哨兵对象作为默认占位值，完全不需要依赖numpy等第三方库，也不会受参数实际取值影响，是Python社区公认的标准实现方式。

核心原理 #

不需要找NaN、Inf这类特殊值当标记，完全可以自己创建一个对外不可见的唯一对象作为「未传参」的标记：

• 这个对象是模块内部私有的，正常业务调用时用户不可能传入该对象
• 判断时用is做身份校验，而非==做值比较，100%区分「用户显式传参」和「使用默认占位」两种状态，完全不关心用户传入的参数具体是什么值

代码实现 #

# 模块级定义唯一哨兵，不要定义在函数内部，避免每次调用生成新实例
_UNSET_SENTINEL = object()

def func(a=_UNSET_SENTINEL, b=_UNSET_SENTINEL, c=_UNSET_SENTINEL):
    # 识别是否存在用户显式传入的参数
    has_user_input = any(
        param is not _UNSET_SENTINEL
        for param in (a, b, c)
    )

    # 为未传参的参数赋值正式默认值
    if a is _UNSET_SENTINEL:
        a = 1
    if b is _UNSET_SENTINEL:
        b = 2
    if c is _UNSET_SENTINEL:
        c = 3

    # 分支逻辑
    if not has_user_input:
        # 所有参数均未显式传入，执行逻辑1
        pass
    else:
        # 存在任意显式传参，执行逻辑2
        pass

效果验证 #

对应需求里的三个调用场景，判断结果完全符合预期：

• 调用func()：三个参数均为哨兵对象，has_user_input为False，走逻辑1
• 调用func(a=42, c=191)：a、c不是哨兵对象，has_user_input为True，走逻辑2
• 调用func(a=1, c=3)：哪怕传入值和正式默认值完全相等，因为参数不是哨兵对象，依然判定为用户显式传参，走逻辑2

注意事项 #

• 哨兵对象必须定义在函数外层的模块作用域，保证全局唯一。如果写在函数内部，每次调用函数都会生成新的对象实例，is判断会直接失效。
• 不要用None、0、空字符串这类常用值当标记，否则用户真的传入这些值时会出现误判。
• 不要使用读取调用栈、解析源码这类黑魔法方案识别传参，这类方案在装饰器包装、C扩展调用、动态分发场景下会直接失效，兼容性极差。
• 相比NaN/Inf方案，自定义哨兵没有冲突风险：NaN本身是合法的数值类型，如果用户业务逻辑里确实需要传NaN，用NaN当标记反而会出现误判。

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