ES5概述（ECMAScript262/5.1）本文參考： "ES5概述" ECMAScript 是基於對象的：基本語言和宿主設施都由對象提供，ECMAScript 程式是一組可通信的對象。ECMAScript 對象是屬性的集合，每個屬性有零個或多個特性，以及屬性的使用方式。例如，當設置一個屬 ...

ES5概述（ECMAScript262/5.1）

本文參考：ES5概述

ECMAScript 是基於對象的：

基本語言和宿主設施都由對象提供，ECMAScript 程式是一組可通信的對象。ECMAScript 對象是屬性的集合，每個屬性有零個或多個特性，以及屬性的使用方式。例如，當設置一個屬性的Writable 特性為 false 時，任何試圖更改此屬性值的 ECMAScript 代碼的都會執行失敗。

屬性是一個容器，它可以存放其他對象、原始值、函數。
原始值是以下內置類型之一的成員：Undefined、Null、Boolean、Number、String；原始值可以直接表示語言實現的最底層數據;對象是剩下的內置類型 Object 的成員，對象是屬性的集合，並有一個原型對象。原型可以是空值。
函數是可調用的對象。
方法是通過屬性與對象關聯的函數。
構造器：創建和初始化對象的函數對象。註：構造器的“prototype”屬性值是一個原型對象，它用來實現繼承和共用屬性。
原型：為其他對象提供共用屬性的對象。註：當構造器創建一個對象時，為瞭解決對象的屬性引用，該對象會隱式引用構造器的“prototype”屬性。通過程式表達式 constructor.prototype 可以引用到構造器的“prototype”屬性。並且，添加到對象原型里的屬性會通過繼承的方式與所有共用此原型的對象共用。另外，可使用 Object.create 內置函數，通過明確指定原型來創建一個新對象。
內置對象：由 ECMAScript 實現提供，獨立於宿主環境的對象，ECMAScript 程式開始執行時就存在。註：標準的內置對象由本規範定義，ECMAScript 實現可以指定和定義其他的。所有內置對象都是原生對象。內置構造器是個內置對象，同時也是個構造器。
宿主對象：由宿主環境提供的對象，用於完善 ECMAScript 執行環境。註：任何不是原生對象的對象就是宿主對象。
其它：
undefined值：說明一個變數沒有被分配值的一個原始值
Undefined 類型：undefined 值是 Undefined 類型絕無僅有的一個值。
null 值：代表對象值故意留空的一個原始值。
Null 類型：null 值是 Null 類型絕無僅有的一個值。
Boolean 值：Boolean 類型的成員。註：只有兩個 Boolean 值，true 和 false 。
Boolean 類型：由原始值 true 和 false 組成的類型。
Boolean 對象：Object 類型的成員，它是標準內置構造器 Boolean 的實例。註：通過使用 new 表達式，以一個 Boolean 值作為參數調用 Boolean 構造器來創建 Boolean 對象。由此產生的對象包含一個值為此 Boolean 值的內部屬性。Boolean 對象可以強制轉換為 Boolean 值。
String 值：原始值，它是零個或多個16位無符號整數組成的有限有序序列。註： String 值是 String 類型的成員。通常序列中的每個整數值代表 UTF-16 文本的單個16位單元。然而，對於其值，ECMAScript 只要求必須是16位無符號整數，除此之外沒有任何限制或要求。
String 類型：所有可能的 String 值的集合。
String 對象：Object 類型的成員，它是標準內置構造器 String 的實例。
註：通過使用 new 表達式，以一個 String 值為參數調用 String 構造器來創建 String 對象。由此產生的對象包含一個值為此 String 值的內部屬性。將 String 構造器作為一個函數來調用，可將一個 String 對象強制轉換為一個 String 值（15.5.1）。
Number 值：原始值，對應一個64位雙精度二進位 IEEE754 值。
註： Number 值是 Number 類型的成員，是一個數字的明確表示法。
Number 類型：所有可能的數字值的集合，包括特殊的“Not-a-Number”(NaN) 值、正無窮、負無窮。
Number 對象：對象類型的成員，它是標準內置構造器 Number 的一個實例。註：通過使用 new 表達式，以一個數字值為參數調用 Number 構造器來創建數字對象。由此產生的對象包含一個值為此數字值的內部屬性。將 Number 構造器作為一個函數來調用，可將一個 Number 對象強制轉換為一個數字值（15.7.1）。
Infinity：正無窮 Number 值。
NaN：值為 IEEE 754“Not-a-Number”的 Number 值。
函數：Object 類型的成員，標準內置構造器 Function 的一個實例，並且可作為子程式被調用。註：函數除了擁有命名的屬性，還包含可執行代碼、狀態，用來確定被調用時的行為。函數的代碼不限於 ECMAScript。
內置函數屬於函數的內置對象。註：如 parseInt 和 Math.exp 就是內置函數。一個實現可以提供本規範沒有描述的依賴於實現的內置函數。
屬性：一個名稱和一個值之間的關聯；屬性本身是對象的一部分。註：根據屬性形式的不同，其值可以直接表現為一個數據值（原始值、對象、函數對象）或間接地通過一對訪問器函數來表現。
方法：作為屬性值的函數。註：當一個函數被作為一個對象的方法調用時，此對象將作為 this 值傳遞給函數。
內置方法：屬於內置函數的方法。註：標準內置方法由本規範定義，一個 ECMAScript 實現可指定，提供其他額外的內置方法。
特性：用於定義屬性的一些特征的內部值。
自身屬性：對象直接擁有的屬性。
繼承屬性：不是對象的自身屬性，但是對象原型的屬性（可以是自身或繼承的）。

