update automatically

Author: cpprefjp-autoupdate

reference/iterator/contiguous_iterator.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-04-20T13:01:25">
-        2025年04月20日 13時01分25秒
+      <span itemprop="datePublished" content="2025-04-23T00:49:37">
+        2025年04月23日 00時49分37秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -234,10 +234,13 @@ <h2>概要</h2>
 <p>しかし、C++26からは、この制限が緩和され、<code>std::to_address</code>関数を使用して得られたポインタに対してさらなるポインタ演算を行うことができるようになった。</p>
 <h2>モデル</h2>
 <p><code>a, b</code>を間接参照可能なイテレータ、<code>c</code>を間接参照不可能なイテレータとし、<code>b</code>は<code>a</code>から、<code>c</code>は<code>b</code>からそれぞれ到達可能であるとする。そのような型<code>I</code>のイテレータ<code>a, b, c</code>と<code><a href="iter_difference_t.html">iter_difference_t&lt;I&gt;</a></code>の示す型<code>D</code>について次の条件を満たす場合に限って、型<code>I</code>は<code>contiguous_iterator</code>のモデルである。</p>
+<h2>要件</h2>
 <ul>
-<li><code>to_address(a) == addressof(*a)</code></li>
-<li><code>to_address(b) == to_address(a) + D(b - a)</code></li>
-<li><code>to_address(c) == to_address(a) + D(c - a)</code></li>
+<li>C++26: このイテレータの範囲<code>[i, s)</code>はポインタ範囲<code>[to_address(i), to_address(i + ranges::distance(i, s)))</code>に置き換えて使用することが実装に許可される<ul>
+<li>注：このイテレータをアルゴリズム適用した場合、イテレータのインクリメントが一回しか起こらない可能性があり、個々のインクリメントに対して副作用を起こすことを期待してはならない</li>
+<li>備考：連続イテレータの範囲に対する操作として、<code>std::copy()</code>の実装が<code>std::memmove()</code>の呼び出しで完了するなど、イテレータを一つずつ進めるのではなくメモリ操作で高速実装されることを許可するものである</li>
+</ul>
+</li>
 </ul>
 <h2>例</h2>
 <p><div class="yata" id="2516e7bc3757fab165bcd4a6a32afed19c8caf76"><div class="codehilite"><pre><span></span><code><span class="cp">#include</span> <span class="cpf"><a href="../iostream.html">&lt;iostream&gt;</a></span><span class="cp"></span>