要实现这个需求，我们可以利用Python标准库的inspect模块来解析函数签名，结合参数绑定能力区分哪些关键字参数属于函数定义的参数，再按规则将它们转换为位置参数。以下是完整的实现和详细说明：

完整实现代码 #

import inspect

def canonicalize(func, *args, **kwargs):
    # 获取函数的签名对象，包含所有参数定义信息
    sig = inspect.signature(func)
    params = list(sig.parameters.values())
    
    # 绑定传入的参数（bind_partial允许额外的kwargs，不会因参数不匹配报错）
    bound_args = sig.bind_partial(*args, **kwargs)
    
    # 筛选出被显式传入的、非可变参数（*args/**kwargs）的索引
    passed_param_names = bound_args.arguments.keys()
    passed_param_indices = [
        i for i, param in enumerate(params)
        if param.name in passed_param_names
        and param.kind not in (param.VAR_POSITIONAL, param.VAR_KEYWORD)
    ]
    
    new_args = []
    remaining_kwargs = kwargs.copy()
    
    if passed_param_indices:
        # 找到最后一个被传入的参数位置，确保中间未传入的参数用默认值填充
        last_passed_idx = max(passed_param_indices)
        for i in range(last_passed_idx + 1):
            param = params[i]
            if param.name in passed_param_names:
                # 参数被显式传入，取对应的值
                val = bound_args.arguments[param.name]
                # 如果是从kwargs传入的，从剩余kwargs中移除该参数
                if param.name in remaining_kwargs:
                    del remaining_kwargs[param.name]
                new_args.append(val)
            else:
                # 参数未被传入，但因后面有参数被传入，用默认值填充位置
                new_args.append(param.default)
    
    return tuple(new_args), remaining_kwargs

测试示例 #

用你提供的myfunc验证所有场景：

def myfunc(a, b=0, c=0, **kwargs): pass

# 执行测试
print(canonicalize(myfunc, 1, 2, g=3))       # 输出: ((1, 2), {'g': 3})
print(canonicalize(myfunc, 1))               # 输出: ((1,), {})
print(canonicalize(myfunc, 1, b=2))          # 输出: ((1, 2), {})
print(canonicalize(myfunc, 1, g=3, b=2))     # 输出: ((1, 2), {'g': 3})
print(canonicalize(myfunc, 1, g=3, c=2))     # 输出: ((1, 0, 2), {'g': 3})

所有结果都和预期完全一致。

核心逻辑说明 #

1. 解析函数签名：通过inspect.signature(func)获取函数的完整参数定义，包括参数名、默认值、参数类型（如可变位置参数*args、可变关键字参数**kwargs）。
2. 绑定传入参数：sig.bind_partial()会将传入的位置参数和关键字参数与函数签名匹配，自动忽略不属于函数签名的额外kwargs，避免抛出异常。
3. 确定参数范围：找到所有被显式传入的参数的索引，取最大索引作为遍历终点，这样既能保证中间未传入的参数（比如示例5中的b）用默认值填充位置，又不会把完全未传入的后续参数（比如示例2中的c）加入结果。
4. 构建规范化结果：遍历从第一个参数到最后一个被传入的参数，收集显式传入的值或默认值，同时移除剩余kwargs中属于函数签名的参数，最终返回符合要求的位置参数和剩余关键字参数。

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