Brython项目中发现Python名称修饰机制实现缺陷

在Brython项目中发现了一个有趣的实现缺陷，该缺陷与Python的名称修饰(Name Mangling)机制有关。当类方法参数名以双下划线开头时，会导致参数值无法正确传递，出现<Javascript undefined>的异常情况。

问题现象

在Brython环境中运行以下代码时会出现异常：

class A:
    def f(self, __v):  # 参数名以双下划线开头
        print(__v)

A().f(1)  # 预期输出1，实际输出<Javascript undefined>

这个现象仅在类方法中出现，普通函数中定义双下划线开头的参数则工作正常。这表明问题与Brython对Python类方法的特殊处理方式有关。

问题根源

经过分析，这个问题源于Brython对Python名称修饰(Name Mangling)机制的不完全实现。Python的名称修饰机制会在编译时自动将类中以双下划线开头且不以双下划线结尾的标识符进行转换，目的是为了避免子类中的命名冲突。

在标准Python中，名称修饰的规则是：

1. 仅适用于类定义中的名称
2. 名称必须以至少两个下划线开头，最多一个下划线结尾
3. 修饰后的名称会加上类名前缀，例如__v在类A中会被修饰为_A__v

Brython在实现这一机制时，错误地将方法参数名也纳入了修饰范围，导致参数传递时无法正确匹配。

技术细节

在Python的常规实现中，名称修饰发生在编译阶段，且仅适用于类作用域内的属性名和方法名。方法参数名不应被修饰，因为：

1. 参数名属于函数的局部作用域
2. 修饰参数名会破坏函数签名，导致调用时参数绑定失败

Brython的JavaScript实现中，由于需要模拟Python的类机制，在处理名称修饰时没有正确区分类成员和方法参数，导致了这个边界情况下的错误。

解决方案

修复方案需要调整Brython的名称修饰逻辑，确保：

1. 仅对类作用域内的名称进行修饰
2. 排除方法参数名的修饰处理
3. 保持与标准Python一致的行为

这个修复确保了Brython在名称修饰行为上与CPython完全兼容，同时也解决了双下划线参数传递失败的问题。

对开发者的启示

这个案例提醒我们：

1. 语言特性的实现需要考虑所有边界情况
2. 名称修饰这类语法糖在跨平台实现时需要特别小心
3. 测试用例应覆盖各种命名约定场景

对于Brython用户，遇到类似问题时可以：

1. 暂时避免在方法参数中使用双下划线开头命名
2. 关注项目更新，及时获取修复版本
3. 理解Python名称修饰的精确规则，避免误用

这个问题的发现和修复过程展示了开源社区如何协作解决技术难题，也体现了Python语言特性实现的复杂性。