引用類型用來說明 delete，typeof，賦值運算符這些運算符的行為。例如，在賦值運算中左邊的操作數期望產生一個引用。通過賦值運算符左側運算子的語法案例分析可以但不能完全解釋賦值行為，還有個難點：函數調用允許返回引用。承認這種可能性純粹是為了宿主對象。本規(guī)范沒有定義返回引用的內置 ECMAScript 函數，并且也不提供返回引用的用戶定義函數。（另一個不使用語法案列分析的原因是，那樣將會影響規(guī)范的很多地方，冗長并且別扭。）

一個 引用 (Reference) 是個已解決的命名綁定。一個引用由三部分組成， 基 (base) 值， 引用名稱（referenced name） 和布爾值 嚴格引用 (strict reference) 標志?；凳?undefined, 一個 Object, 一個 Boolean, 一個 String, 一個 Number, 一個 environment record 中的任意一個?；凳?undefined 表示此引用可以不解決一個綁定。引用名稱是一個字符串。

本規(guī)范中使用以下抽象操作接近引用的組件：

• GetBase(V)。 返回引用值 V 的基值組件。
• GetReferencedName(V)。 返回引用值 V 的引用名稱組件。
• IsStrictReference(V)。 返回引用值 V 的嚴格引用組件。
• HasPrimitiveBase(V)。 如果基值是 Boolean, String, Number，那么返回 true。
• IsPropertyReference(V)。 如果基值是個對象或 HasPrimitiveBase(V) 是 true，那么返回 true；否則返回 false。
• IsUnresolvableReference(V)。 如果基值是 undefined 那么返回 true，否則返回 false。

本規(guī)范使用以下抽象操作來操作引用：