作用域
在電腦程式設計中,作用域(scope,或譯作有效範圍)是名字(name)与实体(entity)的绑定(binding)保持有效的那部分计算机程序。不同的编程语言可能有不同的作用域和名字解析。而同一语言内也可能存在多种作用域,随实体的类型变化而不同。作用域类别影響變量的绑定方式,根據語言使用靜態作用域還是動態作用域变量的取值可能会有不同的結果。
命名空間是一種作用域,使用作用域的封裝性質去邏輯上群組起關相的眾識別子於單一識別子之下。因此,作用域可以影響這些內容的名字解析。
歷史
编辑例子
编辑下列例子显示了C++语言中多种不同的作用域声明:
namespace N
{ // 命名空间作用域,仅是群组织别名
class C
{ // 类作用域,定义/声明成员变量和函数
void f (bool b)
{ // 函数作用域,包含可执行语句
if (b)
{ // 条件执行语句的无名作用域
...
}
}
};
}
静态作用域与动态作用域
编辑静态作用域又叫做词法作用域,采用词法作用域的变量叫词法变量。词法变量有一个在编译时静态确定的作用域。词法变量的作用域可以是一个函数或一段代码,该变量在这段代码区域内可见(visibility);在这段区域以外该变量不可见(或无法访问)。词法作用域里,取变量的值时,会检查函数定义时的文本环境,捕捉函数定义时对该变量的绑定。
大多数现在程序设计语言都是采用静态作用域规则,如C/C++、C#、Python、Java、JavaScript……
相反,采用动态作用域的变量叫做动态变量。只要程序正在执行定义了动态变量的代码段,那么在这段时间内,该变量一直存在;代码段执行结束,该变量便消失。这意味着如果有个函数f
,里面调用了函数g
,那么在执行g
的时候,f
里的所有局部变量都会被g
访问到。而在静态作用域的情况下,g
不能访问f
的变量。动态作用域里,取变量的值时,会由内向外逐层检查函数的调用链,并打印第一次遇到的那个绑定的值。显然,最外层的绑定即是全局状态下的那个值。
采用动态作用域的语言有Pascal、Emacs Lisp、Common Lisp(兼有静态作用域)、Perl(兼有静态作用域)。C/C++是静态作用域语言,但在宏中用到的名字,也是动态作用域。