4 概要この節では、ECMAScript 言語の参考情報としての概要を示します。
ECMAScript は、ホスト環境
ECMAScript は当初、スクリプト言語として使用するために設計されましたが、汎用プログラミング言語として広く使用されるようになりました。スクリプト言語 とは、既存のシステムの機能を操作、カスタマイズ、および自動化するために使用されるプログラミング言語です。そのようなシステムでは、有用な機能がすでにユーザーインターフェースを通じて利用可能であり、スクリプト言語は、その機能をプログラムによる制御に公開する仕組みです。このように、既存のシステムは、オブジェクトと機能からなるホスト環境
ECMAScript は当初、ブラウザー内の Web ページに動きを与え、Web ベースのクライアントサーバーアーキテクチャの一部としてサーバー側の計算を実行する仕組みを提供する、Web スクリプト言語 として設計されました。現在、ECMAScript は、さまざまなホスト環境 ホスト環境
ECMAScript の用途は単純なスクリプトの範囲を超え、現在では、多様な環境と規模におけるあらゆるプログラミング作業に使用されています。ECMAScript の利用が拡大するにつれて、その機能も拡充されてきました。現在の ECMAScript は、十分な機能を備えた汎用プログラミング言語です。
4.1 Web スクリプティングWeb ブラウザーは、クライアント側の計算のための ECMAScript ホスト環境 ホスト環境
Web サーバーは、サーバー側の計算のために異なるホスト環境
ECMAScript をサポートする各 Web ブラウザーとサーバーは、独自のホスト環境
4.2 ホストと実装ECMAScript をホスト環境 抽象操作
実装 とは、附属書 D 実装定義 実装近似
実装定義 の機能とは、追加の条件を付けずに、その定義を外部の情報源に委ねる機能です。この仕様は特定の動作を推奨せず、適合実装は、この仕様が定める制約の範囲内で任意の動作を自由に選択できます。
実装近似 の機能とは、理想的な動作を推奨しながら、その定義を外部の情報源に委ねる機能です。適合実装は、この仕様が定める制約の範囲内で任意の動作を自由に選択できますが、理想に近づけるよう努めることが奨励されます。Math.exp実装近似
ホスト とは、附属書 D 実装定義 実装近似 ホスト D ホスト https://html.spec.whatwg.org/ ）などの外部仕様であることがよくあります。言い換えると、ホスト定義
ホストフック とは、外部の情報源によって全部または一部が定義される抽象操作 ホストフック D ホストフック
正常完了
ホスト定義 の機能とは、追加の条件を付けずにその定義を外部の情報源に委ね、附属書 D ホスト ホスト定義
ホスト環境 とは、すべてのホスト定義 ホスト環境 グローバルオブジェクト ホスト定義
この仕様は、常に最も具体的な用語を使用するという編集上の慣例に従います。たとえば、ある機能がホスト定義 実装定義
ホスト 抽象操作
4.3 ECMAScript の概要以下は ECMAScript の非形式的な概要であり、言語のすべての部分を説明するものではありません。この概要は、標準の本体の一部ではありません。
ECMAScript はオブジェクトを基盤としています。基本的な言語機能とホスト オブジェクト とは、0個以上のプロパティ の集合であり、各プロパティには、その使用方法を決定する属性 があります。たとえば、プロパティの Writable 属性が false に設定されている場合、実行される ECMAScript コードがそのプロパティに別の値を代入しようとする試みは、すべて失敗します。プロパティは、他のオブジェクト、プリミティブ値 、または関数 を保持する入れ物です。プリミティブ値は、次の組込み型のいずれかに属します。Undefined 、Null 、Boolean 、Number 、BigInt 、String 、および Symbol; オブジェクトは組込み型 Object に属し、関数は呼出し可能なオブジェクトです。プロパティを介してオブジェクトに関連付けられた関数を、メソッド と呼びます。
ECMAScript は、ECMAScript の構成要素の定義を補完する組込みオブジェクト の集合を定義します。これらの組込みオブジェクトには、グローバルオブジェクト Object、Function、Boolean、Symbol、および各種 Error オブジェクトなど、言語の実行時意味論 Math、Number、Date など、数値を表現および操作するオブジェクト、テキスト処理オブジェクト String と RegExp、Array および各要素が特定の数値データ表現を持つ9種類の型付き配列など、値のインデックス付きコレクションであるオブジェクト、Map と Set オブジェクトなどのキー付きコレクション、JSON オブジェクト、ArrayBuffer、SharedArrayBuffer、および DataView などの構造化データをサポートするオブジェクト、ジェネレーター関数と Promise オブジェクトなどの制御の抽象化をサポートするオブジェクト、ならびに Proxy と Reflect などのリフレクションオブジェクトが含まれます。
ECMAScript は、組込みの演算子 の集合も定義します。ECMAScript の演算子には、各種単項演算、乗除演算子、加減演算子、ビットシフト演算子、関係演算子、等価演算子、二項ビット演算子、二項論理演算子、代入演算子、およびカンマ演算子が含まれます。
大規模な ECMAScript プログラムは、プログラムを複数の文と宣言の列に分割できるモジュール によってサポートされます。各モジュールは、そのモジュールが使用する宣言のうち他のモジュールから提供される必要があるものと、そのモジュールの宣言のうち他のモジュールから使用できるものを、明示的に指定します。
ECMAScript の構文は、意図的に Java の構文に似せてあります。使いやすいスクリプト言語として利用できるよう、ECMAScript の構文は緩やかに設計されています。たとえば、変数の型を宣言する必要はなく、プロパティにも型は関連付けられません。また、定義された関数の宣言が、その関数の呼出しよりもソーステキスト上で前に現れる必要もありません。
4.3.1 オブジェクトECMAScript にはクラス定義の構文がありますが、ECMAScript のオブジェクトは、C++、Smalltalk、Java のオブジェクトのように、根本的にクラスを基盤とするものではありません。代わりに、オブジェクトはさまざまな方法で作成できます。これには、リテラル表記による作成や、オブジェクトを作成した後、そのプロパティに初期値を代入することでオブジェクトの全部または一部を初期化するコードを実行するコンストラクター コンストラクター プロトタイプに基づく継承 と共有プロパティ を実装するために使用される "prototype" という名前のプロパティを持つ関数です。オブジェクトは、new 式でコンストラクター new Date(2009, 11) は新しい Date オブジェクトを作成します。new を使用せずにコンストラクター コンストラクター Date() は、オブジェクトではなく、現在の日付と時刻の文字列表現を生成します。
コンストラクター コンストラクター "prototype" プロパティの値への暗黙の参照（そのオブジェクトのプロトタイプ と呼ばれます）を持ちます。さらに、プロトタイプ自身も、そのプロトタイプへの null ではない暗黙の参照を持つ場合があり、以後も同様に続きます。これをプロトタイプチェーン と呼びます。オブジェクト内のプロパティが参照されると、その参照は、プロトタイプチェーン内でその名前のプロパティを含む最初のオブジェクトの、その名前のプロパティを指します。言い換えると、まず直接指定されたオブジェクトにそのプロパティがあるかを調べます。そのオブジェクトが指定された名前のプロパティを含む場合、それが参照先のプロパティです。そのオブジェクトが指定された名前のプロパティを含まない場合、次にそのオブジェクトのプロトタイプを調べ、以後も同様に続けます。
図 1: オブジェクト/プロトタイプの関係
クラスを基盤とするオブジェクト指向言語では、一般に、状態はインスタンスが保持し、メソッドはクラスが保持し、継承されるのは構造と動作のみです。ECMAScript では、状態とメソッドはオブジェクトが保持し、構造、動作、および状態のすべてが継承されます。
プロトタイプが持つ特定のプロパティを直接には持たないすべてのオブジェクトは、そのプロパティとその値を共有します。図1は、これを示しています。
CF はコンストラクター new 式を使用して、5つのオブジェクト cf1 、cf2 、cf3 、cf4 、および cf5 が作成されています。これらの各オブジェクトは、"q1" と "q2" という名前のプロパティを含みます。破線は、暗黙のプロトタイプ関係を表します。したがって、たとえば、cf3 のプロトタイプは CFp です。コンストラクター CF 自身は、"P1" と "P2" という名前の2つのプロパティを持ちますが、これらは CFp 、cf1 、cf2 、cf3 、cf4 、および cf5 からは見えません。CFp 内の "CFP1" という名前のプロパティは、cf1 、cf2 、cf3 、cf4 、および cf5 によって共有されます（ただし、CF によっては共有されません）。同様に、CFp の暗黙のプロトタイプチェーン内にある、"q1" 、"q2" 、または "CFP1" という名前ではないプロパティも共有されます。CF と CFp の間には、暗黙のプロトタイプリンクがないことに注意してください。
クラスを基盤とする多くのオブジェクト言語とは異なり、プロパティに値を代入することで、オブジェクトにプロパティを動的に追加できます。つまり、コンストラクター cf1 、cf2 、cf3 、cf4 、および cf5 のための新しい共有プロパティを、CFp 内のプロパティに新しい値を代入することで追加できます。
ECMAScript のオブジェクトは本質的にクラスを基盤とするものではありませんが、コンストラクター
4.3.2 ECMAScript の厳格版ECMAScript 言語は、言語の利用者の一部が、その言語で利用可能な特定の機能の使用を制限したいと考える可能性を認めています。その理由としては、安全性のため、自分たちが誤りを招きやすいと考える機能を避けるため、エラーチェックを強化するため、またはその他の自ら選んだ理由が考えられます。この可能性に対応するため、ECMAScript は、言語の厳格版を定義します。言語の厳格版は、通常の ECMAScript 言語の特定の構文的および意味論的な機能を除外し、一部の機能の詳細な意味論を変更します。また、厳格版は、言語の非厳格な形式ではエラーと規定されていない状況に対して、エラー例外をスローすることで報告しなければならない追加のエラー条件を規定します。
ECMAScript の厳格版は、一般に、この言語の厳格モード と呼ばれます。厳格モードの選択と ECMAScript の厳格モードの構文および意味論の使用は、11.2.2 ECMAScript ソーステキスト ECMAScript ソーステキスト
この仕様に適合するためには、ECMAScript の実装は、この仕様で定義される、制限のない完全な ECMAScript 言語と ECMAScript 言語の厳格版の両方を実装しなければなりません。さらに、実装は、制限のないソーステキスト単位と厳格モードのソーステキスト単位を、一つの複合プログラムに組み合わせることをサポートしなければなりません。
4.4 用語および定義この文書の目的のために、以下の用語および定義を適用します。
4.4.1 実装近似実装近似
4.4.2 実装定義実装定義
4.4.3 ホスト定義実装定義
注
編集上の区別については、箇条 4.2
4.4.4 型箇条 6
4.4.5 プリミティブ値箇条 6 String 型
注
プリミティブ値は、言語実装の最も低いレベルで直接表現されるデータです。
4.4.6 オブジェクトObject 型
注
オブジェクトはプロパティの集合であり、単一のプロトタイプオブジェクトを持ちます。プロトタイプは null の場合があります。
4.4.7 コンストラクターオブジェクトを作成および初期化する関数オブジェクト
注
コンストラクター "prototype" プロパティの値は、継承と共有プロパティを実装するために使用されるプロトタイプオブジェクトです。
4.4.8 プロトタイプ他のオブジェクトに共有プロパティを提供するオブジェクト
注
コンストラクター コンストラクター "prototype" プロパティを暗黙に参照します。コンストラクター "prototype" プロパティは、プログラム式 constructor .prototypeObject.create を使用して、プロトタイプを明示的に指定した新しいオブジェクトを作成することもできます。
4.4.9 通常オブジェクトすべてのオブジェクトがサポートしなければならない基本内部メソッドについて、既定の動作を持つオブジェクト
4.4.10 特殊オブジェクト一つ以上の基本内部メソッドについて、既定の動作を持たないオブジェクト
注
通常オブジェクト 特殊オブジェクト
4.4.11 標準オブジェクト意味論がこの仕様によって定義されるオブジェクト
4.4.12 組込みオブジェクトECMAScript の実装によって規定および提供されるオブジェクト
注
標準の組込みオブジェクトは、この仕様で定義されます。ECMAScript の実装は、追加の種類の組込みオブジェクトを規定および提供してもかまいません。
4.4.13 undefined 値変数に値が代入されていないときに使用されるプリミティブ値
4.4.14 Undefined 型undefined 値を唯一の値とする型
4.4.15 null 値オブジェクト値が意図的に存在しないことを表すプリミティブ値
4.4.16 Null 型null 値を唯一の値とする型
4.4.17 Boolean 値Boolean 型
注
Boolean 値は、true と false の2つだけです。
4.4.18 Boolean 型プリミティブ値 true と false からなる型
4.4.19 Boolean オブジェクト標準組込みコンストラクター Object 型
注
Boolean オブジェクトは、Boolean 値を引数として渡し、new 式で Boolean コンストラクター
4.4.20 String 値0個以上の16ビット符号なし整数
注
String 値は、String 型 整数 整数
4.4.21 String 型すべての可能な String 値の集合
4.4.22 String オブジェクト標準組込みコンストラクター Object 型
注
String オブジェクトは、String 値を引数として渡し、new 式で String コンストラクター コンストラクター 22.1.1.1
4.4.23 Number 値IEEE 754-2019
注
Number 値 Number 型
4.4.24 Number 型NaN （“非数”）、+∞ 𝔽 （正の無限大）、および -∞ 𝔽 （負の無限大）を含む、すべての可能な Number 値
4.4.25 Number オブジェクト標準組込みコンストラクター Object 型
注
Number オブジェクトは、Number 値 new 式で Number コンストラクター Number 値 コンストラクター Number 値 21.1.1.1
4.4.26 Infinity正の無限大の Number 値 Number 値
4.4.27 NaNIEEE 754-2019 Number 値
4.4.28 BigInt 値任意精度の整数
4.4.29 BigInt 型すべての可能な BigInt 値
4.4.30 BigInt オブジェクト標準組込みコンストラクター Object 型
4.4.31 Symbol 値一意で、String ではない Object のプロパティキー
4.4.32 Symbol 型すべての可能な Symbol 値の集合
4.4.33 Symbol オブジェクト標準組込みコンストラクター Object 型
4.4.34 関数サブルーチンとして呼び出せる、Object 型
注
関数は、そのプロパティに加えて、呼び出されたときの動作を決定する実行可能なコードと状態を含みます。関数のコードは、ECMAScript で書かれている場合も、そうでない場合もあります。
4.4.35 組込み関数関数である組込みオブジェクト
注
組込み関数の例には、parseInt と Math.exp があります。ホスト
4.4.36 組込みコンストラクターコンストラクター
注
組込みコンストラクター Object と Function があります。ホスト コンストラクター
4.4.37 プロパティキー（String 値または Symbol 値のいずれか）と値を関連付ける、オブジェクトの一部
注
プロパティの形式に応じて、その値は、データ値（プリミティブ値、オブジェクト、または関数オブジェクト
4.4.38 メソッドプロパティの値である関数
注
関数がオブジェクトのメソッドとして呼び出されると、そのオブジェクトは、関数の this 値として関数に渡されます。
4.4.39 組込みメソッド組込み関数であるメソッド
注
標準の組込みメソッドは、この仕様で定義されます。ホスト
4.4.40 属性プロパティの何らかの特性を定義する内部値
4.4.41 自身のプロパティそのオブジェクトに直接含まれるプロパティ
4.4.42 継承されたプロパティオブジェクト自身のプロパティではなく、そのオブジェクトのプロトタイプのプロパティ（自身のもの、または継承されたもの）である、オブジェクトのプロパティ
4.5 この仕様の構成この仕様の残りの部分は、以下のように構成されています。
箇条 5
箇条 6 10
箇条 11 17
箇条 18 28
箇条 29
