[2] HTTP において冪等とは、 同じ要求を何度繰り返し実行しても結果が同じであることを言います。
[12] 要求メソッドは、同じ要求を複数行っても、一度だけ行っても、 鯖において同じ効果となることが意図されているなら、 冪等です。 >>10
[15] ただしこれは利用者が何を要求しているかを表す性質ですから、 実際に鯖で何が行われるかは別の問題となります。 >>10
[17] 冪等なメソッドについては、クライアントが応答を読む前に通信エラーがあったとしても、 要求を自動的に再実行できます。 >>10
[21]
Stripe の Web API
は、
独自の
Idempotency-Key:
ヘッダーを使って、
POST
操作の冪等性を要求の送信舎が制御できるようにしています。
Methods
maycan also have the property of "idempotence" in that (aside from error or expiration issues) the side-effects of N > 0 identical requests is the same as for a single request. The methods GET, HEAD, PUT and DELETE share this property. Also, the methods OPTIONS and TRACE SHOULD NOT have side effects, and so are inherently idempotent.
メソッドは冪等という特性も持つことがあります。
これは、 (誤りや満期の問題は別として)
同じ要求を N > 0
回行った時の副作用が1回の要求に対する副作用と同じであることを表します。
メソッド GET, HEAD,
PUT, DELETE はこの特性を持ちます。 また、 OPTIONS メソッドと TRACE メソッドは副作用を持つべきではありませんから、元々冪等です。
和訳者注: べきなのですから、
副作用を持って冪等性が成り立たなくても一応適合するはずで、
元々冪等
というのは言葉が過ぎてはいませんでしょうか。
However, it is possible that a sequence of several requests is non-idempotent, even if all of the methods executed in that sequence are idempotent. (A sequence is idempotent if a single execution of the entire sequence always yields a result that is not changed by a reexecution of all, or part, of that sequence.) For example, a sequence is non-idempotent if its result depends on a value that is later modified in the same sequence.
しかし、単独ではすべて冪等なメソッドの列が冪等ではないこともあります。 (ある列が冪等であるとは、 その列を一度実行して得られる結果がその列の一部又は全部を再実行しても変わらないことをいいます。) 例えば、結果が同じ列の後の方で修正される値に依存している場合、 その列は冪等ではありません。
A sequence that never has side effects is idempotent, by definition (provided that no concurrent operations are being executed on the same set of resources).
[3] 安全なメソッドと似ていますが、冪等であるからといって安全とは限りません。