對于變量的作用域(scope)，C、Java等語言采取的是“block scope”的方式。與之不同，JavaScript所采取的是“function scope”的方式 ― 變量的作用域僅由所處的function決定，與if、for等邏輯塊無關。比如，以下這個例子展示了JavaScript中與C、Java等語言不一樣的行為：

在C、Java等“block scope”的語言中，if語句、for語句等邏輯塊結束后，在這些邏輯塊內部定義的變量將會被銷毀。JavaScript與之不同，只要一個變量定義在某function內，那么整個function內的所有代碼均可訪問到該變量，即使這些代碼在變量定義之前：

在上述例子中，如果function中a從未被定義，那么console.log(a)將拋出ReferenceError。當function中對a進行定義后，即使這個定義在a變量調用語句之后，對a的調用也屬于合法操作(如果對a變量的定義發生在調用語句之后，那么調用語句中a變量的值為undefined)。事實上，在function內用var關鍵詞進行定義的所有變量，其定義操作都會被提至function的開頭(賦值操作依然留在var定義的那一行)，這在JavaScript中稱之為hoisting。比如，上述代碼就等價于：

變量的作用域鏈

聯系JavaScript中變量的儲存，可以很好的理解JS中的“function scope”與hoisting。由于變量是儲存在全局對象或者函數調用對象上的，因此當在function中定義變量時，無論這個變量定義在function的什么地方，這次function調用所使用的函數調用對象中必然會出現一個與此變量同名的屬性。如此一來，function中的任何地方都可以訪問到該變量。

涉及到函數調用，JavaScript中還有一個更有趣的概念：變量的作用域鏈 ― 由于變量是儲存在全局對象或者函數調用對象上的，因此在訪問變量時，可以從多個對象上獲取值。以下面的代碼為例：

在上述代碼中2級函數(level-2 function)的內部，當試圖訪問x變量時，程序可以從3個對象上搜索相應的屬性值：調用2級函數所使用的函數調用對象、調用1級函數所使用的函數調用對象、全局對象 ― 根據函數定義的嵌套關系，JavaScript將生成一個由全局對象和函數調用對象所組成的對象鏈。訪問變量時，程序將從離訪問語句最近的那個對象開始搜索，如果沒有搜索到，則在對象鏈中上一級的對象中繼續進行搜索，直至全局對象。

由于這個對象鏈與變量的作用域有關，因此也叫做“作用域鏈”。

如果需要臨時改變作用域鏈，將某個對象插入到作用域鏈的最前端(作為最先訪問到的那個函數對象)，可以使用with語句：

不過，在JavaScript嚴格模式下，with語句是被禁用的；即使在非嚴格模式下，也不推薦使用with語句。