你遇到的这个问题确实是Python名称修饰（name mangling）机制的一个局限性——它只基于类名来修改私有成员的名称，而不会考虑类所在的模块或者全局唯一标识，所以当不同模块里的同名类发生继承时，就会出现子类的私有成员意外覆盖父类的情况，就像你示例里那样：父类m1.C的__foo被修饰为_C__foo，子类main.C的__foo也被修饰为_C__foo，导致调用bar()时执行的是子类的方法，而非预期的父类实现。

针对你问的「是否支持用GUID这类唯一标识符做更完整的名称修饰」——Python标准解释器目前并不支持这种机制。名称修饰的设计初衷是提供一种简单的「命名隔离」，防止子类不小心覆盖父类的私有成员，而不是为了解决跨模块同名类的极端场景（毕竟这种场景通过规范命名就能很好避免）。

不过针对你遇到的具体问题，有几个实用的解决办法：

• 调整类命名规范（最推荐）：避免跨模块使用完全相同的类名，比如把m1里的类改成BaseC，main里的子类改成DerivedC。这样父类的__foo会被修饰为_BaseC__foo，子类的则是_DerivedC__foo，自然不会冲突，代码可读性也更强。
• 手动调用父类的修饰后方法：如果必须保留类名不变，你可以直接在子类里使用父类的修饰后名称来调用父方法。比如在main.py里：

  from m1 import C as C1
  class C(C1):
      def __foo(self):
          print('CM')
      # 如果想让bar()执行父类的__foo，直接调用修饰后的名称
      def bar(self):
          self._C1__foo()  # 明确调用父类的私有方法
  

• 改用非双下划线的私有命名：如果不需要严格的名称修饰，也可以用单下划线开头的方法（比如_foo），它是Python约定的「模块/类私有」成员，不会被自动修饰，这样也能避免冲突，但需要自己注意不要意外覆盖。

如果真的需要实现类似「全局唯一标识」的修饰机制，你也可以手动实现（比如在类初始化时用UUID生成唯一后缀来绑定方法），但这会让代码变得复杂，而且违背了Python「简单直观」的设计哲学，一般不推荐这么做。

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