词法作用域（Lexical Scope），也被称为静态作用域，是编程语言中确定变量和函数可访问范围的一种机制。这种机制基于代码的物理位置（即书写位置）来确定作用域，而不是基于函数的调用位置或执行时的上下文。
在词法作用域中，作用域是由代码块（如函数、块语句等）在源代码中的嵌套关系来定义的。每个代码块都会创建一个新的作用域，这个作用域可以访问其外部作用域（即包含它的代码块的作用域）中的变量和函数，但外部作用域无法直接访问内部作用域中的变量（除非通过某种机制如闭包）。
以下是词法作用域的一些关键特点：
静态确定：词法作用域在代码编写时就已经确定，与代码的执行无关。这意味着，在编写代码时，我们就可以清楚地知道某个变量或函数在哪些作用域中是可访问的。
嵌套关系：作用域之间通常存在嵌套关系，即一个作用域可以包含另一个作用域。在嵌套的作用域中，内部作用域可以访问外部作用域中的变量和函数，但外部作用域无法直接访问内部作用域中的变量（除非通过闭包等机制）。
函数作用域：在JavaScript等语言中，每个函数都会形成一个新的作用域（尽管ES6引入了块级作用域的概念，但函数作用域仍然是词法作用域的一个重要方面）。这意味着在函数内部声明的变量和函数只能在该函数的作用域内访问。
变量查找：当代码执行到某个变量时，编译器或解释器会沿着作用域链向上查找该变量。作用域链是一个从当前作用域到全局作用域的链式结构，用于在查找变量时确定搜索路径。如果在当前作用域中找到了该变量，则使用它；否则，继续向上查找，直到找到全局作用域或抛出错误。
词法作用域是编程语言中用于封装变量和函数、避免命名冲突以及实现模块化编程的重要机制。通过理解词法作用域的工作原理，我们可以编写更清晰、易于理解和维护的代码。
