update automatically

cpprefjp-autoupdate · cpprefjp-autoupdate · commit c887692620f6 · 2025-04-20T13:05:42.000Z
diff --git a/reference/iterator/contiguous_iterator.html b/reference/iterator/contiguous_iterator.html
@@ -188,12 +188,12 @@
   
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-06-11T13:45:38">
-        2024年06月11日 13時45分38秒
+      <span itemprop="datePublished" content="2025-04-20T13:01:25">
+        2025年04月20日 13時01分25秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">Akira Takahashi</span>
+        <span itemprop="name">rotarymars</span>
       </span>
       が更新
     </small></p>
@@ -229,6 +229,9 @@
 <h2>概要</h2>
 <p><code>contiguous_iterator</code>は、イテレータ型<code>I</code>が隣接イテレータであることを表すコンセプトである。</p>
 <p><code>contiguous_iterator</code>となるイテレータは、<a href="random_access_iterator.html">ランダムアクセスイテレータ</a>であり、参照する要素列がメモリ上で連続していることが保証される。</p>
+<p>C++20で導入された<code>contiguous_iterator</code>は、要素がメモリー上で連続していることを保証しているが、C++23の標準ライブラリ実装では
+得られたポインタに対してさらなるポインタ演算を行う演算は許可されていなかった。</p>
+<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>
 <ul>
@@ -301,6 +304,7 @@ <h2>参照</h2>
 <ul>
 <li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0896r4.pdf" target="_blank">P0896R4 The One Ranges Proposal (was Merging the Ranges TS)</a></li>
 <li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1474r1.pdf" target="_blank">P1474R1 Helpful pointers for <code>ContiguousIterator</code></a></li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3349r1.html" target="_blank">P3349R1 Converting contiguous iterators to pointers</a></li>
 </ul></div>
 
       </div>
diff --git a/rss.xml b/rss.xml
@@ -2,10 +2,46 @@
 <feed xmlns="http://www.w3.org/2005/Atom">
   <title>cpprefjp - C++日本語リファレンス</title>
   <link href="https://cpprefjp.github.io" />
