約束の拒絶 (JavaScript)

仕様書

イベント

[49] 約束を扱う場合、履行時の処理を記述するのは普通のことで基本ですが、拒絶時の処理は怠りがちです。 (例外が投げられた処理を怠りがちなのと同じです。)

真に異常で通常なら起こり得ない問題のため拒絶時の処理を敢えて省くこともあれば、失敗することもあるので拒絶時の処理を指定しなければならないのに漏れてしまった場合もあります。

どちらの場合でも、せめて開発者コンソールでは気づきたいですし、例外に対する error イベントのようにスクリプト側で検知したいこともあります。

[50] そのため、約束が拒絶されて処理されていないことを通知するイベントが用意されています。

[37] 約束が拒絶され、それが処理されないままの時は、 unhandledrejection イベントが大域オブジェクトで発火されます。

[47] このイベントは、例外における error イベントに相当するものです。

[53] このイベントは取消可能です。取消された場合、開発者コンソールには何も表示されません。取消されていない場合、拒絶について開発者コンソールに表示されます。

[38] unhandledrejection イベントが発火された後から処理が追加された場合には、 rejectionhandled イベントが大域オブジェクトで発火されます。 unhandledrejection イベントのイベントハンドラーで処理が追加された場合にはこのイベントは発火されませんが、それよりも後に処理が追加された場合に、発火されます。

[52] unhandledrejection を発火するかどうかの判定は、約束が拒絶されてからわりとすぐに (マイクロタスク処理後に) 行われます。しかし約束をずっと保持しておいて、しばらく経ってから処理が追加される可能性は残ります。その場合に unhandledrejection イベントで把握できます。ただし unhandledrejection イベントが発火されることは保証されません。

[42] PromiseRejectionEvent インターフェイス >>5 は、 rejectionhandled/unhandledrejection イベントと共に用いられます。文書環境とワーカー環境に晒されています >>5。

[44] PromiseRejectionEvent インターフェイスは、他の Event インターフェイス同様のコンストラクターを持ちます >>5。初期化のための辞書は PromiseRejectionEventInit です >>5。

[43] PromiseRejectionEvent インターフェイスは、 Event インターフェイスを継承しています >>5。 PromiseRejectionEventInit 辞書は、 EventInit 辞書を継承しています >>5。

[34] PromiseRejectionEvent インターフェイスの promise IDL属性は、当該通知の約束を表すもので、任意の Promise を値として持つ読み取り専用属性です。取得器は本イベントオブジェクトについて指定された値を返さなければなりません。 >>5

[36] PromiseRejectionEvent インターフェイスの reason IDL属性は、当該約束の拒絶理由を表すもので、任意値を持つ読み取り専用属性です。取得器は本イベントオブジェクトについて指定された値を返さなければなりません。 >>5

[35] つまり、 catch で指定された関数が引数として受け取るであろう値となります。

処理

約束

[25] 約束は、内部スロット PromiseIsHandled を持ちます >>24。

[28] この値は、 Promise コンストラクターで偽に初期化されます。

[32] then や await で真に設定されます。

[64] ReadableStream や WritableStream の処理でも真に設定されることがあります。

[39] この値が偽の時に、 HostPromiseRejectionTracker が実行されます。

[55] HostPromiseRejectionTracker は、ホスト環境定義の内部操作として JavaScript の仕様書で定義されているものです >>54。

[56] この操作は、引数として約束と操作を与えられます >>54。 操作の値は、 reject または handle のいずれかです >>54。

[59] 操作 reject は、約束約束がハンドラーの登録されていない状態で拒絶された時、実行されます >>54。

[62] Web では、次のようにしなければなりません >>5。

[21] 走っているスクリプトの設定群オブジェクトのこれから通知する拒絶された約束リストに、約束を追加します。

[51] この処理は拒絶時に PromiseIsHandled が偽の場合に、実行されます。拒絶は1回しか起こらないため、この処理も1回しか呼び出されません。 操作が handle で呼び出された後にこちらの処理が呼び出されることもありません。

[60] 操作 handle は、約束約束が拒絶されているところ、ハンドラーが初めて追加された時、実行されます >>54。

[20] Web では、次のようにしなければなりません >>5。

[22] 設定群オブジェクトを、走っているスクリプトの設定群オブジェクトに設定します。
[26] 設定群オブジェクトのこれから通知する拒絶された約束リストに約束が含まれている場合、
1. [27] 設定群オブジェクトのこれから通知する拒絶された約束リストから約束を削除します。
[29] それ以外で、設定群オブジェクトの未決拒絶された約束弱集合に約束が含まれている場合、
1. [30] 設定群オブジェクトの未決拒絶された約束弱集合から約束を削除します。
2. [31] タスクをキューに追加します。
  処理
  [33] イベントを発火します。
  対象
  設定群オブジェクトの大域オブジェクト
  インターフェイス
  PromiseRejectionEvent
  型
  rejectionhandled
  trusted
  真
  bubbles
  偽
  取消可能
  偽
  promise
  約束
  reason
  約束 の PromiseResult の値
  タスク源
  DOM操作タスク源

[63] この処理は then から呼び出されます。 PromiseIsHandled が偽の時に呼び出されますが、本処理の直後に真に設定されるため、本処理が呼び出されるのは高々1回です。本処理が呼び出されるのは既に拒絶されている場合のみですから、必ず操作 reject で1回呼び出された後になります。