PYTHON：*函数*中的双下划线前缀参数

Question

builtins.pyi在 builtins.pyi 中

def max(__arg1: _T, __arg2: _T, *_args: _T, key: Callable[[_T], SupportsLessThan]) -> _T:

我确实知道名称修改的含义，并且知道只要在 class 定义字段中，名称修改就会影响每个“__xxx”标识符。

所以我有三个问题：

• 为什么参数“__arg1”“__arg2”使用“__xxx”模式而参数“key”不使用；
• 什么是 function 和“__xxx”模式的目的，特别用于函数的参数或在这种情况下；
• 我很难找到名称修改的实现，你能告诉我它在 cpython 源代码中的什么位置吗？

非常感谢。

进一步的工作：

def wat1(__a):
    def wat2(__b):
        return __b, __a
    return __a

print(wat1.__code__.co_varnames)
print(wat1.__code__.co_cellvars)
dis.dis(wat1)

输出（linux python==3.10.8）：

('__a', 'wat2')
('__a',)

21           0 LOAD_FAST                0 (__a)
              2 RETURN_VALUE

22           0 LOAD_FAST                0 (__b)
              2 LOAD_DEREF               0 (__a)
              4 BUILD_TUPLE              2
              6 RETURN_VALUE

Answer 1

名称修改仅适用于 class 定义中使用的名称，不适用于 function 参数。 在这种情况下，前导下划线只是一种命名约定，表示具有此类名称的参数不会通过关键字 arguments 传递，而只是位置参数。

这就是说你应该用以下方式调用max ：

max(1, 2)

而不是：

max(__arg1=1, __arg2=2)

另一方面， key参数的命名没有下划线前缀，表明它应该与关键字参数一起传递：

max(1, -2, key=abs)

Answer 2

感谢@blhsing的回答和@zvone的评论，综上所述，我想分享一下我的理解。
这是max()的 cpython 源代码部分：

static PyObject *
min_max(PyObject *args, PyObject *kwds, int op)
{
    PyObject *v;
    static char *kwlist[] = {"key", "default", NULL};
    const int positional = PyTuple_Size(args) > 1;
    int ret;

    if (positional) {
        v = args;
    }
    else if (!PyArg_UnpackTuple(args, name, 1, 1, &v)) {
        if (PyExceptionClass_Check(PyExc_TypeError)) {
            PyErr_Format(PyExc_TypeError, "%s expected at least 1 argument, got 0", name);
        }
        return NULL;
    }

如果使用关键字参数将 args 传递给max() ，此处的 arguments 将放入PyObject* kwds而不是PyObject* args ，因此PyArg_UnpackTuple将什么也得不到并返回 false，然后按预期在 python 级别TypeError 。

所以在这里使用位置是一个强大的目的吗？

此外，它现在只是一个没有约束的约定，但新的位置只有 arguments 语法限制。 所以下面是可能的。

def wat1(__a):
    return __a
wat1(__a=1)

首选新的而不是旧的命名约定，因为它使输入 arguments 更可控。

出于某种原因builtin.pyi不应用这种新的位置语法，也许是历史问题？ 我想不明白。