ECMAScript 定義了一組內置對象，完善了 ECMAScript 實體的定義。

這些內置對象包括全局對象、Object對象、Function對象、Array對象、String對象、Boolean對象、Number對象、Math對象、Date對象、RegExp對象、JSON對象和 Error對象：Error、EvalError、RangeError、ReferenceError、SyntaxError、TypeError、URIError

ECMAScript 中還定義一組內置運算符。

ECMAScript 運算符包括一元運算符、乘法運算符、加法運算符、位移運算符、關係運算符、等值運算符、二元按位運算符、二元邏輯運算符、賦值運算符、逗號運算符。

ECMAScript 的語法是鬆散的，使其能夠作為一個易於使用的腳本語言。

例如，一個變數不需要有類型聲明，屬性也不需要與類型關聯，定義的函數也不需要聲明在函數調用語句的前面

對象

ECMAScript 不使用諸如 C++、Smalltalk、Java 中的類。相反，對象可以通過各種方式創建，包括字面量符號、構造器創建對象然後運行代碼初始化其全部或部分屬性值，併為這些屬性分配初始值。每個構造器是一個擁有名為“prototype”屬性的函數。此屬性用於實現原型繼承和屬性共用。構造器通過 new 表達式創建對象：例如，new Date(2009,11) 創建一個新 Date 對象。不使用 new 調用一個構造器的結果，依賴構造器本身。例如，Date() 產生一個表示當前日期時間的字元串，而不是一個對象

每個由構造器創建的對象都有一個隱式引用（叫做對象的原型）鏈接到構造器的“prototype”屬性值。再者，原型可能有一個非空隱式引用鏈接到它自己的原型，以此類推，這叫做原型鏈。當一個引用被連接到對象的屬性上時，引用會指向原型鏈中包含此屬性名的第一個對象對應的屬性。換句話說，首先檢查對象直接的同名屬性，如果對象包含同名的屬性，引用即指向此屬性，如果該對象不包含同名的屬性，則下一步檢查對象的原型，以此類推。

在 ECMAScript 中，對象擁有狀態和方法，並且結構，行為，狀態全都可繼承。所有不直接包含原型中包含的特定屬性的對象會共用此屬性及屬性值。對象與原型的關係圖說明瞭這一點：

CF 是一個構造器（也是一個對象）。五個對象已用 new 表達式創建 : cf1、cf2、cf3、cf4、cf5。每個對象都有名為 q1 和 q2 的屬性。虛線表示隱式原型關係；例如：cf3 的原型是 CFp。構造器 CF 自己有名為 P1 和 P2 的兩個屬性，這對 CFp、cf1、cf2、cf3、cf4、cf5 是不可見的。CFp 中名為 CFP1 的屬性和任何在 CFp 的隱式原型鏈中能找到且不名為 q1、q2、CFP1 的屬性都被 cf1、cf2、cf3、cf4、cf5 所共用（但不被 CF 共用）。請註意 CF 和 CFp 之間沒有隱式原型鏈接。
不同於基於類的對象語言，屬性可以通過賦值的方式動態添加給對象。也就是說，構造器並不是非要對構造的對象的全部或任何屬性命名或賦值。上圖中，可以給 CFp 添加新屬性值的方式為 cf1、cf2、cf3、cf4、cf5 添加一個新的共用屬性。

ECMAScript 的嚴格模式變體

ECMAScript 語言認為存在部分希望限制語言中某些功能的用戶。他們這樣做可能是為了安全考慮，規避那些他們認為容易出錯的功能，從而獲得更強的錯誤檢查，或者其他原因。為了支持這種可能的情況，ECMAScript 定義了語言的嚴格變體。語言的嚴格變體，排除了 ECMAScript 語言中某些特定的句法和語義特征，還修改了某些功能的詳細語義。嚴格變體還指定了額外一些必須拋出錯誤異常報告的錯誤條件，而在非嚴格的語言模式下這些條件不屬於錯誤。
ECMAScript 的嚴格變體通常被稱為語言的嚴格模式。嚴格模式選擇使用 ECMAScript 嚴格模式的語法和語義，明確地適用於個別 ECMAScript 代碼單元級別。由於嚴格模式適用於選擇的語法代碼單元級別，嚴格模式只會在這個代碼單元內施加帶有局部效果的限制。嚴格模式不在語義層面限制或修改任何必須在多個代碼單元運行的 ECMAScript 代碼。一個 ECMAScript 程式可由嚴格模式和非嚴格模式的代碼單元組成。在這種情況下，嚴格的模式只適用於嚴格模式代碼單元內實際執行的代碼。