Python:名称解析;函数def'的顺序;s
我有一个非常简单的例子:Python:名称解析;函数def'的顺序;s,python,function,namespaces,Python,Function,Namespaces,我有一个非常简单的例子: #!/usr/bin/env python #a() # 1: NameError: name 'a' is not defined #b() # 1: NameError: name 'b' is not defined #c() # 1: NameError: name 'c' is not defined def a(): c() # note the forward use here... #a() #2: NameError: glo
#!/usr/bin/env python
#a() # 1: NameError: name 'a' is not defined
#b() # 1: NameError: name 'b' is not defined
#c() # 1: NameError: name 'c' is not defined
def a():
c() # note the forward use here...
#a() #2: NameError: global name 'c' is not defined
#b() #2: NameError: name 'b' is not defined
#c() #2: NameError: name 'c' is not defined
def b():
a()
#a() #3: NameError: global name 'c' is not defined
#b() #3: NameError: global name 'c' is not defined
#c() #3: NameError: name 'c' is not defined
def c():
pass
a() # these all work OK...
b()
c()
def a():
print globals()
b()
a()
我在Python源文件中按字母顺序定义了3个名为a()
、b()
和c()
的函数。每个函数定义的主体是对其他函数之一的调用。您可以从我的评论中看到,我必须在这些函数的定义(在文本文件中)下面对第一个函数进行初始调用,但您不一定需要在调用它的另一个函数上面定义一个函数
当然,在所有函数定义(用Python和许多其他语言)下面有第一个可执行代码似乎是一种常见的做法,现在我明白了原因。在C和C++中,头文件负责处理这个问题。在Pascal中,在使用名称定义之前,必须有名称定义
例如,假设您在Python中有以下内容:
def a(a_arg): c(a_arg)
def b(b_arg): a()
def c(a_arg,b_arg): b(b_arg)
a(1)
它将在运行时正确地失败,因为TypeError:c()正好接受2个参数(给定1个)
,而其他错误是编译时的。(在C语言中,这将编译然后神秘地失败…)
在Perl中,由于子例程名称通常在运行时解析,因此可以按任意顺序生成Perl定义和代码:
#!/usr/bin/env perl
a();
b();
c();
sub a{ c(); }
sub b{ a(); }
sub c{ return; }
在C语言中,使用未原型化且不应被忽略的函数是错误或警告(依赖于实现)
您可以选择:
void a(void) { c(); } /* implicitly assumed to be int c(...) unless prototyped */
void b(void) { a(); }
void c(void) { return; }
int main(void) {
a();
return EXIT_SUCCESS;
}
我的假设和困惑是:如果Python直到运行时才解析子例程名称,那么为什么源代码编译阶段会因为尚未定义的子例程名称的正向声明而失败?是否在某个地方(通过观察其他代码除外)记录了您不能在子例程定义之上的源文件中包含代码
Python似乎具有以下元素(在源文件中的定义之前,在a()
中使用c()
)和静态名称解析元素(如果将a()
置于源文件中的定义之上,Python无法运行对a()
的调用)
是否有一个Python版本的包含了Perl可执行文件的生命周期,以及如何在源文件解释和运行时之间解析名称
Python脚本的定义顺序是否有明确的描述,说明函数可以有其他子例程名称的正向定义,但主代码不能
编辑和结论
在我进行了一些激烈的评论和研究之后,我得出结论,我的问题实际上更多的是关于如何解析名称,以及如何在Python中定义名称空间、作用域和模块
发件人:
“在当前命名空间中调用可调用对象之前,必须先定义该对象。”
以及范围和名称
发件人:
在代码块中使用名称时,将使用最近的封闭作用域解析名称
以及Python脚本的执行寿命
从Python文档中:
“作用域定义块中名称的可见性。”
“模块可以包含可执行语句和函数定义。”
“实际上,函数定义也是‘已执行’的‘语句’;模块级函数的执行在模块的全局符号表中输入函数名称。”在其脚注中
我自己也意识到(嗯!):
定义的顺序很简单,“在调用之前,必须定义所有内容”。差不多就是这样 编辑(将答案包含在评论中,说明): 原因大概是
def call_a():
a()
def a():
pass
call_a()
在a
被定义为函数之前,如果在call\u a()
中有a()
,它就可以工作,因为Python实际上只根据需要查找符号的值。当计算call\u a
时,a()
调用基本上存储为字节码指令,以“查找a
是什么并在时间到来时调用它”,直到您开始实际调用底部的call\u a()
下面是call_a
的反汇编字节码的样子(via):
因此,基本上,当您点击
call\u a
时,它会将存储为a
的任何内容加载到堆栈中,将其作为函数调用,然后在返回None
之前弹出返回值,这就是对于任何没有显式返回的内容隐式发生的情况(call\u a()为None
返回True
)这与C/C++等中的操作完全相同。在某些东西存在之前,您不能使用它。在C/C++中,在声明之前不能引用某个对象。请记住,Python文件是自上而下处理的,因此如果您试图调用一个函数或引用一个不存在的变量,那么它就会失败。
在代码块中使用名称时, 使用最近的 封闭范围。所有这些的集合 代码块可见的作用域是 称为块的环境 以下构造绑定名称: 函数的形式参数,导入 语句、类和函数 定义(这些定义绑定类或 定义块中的函数名),
就这样。没有“前进”或“倒退”或“声明”之类的概念 在阅读了各种注释之后,为了从Python的历史中理解一些Perl概念,我来尝试一下。请介绍您在Perl中学到的一些东西。它们不适用于Python
>>> def a(): b()
...
>>> locals()['a']
<function a at 0x100480e60>
>>> locals()['b']
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
KeyError: 'b'
>>> a()
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "<stdin>", line 1, in a
NameError: global name 'b' is not defined
>>> abs(-1)
1
>>> def abs(num): print "HA Fooled you!!!"
...
>>> abs(-1)
HA Fooled you!!!
>>> abs=__builtins__.abs
>>> abs(-1)
1
#!/usr/bin/env python
def fake_a(): print " a fake"
a=fake_a
a()
def a(): print "this is a()"
a()
def a(): print " first a()"
a()
def a(): print "second a()"
a()
def a():
print globals()
b()
a()
NameError: global name 'b' is not defined