确保在创建类时定义“__module__”？

Question

我正在读一些代码，看起来基本上是这样的：

class Foo(object): 
    class_name = __module__.replace('_', '-') 

对我来说，这看起来很奇怪（__module__，那是什么？），所以我就去看了看蟒蛇data-model。快速搜索显示__module__是类对象和函数对象的属性。但是，在全局名称空间中没有可用的__module__（可以通过试图查看它并观察结果...）轻松验证。

我决定把这个做到特定的实现行为，但作为最后一个检查，我决定用其他的实现来测试我的方便。事实证明，此代码

• CPython的2.7.6
• CPython的执行3.4.0
• 的jython 2.5.3
• PyPy 2.2.1（Python的2.7.3）

我的问题是这种行为是否实际上在语言参考的任何地方定义。我不知道为什么我想要，但是我可以安全地依靠__module__在类创建命名空间中还是所有的实现者都决定以同样的方式做到这一点？

^{所有的Linux，但我怀疑的事项...}

Answer 1

什么文件确实定义是类将有一个__module__属性。 CPython看起来好像是在类块的开头定义了一个局部变量__module__。然后这个变量就像在那里定义的任何其他变量一样成为一个类属性。

我找不到任何文件说__module__必须以这种方式定义。特别是，我无法找到任何明确指出该属性必须在类体中定义为局部变量的文档，而不是在类创建的稍后阶段将其指定为类属性。 This answer不同的问题提到它以这种方式工作，并显示它是如何出现在字节码中的。有a Jython bug，他们通过使它与CPython相同来修复它们。

我猜这是一个CPython的实现细节，被转移到其他实现。据我所知，文档实际上并没有说__module__必须在类体内可用，只能在类对象之后。