作用域

计算机科学

电脑程式设计中,作用域(scope,或译作有效范围)是名字(name)与实体(entity)的绑定(binding)保持有效的那部分电脑程序。不同的编程语言可能有不同的作用域名字解析。而同一语言内也可能存在多种作用域,随实体类型变化而不同。作用域类别影响变量绑定方式,根据语言使用静态作用域还是动态作用域变量的取值可能会有不同的结果。

命名空间是一种作用域,使用作用域的封装性质去逻辑上组群起关相的众识别子于单一识别子之下。因此,作用域可以影响这些内容的名字解析

程序员常会缩进他们的原始码中的作用域,改善可读性。

历史

例子

下列例子显示了C++语言中多种不同的作用域声明:

namespace N
{                        // 命名空间作用域,仅是群组织别名
   class C
   {                     // 类作用域,定义/声明成员变量和函数
      void f (bool b)
      {                  // 函数作用域,包含可执行语句
         if (b)
         {               // 条件执行语句的无名作用域
           ...
         }
      }
   };
}

静态作用域与动态作用域

静态作用域又叫做词法作用域,采用词法作用域的变量叫词法变量。词法变量有一个在编译时静态确定的作用域。词法变量的作用域可以是一个函数或一段代码,该变量在这段代码区域内可见(visibility);在这段区域以外该变量不可见(或无法访问)。词法作用域里,取变量的值时,会检查函数定义时的文本环境,捕捉函数定义时对该变量的绑定。

大多数现在程式设计语言都是采用静态作用域规则,如C/C++C#PythonJavaJavaScript……

相反,采用动态作用域的变量叫做动态变量。只要程序正在执行定义了动态变量的代码段,那么在这段时间内,该变量一直存在;代码段执行结束,该变量便消失。这意味着如果有个函数f,里面调用了函数g,那么在执行g的时候,f里的所有局部变量都会被g访问到。而在静态作用域的情况下,g不能访问f的变量。动态作用域里,取变量的值时,会由内向外逐层检查函数的调用链,并打印第一次遇到的那个绑定的值。显然,最外层的绑定即是全局状态下的那个值。

采用动态作用域的语言有PascalEmacs LispCommon Lisp(兼有静态作用域)、Perl(兼有静态作用域)。C/C++是静态作用域语言,但在宏中用到的名字,也是动态作用域。

参见