-  <updated>2025-04-20T05:53:54.449233</updated>
-  <id>972e2dee-741d-4631-aa5e-10f3aefb81e9</id>
+  <updated>2025-04-20T13:05:41.745375</updated>
+  <id>b1bcf444-6e70-49a9-a3a7-87b9c9d493b6</id>
 
   
+    <entry>
+      <title>contiguous_iterator -- reference/iterator/contiguous_iterator.md: Added information for contiguous_iterator</title>
+      <link href="https://cpprefjp.github.io/reference/iterator/contiguous_iterator.html"/>
+      <id>28659acd4e63cb13d247b9bb147b7539c043f0a6:reference/iterator/contiguous_iterator.md</id>
+      <updated>2025-04-20T22:01:25+09:00</updated>
+      
+        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/iterator/contiguous_iterator.md b/reference/iterator/contiguous_iterator.md
+index 712c3e7a7..5a16cc318 100644
+--- a/reference/iterator/contiguous_iterator.md
++++ b/reference/iterator/contiguous_iterator.md
+@@ -33,6 +33,11 @@ namespace std {
+ 
+ `contiguous_iterator`となるイテレータは、[ランダムアクセスイテレータ](random_access_iterator.md)であり、参照する要素列がメモリ上で連続していることが保証される。
+ 
++C++20で導入された`contiguous_iterator`は、要素がメモリー上で連続していることを保証しているが、C++23の標準ライブラリ実装では
++得られたポインタに対してさらなるポインタ演算を行う演算は許可されていなかった。
++
++しかし、C++26からは、この制限が緩和され、`std::to_address`関数を使用して得られたポインタに対してさらなるポインタ演算を行うことができるようになった。
++
+ ## モデル
+ 
+ `a, b`を間接参照可能なイテレータ、`c`を間接参照不可能なイテレータとし、`b`は`a`から、`c`は`b`からそれぞれ到達可能であるとする。そのような型`I`のイテレータ`a, b, c`と[`iter_difference_t&amp;lt;I&amp;gt;`](/reference/iterator/iter_difference_t.md)の示す型`D`について次の条件を満たす場合に限って、型`I`は`contiguous_iterator`のモデルである。
+@@ -109,3 +114,4 @@ std::ostream_iterator&amp;lt;double&amp;gt; is not contiguous_iterator
+ 
+ - [P0896R4 The One Ranges Proposal (was Merging the Ranges TS)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0896r4.pdf)
+ - [P1474R1 Helpful pointers for `ContiguousIterator`](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1474r1.pdf)
++- [P3349R1 Converting contiguous iterators to pointers](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3349r1.html)
+\ No newline at end of file
+&lt;/code&gt;&lt;/pre&gt;</summary>
+      
+      <author>
+        <name>rotarymars</name>
+        <email>s.goto2050@gmail.com</email>
+      </author>
+    </entry>
+  
     <entry>
       <title>constexpr ラムダ [P0170R1] -- 「定数とき」→「定数のとき」</title>
       <link href="https://cpprefjp.github.io/lang/cpp17/constexpr_lambda.html"/>
@@ -387,197 +423,6 @@ index 0e2fd7e19..27ef5307c 100644
  
  Scheduler型のデストラクタは、`schedule`が返すSenderオブジェクトに接続されたReceiverの完了を待機してブロックしてはならない。
  
-&lt;/code&gt;&lt;/pre&gt;</summary>
-      
-      <author>
-        <name>yoh</name>
-        <email>kawasaki.liamg@gmail.com</email>
-      </author>
-    </entry>
-  
-    <entry>
-      <title>receiver -- execution/scheduler: refinement (#1384)</title>
-      <link href="https://cpprefjp.github.io/reference/execution/execution/receiver.html"/>
-      <id>ac9fa1d4237d0b4afacde0c24b5b884195b79dcf:reference/execution/execution/receiver.md</id>
-      <updated>2025-04-19T21:41:34+09:00</updated>
-      
-        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution/receiver.md b/reference/execution/execution/receiver.md
-index 8cd67b2e6..05a15160f 100644
---- a/reference/execution/execution/receiver.md
-+++ b/reference/execution/execution/receiver.md
-@@ -27,7 +27,11 @@ namespace std::execution {
- ## 概要
- `receiver`は、型`Rcvr`がReceiver型の要件を満たすことを表すコンセプトである。
- 
--`receiver_t`をメンバ型`Rcvr::receiver_concept`として定義するクラス型はReceiverとみなせる。
-+下記をみたすクラス型はReceiverとみなせる。
-+
-+- `receiver_t`をメンバ型`Rcvr::receiver_concept`として定義する
-+- [`get_env`](get_env.md)で[環境](../queryable.md)を取得できる
-+- ムーブ可能
- 
- 
- ## モデル
-&lt;/code&gt;&lt;/pre&gt;</summary>
-      
-      <author>
-        <name>yoh</name>
-        <email>kawasaki.liamg@gmail.com</email>
-      </author>
-    </entry>
-  
-    <entry>
-      <title>scheduler -- execution/scheduler: refinement (#1384)</title>
-      <link href="https://cpprefjp.github.io/reference/execution/execution/scheduler.html"/>
-      <id>ac9fa1d4237d0b4afacde0c24b5b884195b79dcf:reference/execution/execution/scheduler.md</id>
-      <updated>2025-04-19T21:41:34+09:00</updated>
-      
-        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution/scheduler.md b/reference/execution/execution/scheduler.md
-index 2ffa3efc0..0e2fd7e19 100644
---- a/reference/execution/execution/scheduler.md
-+++ b/reference/execution/execution/scheduler.md
-@@ -25,6 +25,7 @@ namespace std::execution {
- * derived_from[link /reference/concepts/derived_from.md]
- * sender[link sender.md]
- * queryable[link ../queryable.md]
-+* schedule[link schedule.md.nolink]
- * get_completion_scheduler[link get_completion_scheduler.md.nolink]
- * set_value_t[link set_value.md]
- * get_env[link get_env.md]
-@@ -36,11 +37,47 @@ namespace std::execution {
- 
- 下記をみたすクラス型はSchedulerとみなせる。
- 
--- `scheduler_t`をメンバ型`Sch::scheduler_concept`として定義するクラス
--- [クエリ可能オブジェクト](../queryable.md)であること
--- `Sch`型の値`sch`に対して下記が有効な式であること
--    - [`execution::schedule`](schedule.md.nolink)`(sch)`が[Sender](sender.md)を返すこと
--    - [`execution::get_completion_scheduler`](get_completion_scheduler.md.nolink)`&amp;lt;`[`set_value_t`](set_value.md)`&amp;gt;(`[`execution::get_env`](get_env.md)`(`[`execution::schedule`](schedule.md.nolink)`(sch)))`の結果が`Sch`型に等しいこと
-+- `scheduler_t`をメンバ型`Sch::scheduler_concept`として定義する
-+- [クエリ可能オブジェクト](../queryable.md)である
-+- `Sch`型の値`sch`に対して下記を満たすこと
-+    - [`execution::schedule`](schedule.md.nolink)`(sch)`が[Sender](sender.md)を返す
-+    - 上記Senderの[値完了関数](set_value.md)の[完了Scheduler](get_completion_scheduler.md.nolink)が`Sch`に等しいこと
-+- コピー可能かつ同値比較可能
-+
-+
-+## モデル
-+説明専用のエイリアステンプレート`value-signature`, コンセプト`sender-in-of`を下記の通り定義する。
-+
-+```cpp
-+namespace std::execution {
-+  template&amp;lt;class... As&amp;gt;
-+  using value-signature = set_value_t(As...);
-+
-+  template&amp;lt;class Sndr, class Env, class... Values&amp;gt;
-+  concept sender-in-of =
-+    sender_in&amp;lt;Sndr, Env&amp;gt; &amp;amp;&amp;amp;
-+    MATCHING-SIG(
-+      set_value_t(Values...),
-+      value_types_of_t&amp;lt;Sndr, Env, value-signature, type_identity_t&amp;gt;);
-+}
-+```
-+* set_value_t[link set_value.md]
-+* sender_in[link sender_in.md]
-+* value_types_of_t[link value_types_of_t.md.nolink]
-+* type_identity_t[link /reference/type_traits/true_type.md]
-+
-+型`Sch`を`scheduler`の型、型`Env`を[`sender_in`](sender_in.md)`&amp;lt;schedule_result_t&amp;lt;Sch&amp;gt;, Env&amp;gt;`を満たす実行環境の型としたとき、`sender-in-of&amp;lt;schedule_result_t&amp;lt;Sch&amp;gt;, Env&amp;gt;`のモデルとなること。
-+
-+[`copyable`](/reference/concepts/copyable.md)`&amp;lt;remove_cvref_t&amp;lt;Sch&amp;gt;&amp;gt;`および[`equality_comparable`](/reference/concepts/equality_comparable.md)`&amp;lt;remove_cvref_t&amp;lt;Sch&amp;gt;&amp;gt;`により要求される操作は、例外で終了してはならない。
-+これらの操作やScheduler型の[`schedule`](schedule.md.nolink)関数は、異なるスレッドから同時に操作を呼び出す可能性がある場合でも、データ競合を引き起こしてはならない。
-+
-+あるScheduler型`Sch`の2つの値`sch1`と`sch2`に対して、`sch1`と`sch2`が同じ実行リソースを共有する場合に限って、`sch1 == sch2`は`true`となる。
-+
-+あるScheduler`sch`に対して、式[`get_completion_scheduler`](get_completion_scheduler.md.nolink)`&amp;lt;`[`set_value_t`](set_value.md)`&amp;gt;(`[`get_env`](get_env.md)`(`[`schedule`](schedule.md.nolink)`(sch)))`が`sch`と等しいこと。
-+
-+あるScheduler`sch`に対して式[`get_domain`](get_domain.md)`(sch)`が適格であるとき、式`get_domain(`[`get_env`](get_env.md)`(schedule(sch)))`も適格であり、かつ同じ型を持つ。
-+
-+Scheduler型のデストラクタは、`schedule`が返すSenderオブジェクトに接続されたReceiverの完了を待機してブロックしてはならない。
- 
- 
- ## 例
-&lt;/code&gt;&lt;/pre&gt;</summary>
-      
-      <author>
-        <name>yoh</name>
-        <email>kawasaki.liamg@gmail.com</email>
-      </author>
-    </entry>
-  
-    <entry>
-      <title>sender -- execution/scheduler: refinement (#1384)</title>
-      <link href="https://cpprefjp.github.io/reference/execution/execution/sender.html"/>
-      <id>ac9fa1d4237d0b4afacde0c24b5b884195b79dcf:reference/execution/execution/sender.md</id>
-      <updated>2025-04-19T21:41:34+09:00</updated>
-      
-        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution/sender.md b/reference/execution/execution/sender.md
-index 4a6f91360..a7aa146f5 100644
---- a/reference/execution/execution/sender.md
-+++ b/reference/execution/execution/sender.md
-@@ -16,10 +16,13 @@ namespace std::execution {
- ## 概要
- `sender`は、型`Sndr`がSender型の要件を満たすことを表すコンセプトである。
- 
--次のいずれかのクラス型はSenderとみなせる。
-+下記をみたすクラス型はSenderとみなせる。
- 
--- `sender_t`をメンバ型`Sndr::sender_concept`として定義するクラス型
--- [コルーチンのAwaitable型](/lang/cpp20/coroutines.md)クラス型
-+- 下記いずれかを満たす
-+    - `sender_t`をメンバ型`Sndr::sender_concept`として定義する
-+    - [コルーチンのAwaitable型](/lang/cpp20/coroutines.md)
-+- [`get_env`](get_env.md)で[属性](../queryable.md)を取得できる
-+- ムーブ可能
- 
- 
- ## 要件
-&lt;/code&gt;&lt;/pre&gt;</summary>
-      
-      <author>
-        <name>yoh</name>
-        <email>kawasaki.liamg@gmail.com</email>
-      </author>
-    </entry>
-  
-    <entry>
-      <title>start -- execution/scheduler: refinement (#1384)</title>
-      <link href="https://cpprefjp.github.io/reference/execution/execution/start.html"/>
-      <id>ac9fa1d4237d0b4afacde0c24b5b884195b79dcf:reference/execution/execution/start.md</id>
-      <updated>2025-04-19T21:41:34+09:00</updated>
-      
-        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution/start.md b/reference/execution/execution/start.md
-index 9c6e4c668..90fc7ed10 100644
---- a/reference/execution/execution/start.md
-+++ b/reference/execution/execution/start.md
-@@ -12,14 +12,14 @@ namespace std::execution {
- ```
- 
- ## 概要
--`start`は、[Operation State](operation_state.md)を開始するカスタマイゼーションポイントオブジェクトである。
-+`start`は、[Operation State](operation_state.md)関連付けられた非同期操作(asynchronous operation)を開始するカスタマイゼーションポイントオブジェクトである。
- 
- 
- ## 効果
- 式`start(op)`は、`op`が右辺値の場合は不適格となる。
- そうでなければ、`op.start()`と等価。
- 
--`op.start()`が[Operation State](operation_state.md)に関連付けさられた非同期操作を開始しない場合、式`start(op)`の動作は未定義となる。
-+`op.start()`が[Operation State](operation_state.md)に関連付けられた非同期操作を開始しない場合、式`start(op)`の動作は未定義となる。
- 
- 
- ## カスタマイゼーションポイント
-@@ -27,6 +27,10 @@ namespace std::execution {
- このとき`noexcept(op.start()) == true`であること。
- 
- 
-+## 備考
-+`start`は[Sender](sender.md)内部実装から呼び出される想定であり、実行制御ライブラリ利用者が直接利用する必要はない。
-+
-+
- ## 例
- ```cpp
- #include &amp;lt;print&amp;gt;
 &lt;/code&gt;&lt;/pre&gt;</summary>
       
       <author>
diff --git a/sitemap.xml b/sitemap.xml
@@ -30425,7 +30425,7 @@
   
     <url>
       <loc>https://cpprefjp.github.io/reference/iterator/contiguous_iterator.html</loc>
-      <lastmod>2025-04-03T12:32:11+09:00</lastmod>
+      <lastmod>2025-04-20T22:01:25+09:00</lastmod>
       <changefreq>daily</changefreq>
       <priority>0.7</priority>
     </url>
