大域オブジェクト (Web)

仕様書

呼称

[82] Web IDL は ECMAScript 大域環境 (global environment) と呼んでいます。

[25] かつて HTML Standard が定義していた用語 JavaScript 大域環境 (global environment) は、 JavaScript の仕様書における大域環境 (global environment) と同義です >>23。

大域環境の一覧

[22] JavaScript大域環境には次の種類があります。それぞれ異なる種類の大域オブジェクトを用いています。

env: 大域環境名
obj: 大域オブジェクトのインターフェイス
name: 大域名

env: [18] 文書環境 (document environment) >>23
obj: Window
name: Window

env: [19] ワーカー環境 (worker environment) >>23
obj: WorkerGlobalScope
name: -

env: [20] :... 専用ワーカー環境 (dedicated worker environment) >>23
obj: DedicatedWorkerGlobalScope
name: Worker, DedicatedWorker

env: [21] :... 共有ワーカー環境 (shared worker environment) >>23
obj: SharedWorkerGlobalScope
name: Worker, SharedWorker

env: [67] :... サービスワーカー環境 (service worker environment)
obj: ServiceWorkerGlobalScope
name: Worker, ServiceWorker

name: AudioWorklet

[66] これらの大域環境名は、現在の HTML Standard では削除されています。

[26] 特記なき場合 JavaScript大域環境は文書環境です >>23。 Window は、一次大域インターフェイスです。

[36] ワーカー環境は3つの環境の総称で、これ単独で用いられることはありません。

[27] >>18 の特殊ケースとして、大域オブジェクトが Window と WindowModal の両方を実装したオブジェクトとなる >>12 ことがあります。

[28] ウィジェット実現値では Window オブジェクトが WindowWidget も実装することになっています。

[57] 大域オブジェクトを識別する名前を大域名 (global name) といいます。大域名は Global 拡張属性や PrimaryGlobal 拡張属性に識別子リストとして指定することができます。明示されていない場合、インターフェイスの名前が大域名となります。

[60] 大域名には制約がなく、複数のインターフェイスに同じ大域名を与えることもできます。

[64] 大域名は Exposed 拡張属性で大域オブジェクトを指定するために使われます。

[81] 大域名は Web IDL による定義のための仕様書内の情報であり、実装により著者から観測可能なものではありません。

[43] ある文脈で適用される大域環境のことを現在大域環境といいます。

[49] オブジェクトは、大域環境に関連付けられています。

[50] 例えばコンストラクターが作成したオブジェクトは、そのインターフェイスオブジェクトの大域環境に関連付けられます。

初期オブジェクト

[46] Web IDL の JavaScript 実装において IDL素片の定義に対応する JavaScriptオブジェクトを初期オブジェクト (initial object) といいます >>45。次のものがあります。

[47] JavaScript大域環境は、それぞれ固有の初期オブジェクトの集合を持たなければなりません >>45。初期オブジェクトは、JavaScript大域環境に関連付けられた JavaScript実行文脈の制御下に入る前で、 JavaScript大域環境の大域オブジェクトが作成された後に、作成されます >>45。

[48] 初期オブジェクトの Prototype は、同じ大域環境のものでなければなりません >>45。

JavaScript 大域実行文脈

[30] スクリプトの設定群オブジェクトの大域オブジェクトが Window の時、 JavaScript の大域実行文脈の ThisBinding (this) はその Window オブジェクト自体ではなく、その Window オブジェクトの WindowProxy オブジェクトとしなければなりません。 >>10

[31] ES5 仕様上は大域オブジェクト自体が this によって返されることになっていますが、実際の Webブラウザー上は Window オブジェクトにスクリプトがアクセスすることができず、常に代わりに WindowProxy オブジェクトが返されることになっています。これは ES 仕様書に対する HTML Standard の意図的違反です >>10。

大域オブジェクト

