静态/动态作用域、类型化、绑定

Question

我问这个只是为了澄清我的想法是否正确。

如果在运行时解释变量的类型，则语言将动态类型化。这意味着您作为程序员可以更快地编写，因为您不必每次都指定类型。示例：Perl

静态/动态绑定-下面的链接清楚地解释了静态绑定和动态绑定的区别

我想问的主要问题从这里开始。我知道静态作用域和动态作用域之间的区别。然而，当我讨论堆栈溢出时，人们说C++和Python是静态作用域的。

int void main(){
   cout<<i;          
   int i=15;
}  
int i=10;

def foo():
    print(x)
    x=10
x='global'
foo()

给出一个错误。

Answer 1

这个作用域在Python和C++中都是静态的。这些语言之间的区别与定义名称范围的开始和结束的规则有关。

在C++中，变量i在局部定义int i=15之前被认为是全局的；。

在Python中：在Python中，局部变量和全局变量的规则是什么？：

因此，由于变量x是在foo()中确定的，因此假定它是从函数foo()开始的局部变量。可以使用global关键字将整个函数块中的X视为全局：

def foo():                
    global x              # name 'x' refers to the global variable
    print(x)              # print global 'x'
    x=10                  # assign global variable

x='global'
foo() # print 'global'
foo() # print '10'

实际上，可以使用globals()build-it函数访问全局变量x，即使您希望在同一个函数中有一个本地名称x:

def foo():                # name 'x' refers to the local variable
    print(globals()['x']) # access the global name 'x'
    x=10                  # assign local variable
    print(x)              # print local 'x'

x='global'
foo()