conditional

Edit New

条件付き要求 (HTTP)

[8] 事前条件の指定がある要求のことを、条件付き要求 (conditional request) といいます。 鯖は事前条件が満たされる場合には要求メソッドで指定された処理を対象資源に対して実行しますが、 事前条件が満たされなければ処理は実行せずにエラーを返します。

[9] 条件付き要求は、キャッシュより新しい場合のみ資源を取得したい時や、 他者の編集との衝突に注意しつつ鯖にある資源を更新したい時などに使われます。

仕様書

意味

[4] 条件付き要求 (conditional request) は、 対象資源に要求メソッドの意味を適用する前に確認されるべき事前条件を示すヘッダーをいくつか含む要求です >>3 1.。

[7] 事前条件として記述される資源のメタデータのことを、検証子といいます >>3 2.。

条件付きヘッダー

[2] 次の要求ヘッダーは条件付き (conditional) に分類されています >>1。

[11] これらは RFC 7232 では事前条件 (precondition) >>10 ヘッダーと呼ばれています。
[109] If-Range: は Range: とは別物で、 Range: は範囲要求用なので条件付きではありません。

[99] RFC 4918 は >>2 に加えて次のヘッダーも条件付き (conditional) に分類しています >>100。 RFC 723x はなぜかこれらに言及していませんが、分類名やヘッダーの性格から、 RFC 723x における「条件付き」と RFC 4918 の「条件付き」 は同じ分類と考えても良さそうです。

[105] 一覧の JSON データがあります。

[108] ヘッダー名の一覧を取得するには:

$ curl -fL https://raw.githubusercontent.com/manakai/data-web-defs/master/data/headers.json | ./jq '.headers | map(select(.http.conditional)) | map (.name)'

文脈

[67] 条件付き要求は、次の場面で使われます。

クライアントの処理モデル

[37] クライアントが生成する各ヘッダーの構文的要件については、 各ヘッダーの項を参照。

[38] 鯖の処理モデルの項の通り、鯖は条件付き要求に対応する必要はないので、 クライアントは条件が無視されて通常の応答が返された場合にも対処できる必要があります。

[69] 検証のためにキャッシュが条件付き要求を行う場合は、 次のように処理します。

  1. [70] 要求を転送します。
  2. [71] 応答が 304 だった場合、
    1. [72] 蓄積された応答を更新します >>73。
    2. [54] 更新した後の蓄積された応答を再利用します >>35, >>73。
  3. [74] 応答が 5xx だった場合、 以前蓄積された応答を再利用して構いません >>73。
  4. [75] それ以外の場合 >>73、
    1. [76] 蓄積された応答を新しいもので置換して構いません。
    2. [77] 新しい応答を再利用します。
キャッシュ再利用も参照。

[78] キャッシュが 304 応答を受信した場合 (検証以外も含みます。) には、次のように処理します。

  1. [84] 新しい応答が強い検証子を含む場合は、
    1. [85] 同じ強い検証子を持つ蓄積された応答すべてを (あれば) 選択します >>83。
  2. [86] そうでなく新しい応答が弱い検証子を含む場合で、 同じ弱い検証子を持つ蓄積された応答がある場合は、
    1. [87] そのうち最新のもののみを選択します >>83。
  3. [88] そうでない場合で、蓄積された応答が1つだけあり、 検証子が含まれない場合には、
    1. [89] その蓄積された応答を選択します >>83。
  4. [90] 選択した蓄積された応答があれば、それぞれについて、
    1. [91] 警告符号 1xx の Warning: ヘッダーを蓄積された応答から削除します >>83。
    2. [92] 304 応答に含まれるWarning: 以外のヘッダーについて、 蓄積された応答の対応するヘッダーを置き換えます >>83。
  5. [80] 外向きのクライアントが条件付き要求を作成した場合、 例えばキャッシュを持つ利用者エージェントが共有串に条件付きGET を送信した場合には、串は 304 応答をそのクライアントに転送するべきです >>79。
  6. [82] そうでない場合は、更新した蓄積された応答を転送します。
[81] なぜ >>80 が SHOULD でしかないのかは不明です。
[94] 元の蓄積された応答に含まれないヘッダーが 304 応答に含まれる場合の処理は明記されていませんが、 蓄積された応答に追加するべきと思われます。
[98] 範囲要求の場合の処理モデル (応答の結合方法) と似ています。

鯖の処理モデル