[89] 大域オブジェクト (global object) は、 Realm の GlobalObject で指定された JavaScriptオブジェクトです >>10。 Realm の大域オブジェクト (the Realm's global object) とは、当該 Realm の GlobalObject のことをいいます >>91。

[90] 大域オブジェクトと環境設定群オブジェクトと Realm は、常に 1:1:1 関係にあります。

[75] 大域オブジェクトは次の状態を持ちます。

環境設定群オブジェクト: 本大域オブジェクトに対応する環境設定群オブジェクトです (>>11)。
Realm: 本大域オブジェクトに対応する Realm です。
[35] エラー報告モード: 大域オブジェクトはエラーの報告の対象となることがあります。エラーの報告の対象 (>>34) はエラー報告モードになることがあります。
Blob URL Store: 作成した Blob URL が登録されます。
Revocation List: 自動revokeされる Blob URL が登録されます。
WebSocket群: unloading document cleanup steps で参照されます。
EventSource群: unloading document cleanup steps で参照されます。
ポート群
BroadcastChannel群
保安文脈、非保安文脈: 保安文脈であるか否か

[95] 他に、大域オブジェクトが実装する各インターフェイスの状態をも保持します。

JavaScript 大域オブジェクトの内部特性

[4]

[[Call]]: なし ES3 15.1
[[CanPut]]: 標準 ES3 18.6.2.3
[[Class]]: 実装依存 ES3 15.1
[[Construct]]: なし ES3 15.1
[[Default]]: 標準 ES3 18.6.2.6
[[Delete]]: 標準 ES3 18.6.2.5
[[Get]]: 標準 ES3 18.6.2.1
[[HasProperty]]: 標準 ES3 18.6.2.4
[[Prototype]]: 実装依存 ES3 15.1
[[Put]]: 標準 ES3 18.6.2.2

JavaScript 大域オブジェクトのメンバー

[3]

`Array`	ECMA 標準	ES3
`Boolean`	ECMA 標準	ES3
`Date`	ECMA 標準	ES3
`decodeURI`	ECMA 標準	ES3
`decodeURIComponent`	ECMA 標準	ES3
`encodeURI`	ECMA 標準	ES3
`encodeURIComponent`	ECMA 標準	ES3
`escape`	ECMA 標準 (参考)	ES3 (参考)
`Error`	ECMA 標準	ES3
`eval`	ECMA 標準	ES3
`EvalError`	ECMA 標準	ES3
`Function`	ECMA 標準	ES3
`Infinity`	ECMA 標準	ES3
`isFinite`	ECMA 標準	ES3
`isNaN`	ECMA 標準	ES3
`Math`	ECMA 標準	ES3
`NaN`	ECMA 標準	ES3
`Number`	ECMA 標準	ES3
`Object`	ECMA 標準	ES3
`parseFloat`	ECMA 標準	ES3
`parseInt`	ECMA 標準	ES3
`RangeError`	ECMA 標準	ES3
`ReferenceError`	ECMA 標準	ES3
`RegExp`	ECMA 標準	ES3
`String`	ECMA 標準	ES3
`SyntaxError`	ECMA 標準	ES3
`TypeError`	ECMA 標準	ES3
`undefined`	ECMA 標準	ES3
`unescape`	ECMA 標準 (参考)	ES3 (参考)
`URIError`	ECMA 標準	ES3

Web IDL によって大域オブジェクトに定義されるもの

[65] 次のものが Web IDL の規定と IDL素片の定義に基づき大域オブジェクト上に定義されます。

インターフェイスオブジェクト群: interface により定義されたインターフェイスごとのオブジェクトが定義されることがあります。
名前付きコンストラクター群: NamedConstructor 拡張属性により名前付き構築子が定義されることがあります。
DOMException: DOMException構築子オブジェクトです。常に定義されます。

[80] 次のものは廃止されました。

例外インターフェイスオブジェクト群
辞書コンストラクター群: dictionary の Constructor 拡張属性により構築子が定義されることがあります。

[44] インターフェイスが Web IDL の規定に従い大域オブジェクトに現れることを、晒されるといいます。

演算

[34] 大域オブジェクトはエラーの報告の対象として使われます。

[77] Web IDL の規定するアルゴリズムはセキュリティー検査を実行 (perform a security check) することを求めることがあります。これは、演算の実行や IDL属性へのアクセスが認められるべきかどうかを決めるものです。 >>76

[78] 本検査への入力は、文脈オブジェクトたるプラットフォームオブジェクトと、演算やIDL属性を実装する Function オブジェクトに関連付けられた JavaScript大域環境です >>76。出力は、認められるため何もしないか、認められないため例外を投げるかです。

[79] HTML Standard で検査が規定されることを Web IDL は想定しています >>76 が、現時点では何の規定もありません。

大域オブジェクトと環境設定群オブジェクト

[83] JavaScript実行文脈の大域オブジェクト (global object) は、 Realm の GlobalObject です >>70。

[84] 環境設定群オブジェクトの大域オブジェクト (the environment settings object's global object) は、環境設定群オブジェクトのRealmのGlobalObjectです >>10。

[11] スクリプトは設定群オブジェクトを持ちますが、その環境設定群オブジェクトは大域オブジェクト (global object) を持ちます。大域オブジェクトは、当該設定群オブジェクトを使うスクリプトが呼び出せる API を提供するオブジェクトです。 >>10

[12] これは特に JavaScript に限定せずに定義されています。ただし JavaScript 以外で利用する方法はどの仕様書でも規定されていません。

[29] 空のオブジェクトを大域オブジェクトとすると、環境に対して作用できないようになります。 >>10

[32] 環境設定群オブジェクトと大域オブジェクトは一対一対応関係にあります。大域オブジェクトから見て環境設定群オブジェクトのことを大域オブジェクトの関連する設定群オブジェクトといいます。 >>10

[33] 言い換えると、同じ大域オブジェクトで実行されるスクリプト達は環境設定群オブジェクトを共有していることになります。定義上はスクリプトがかんきょう設定群オブジェクトを持つという関係になっていますが、スクリプトが大域オブジェクトを持ち、大域オブジェクトが環境設定群オブジェクトの諸設定を持っていると解釈・実装することも可能です。

[14] 大域オブジェクトとスクリプト設定群オブジェクトが別のオブジェクトとして定義されているのは、スクリプト無効時に大域オブジェクトが存在しない >>13 ためのようです。 (実際の Webブラウザーでは、スクリプトから到達できないだけで内部的に大域オブジェクトは存在しているかもしれませんが。)

[13] Bug 28375 – The global object has an origin in implementations, we should acknowledge this. Specifications also routinely assume it has one, e.g. IDB. (2015-04-21 12:39:14 +09:00 版) https://www.w3.org/Bugs/Public/show_bug.cgi?id=28375#c11

[98] 入口大域オブジェクト、現職大域オブジェクト、現在大域オブジェクト、関連大域オブジェクトについては、設定群オブジェクトを参照。

複数の大域オブジェクト

[37] 文書環境では、スクリプトは他の閲覧文脈の Window オブジェクトにアクセスできます。これを通じて現在の大域オブジェクトとは異なる大域オブジェクト/大域環境に由来するオブジェクトにアクセスすることが可能です。

[38] 例えば iframe 内の文書が作成した JavaScript Array にアクセスすることができます。その Array オブジェクトは、本大域オブジェクトの Array プロトタイプの実現値ではありません (instanceof が偽を返します)。

[40] ワーカー環境では他の大域オブジェクト (やそこに属するオブジェクト) にアクセスする方法がありません。

[41] postMessage は、そのメソッドを呼び出した大域環境とは異なる大域オブジェクトに属するオブジェクトを作成することになります。

[39] document.open も Window (大域オブジェクト) を差し替えるので、やはり異なる大域環境のオブジェクトが混在し得る状況となります。

[42] 実行中の大域環境の文書の document.open は当該文書の Window と環境設定群オブジェクトを差し替えますが、実行中のコード (open メソッドの呼び出し元) で現に使用している設定群オブジェクト・大域環境はそのままなので、その実行が終わるまでは不思議なことが起こるかもしれません。

[51] JavaScript の演算は普通大域環境に依存しない形で定義されています。

[52] 例えば isArray は大域環境に関わらず、 Array であるかどうかを返します。

[53] Web IDL による型の検査も、大域環境に関わらず行われます。プラットフォームオブジェクトの実装方法はそのような検査が行えるものである必要があります。