[45] 受信者であるキャッシュや起源鯖は、 要求を次のように処理しなければなりません >>18, >>29。

  1. [22] 要求をチェックし、必要があればエラーの応答を返したり、 リダイレクトの応答を返したりします。その場合ここで終わります。 >>18
  2. [24] 要求メソッドが選択された表現の選択や編集に関わるものである場合 (>>27) 以外は、 そのメソッドの規定に従い処理し、ここで終わります >>18。
  3. [39] 選択された表現を決定します。存在しないこともあります。
    1. [62] 起源鯖においては、実装・対象資源依存の方法で決定します。
    2. [65] キャッシュにおいては、キャッシュ項目として蓄積された応答を使って決定します。詳細はキャッシュ項目を参照。 その過程で応答を返した場合は、ここで終わります。
  4. [46] 受信者が対象資源の起源鯖である場合 >>18, >>29, >>35、
    1. [52] 要求に If-Match: ヘッダーがある場合 >>12, >>29、 その評価結果が偽なら、
      1. [50] >>19 の場合は 2xx を返して終わっても構いません。
      2. [51] そうしないなら、 412 を返して終わります。
    2. [53] 要求に If-Match: ヘッダーがなく、 If-Unmodified-Since: ヘッダーがある場合、 >>29, >>25 その評価結果が偽なら、
      1. [56] >>19 の場合は 2xx を返して終わっても構いません。
      2. [57] そうしないなら、 412 を返して終わります。
  5. [26] 受信者が対象資源の起源鯖である場合やキャッシュとして動作する場合 >>18, >>29, >>35、
    1. [48] 要求に If-None-Match: ヘッダーがある場合 >>21, >>29、 評価結果が偽なら、
      1. [59] 要求メソッドが GET か HEAD なら、 304 を返して終わります。
      2. [60] それ以外なら、 412 を返して終わります。
    2. [61] 要求に If-None-Match: ヘッダーがなく >>29, >>14、 If-Modified-Since: ヘッダーがある場合、 その評価結果が偽なら、
      1. [64] 要求メソッドが GET か HEAD なら、 304 を返して終わります >>29, >>14。
    3. [55] 要求に If-Range: ヘッダーがあり、 その評価結果が真なら、 >>28, >>29
      1. [66] 要求メソッドが GET なら、 Range: ヘッダーがあればそれを処理して 206 を返して終わって構いません。 (範囲要求を参照。)
  6. [63] 事前条件は一致したので、要求の他の指定に従って処理し、結果を返します。
    1. [31] 要求メソッドが GET なら、 If-Range: ヘッダーがなく Range: ヘッダーがあればそれを処理して 206 を返して終わって構いません。 >>28 (範囲要求を参照。)
    2. [33] それ以外なら、 2xx を返します。
[13] 条件を満たすかどうかの判定については、各ヘッダーの項を参照してください。
[36] >>26 は >>35 ではキャッシュは SHOULD としていますが、 これは一般に条件付き要求が MAY なのに対しキャッシュでは SHOULD なのだと行間から推測されます。
[23] >>64 は >>14 ではなぜか SHOULD とされており、 >>29 の MUST と矛盾します。両方の要件を満たすには、 MUST と解釈するしかありません。
[34] >>66 Range: の処理は、なぜか MUST ではなく SHOULD となっています >>28。 206 を実装しないことが認められているので MUST なのかもしれませんが、 詳細不明です。
[58] >>54 は >>35 によると 200 応答を返すことになっていますが、 範囲要求なら [206 を返しても良いのでしょうか?

[27] 事前条件は選択された表現の選択や編集に関わる要求メソッド以外では無視する >>18 とされています。無視するべきメソッドとして CONNECT、 OPTIONS、TRACE が挙げられています >>18 が、 完全なリストはなぜか提供されていません。

[40] ヘッダーの優先順位の根拠は次のように説明されています >>29。

[20] If-Match: や If-Unmodified-Since: は起源鯖のみが処理し、キャッシュは無視することになっています >>12, >>25 が、 If-None-Match: や If-Modified-Since: は起源鯖だけでなくキャッシュも処理することになっています。

[41] If-Match: や If-None-Match: や If-Modified-Since: や If-Unmodified-Since: を実装していない場合どう動作するべきか仕様上明確ではありませんが、 実際の鯖はこれらを無視するようです。 (412 や 304 ではありません。)

[16] 受信者は、 If-Modified-Since: や If-Unmodified-Since: が妥当な HTTP-date でないとき、これを無視しなければなりません >>14, >>25。

[32] If-Match: や If-None-Match: や If-Range: が構文的に正しくない時にどう処理するべきかは、 なぜか規定がありません。
[15] 無視ということは、条件の真偽を判断する以前に存在しないものと扱うのだと思われます。

[30] If-Range: ヘッダーは、 Range: ヘッダーが含まれていなければ無視しなければなりません >>29。

[17] 同じヘッダーが複数ある時にどう処理するべきかはなぜか規定がありません。

[19] >>50、>>56 で 2xx を返せるのは、状態の変更が要求されており、 最終的な状態が既に対象資源の現在の状態に反映されていると起源鯖が確認できる場合です。 すなわち、以前の応答が失われたか互換性のある変更が他の利用者エージェントにより行われたかによって利用者エージェントの要求が既に成功していたことに気づいていないような場合です。 ただしそのような場合には、同じ利用者エージェントが直前の要求を繰り返していると確認できる場合を除き、 検証子ヘッダーを送ってはなりません >>12, >>25。

[103] サーバーは、条件付要求のみを受け付けることにできます。 条件付要求でない要求を受け取ったら、 428 応答を返すことができます。

メモ

[413] Add cache mode concept and elaborate a bit on caching. · 99377cd · whatwg/fetch ( ( 版)) <https://github.com/whatwg/fetch/commit/99377cd334e7e4e7737c2b2fd521c74a6cf7e01a>

[101] Close #141: fix 304 handling · whatwg/fetch@1a2f6b4 ( 版) <https://github.com/whatwg/fetch/commit/1a2f6b49d616cfd74536c1a8dbed8b5c1215d548>

[102] Merge conditionals in 304 handling · whatwg/fetch@bb9313f ( 版) <https://github.com/whatwg/fetch/commit/bb9313fc04b91c10639a3d5f5454cb2a6f224b45>

[104] Understanding Conditional Requests and Refresh | IEInternals ( ()) <https://blogs.msdn.microsoft.com/ieinternals/2010/07/08/understanding-conditional-requests-and-refresh/>

Updated: