rss.xml

<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <title>cpprefjp - C++日本語リファレンス</title>
  <link href="https://cpprefjp.github.io" />
  <updated>2026-05-05T16:12:17.856330</updated>
  <id>348ae580-65ae-40f6-898d-15a3550aef96</id>

  
    <entry>
      <title>assign -- improve the wording in vector::assign().</title>
      <link href="https://cpprefjp.github.io/reference/vector/vector/assign.html"/>
      <id>334d0e58bdfb868ca4f2b9a34c69c1a65f9c529b:reference/vector/vector/assign.md</id>
      <updated>2026-05-04T11:24:57+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/vector/vector/assign.md b/reference/vector/vector/assign.md
index 38cecc062..0e644ff1a 100644
--- a/reference/vector/vector/assign.md
+++ b/reference/vector/vector/assign.md
@@ -27,7 +27,7 @@ constexpr void assign(initializer_list&amp;lt;T&amp;gt; il); // (3) C++20
 
 
 ## 要件
-- (1) : 型`T`は`*first`から`X`に対してEmplaceConstructibleでなければならない。イテレータがForward iterators の要件を満たさない場合、型`T`は`X`に対してMoveInsertableでなければならない。`[first, last)`の範囲のそれぞれのイテレータは１回だけ間接参照される。`first`, `last`は自身のイテレータであってはならない。
+- (1) : 型`T`が`*first`から`vector`コンテナへの`EmplaceConstructible`であること。`InputIterator`が前方向イテレータの要件を満たさない場合、型`T`は`vector`コンテナに対してMoveInsertableであること。`[first, last)`の範囲のそれぞれのイテレータは１回だけ間接参照される。`first`, `last`は自身のイテレータであってはならない。
 - (2) : `t`は`*this`の要素への参照であってはならない。
 
 
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>suomesta</name>
        <email>shawn316michaels@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>__STDC_ENDIAN_BIG__ -- 太字になっていたタイトルをエスケープ</title>
      <link href="https://cpprefjp.github.io/reference/stdbit.h/stdc_endian_big.html"/>
      <id>a1923fe1721565e4d3a9cc1ffce5edd4595a24e3:reference/stdbit.h/stdc_endian_big.md</id>
      <updated>2026-05-04T10:52:27+09:00</updated>
      
        <content type="html">&lt;div class=&#34;identifier-type&#34;&gt;macro&lt;/div&gt;&lt;div class=&#34;header&#34;&gt;&amp;lt;stdbit.h&amp;gt;&lt;/div&gt;&lt;h1 itemprop=&#34;name&#34;&gt;&lt;span class=&#34;token&#34;&gt;__STDC_ENDIAN_BIG__&lt;/span&gt;&lt;span class=&#34;cpp cpp26&#34; title=&#34;C++26で追加&#34;&gt;(C++26)&lt;/span&gt;&lt;/h1&gt;
&lt;div itemprop=&#34;articleBody&#34;&gt;&lt;h2&gt;概要&lt;/h2&gt;
&lt;p&gt;ビッグエンディアンを表す定数マクロ。&lt;/p&gt;
&lt;p&gt;C言語の&lt;code&gt;&amp;lt;stdbit.h&amp;gt;&lt;/code&gt;で定義される定数であり、C++においてはC互換性のために提供される。&lt;/p&gt;
&lt;h2&gt;備考&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;C言語では&lt;code&gt;&amp;lt;stdbit.h&amp;gt;&lt;/code&gt;で定義される定数マクロである&lt;/li&gt;
&lt;li&gt;C++では、&lt;code&gt;&lt;a href=&#34;../bit/endian.html&#34;&gt;std::endian::big&lt;/a&gt;&lt;/code&gt;が対応する機能である&lt;/li&gt;
&lt;/ul&gt;
&lt;h2&gt;バージョン&lt;/h2&gt;
&lt;h3&gt;言語&lt;/h3&gt;
&lt;ul&gt;
&lt;li&gt;C++26&lt;/li&gt;
&lt;/ul&gt;
&lt;h3&gt;処理系&lt;/h3&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;../../implementation.html#clang&#34;&gt;Clang&lt;/a&gt;: 21 &lt;span aria-label=&#34;検証済&#34; role=&#34;img&#34; title=&#34;検証済&#34;&gt;✅&lt;/span&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href=&#34;../../implementation.html#gcc&#34;&gt;GCC&lt;/a&gt;: 15 &lt;span aria-label=&#34;検証済&#34; role=&#34;img&#34; title=&#34;検証済&#34;&gt;✅&lt;/span&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href=&#34;../../implementation.html#visual_cpp&#34;&gt;Visual C++&lt;/a&gt;: 2026 Update 2 &lt;span aria-label=&#34;未実装&#34; role=&#34;img&#34; title=&#34;未実装&#34;&gt;❌&lt;/span&gt;&lt;/li&gt;
&lt;/ul&gt;
&lt;h2&gt;関連項目&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;code&gt;&lt;a href=&#34;../bit/endian.html&#34;&gt;std::endian&lt;/a&gt;&lt;/code&gt; - C++標準のエンディアン列挙型&lt;/li&gt;
&lt;/ul&gt;
&lt;h2&gt;参照&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3022.htm&#34; target=&#34;_blank&#34;&gt;N3022 Modern Bit Utilities&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href=&#34;https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3370r1.html&#34; target=&#34;_blank&#34;&gt;P3370R1 Add new C headers as C++ headers&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;&lt;/div&gt;</content>
      
      <author>
        <name>Raclamusi</name>
        <email>raclamusi@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>__STDC_ENDIAN_LITTLE__ -- 太字になっていたタイトルをエスケープ</title>
      <link href="https://cpprefjp.github.io/reference/stdbit.h/stdc_endian_little.html"/>
      <id>a1923fe1721565e4d3a9cc1ffce5edd4595a24e3:reference/stdbit.h/stdc_endian_little.md</id>
      <updated>2026-05-04T10:52:27+09:00</updated>
      
        <content type="html">&lt;div class=&#34;identifier-type&#34;&gt;macro&lt;/div&gt;&lt;div class=&#34;header&#34;&gt;&amp;lt;stdbit.h&amp;gt;&lt;/div&gt;&lt;h1 itemprop=&#34;name&#34;&gt;&lt;span class=&#34;token&#34;&gt;__STDC_ENDIAN_LITTLE__&lt;/span&gt;&lt;span class=&#34;cpp cpp26&#34; title=&#34;C++26で追加&#34;&gt;(C++26)&lt;/span&gt;&lt;/h1&gt;
&lt;div itemprop=&#34;articleBody&#34;&gt;&lt;h2&gt;概要&lt;/h2&gt;
&lt;p&gt;リトルエンディアンを表す定数マクロ。&lt;/p&gt;
&lt;p&gt;C言語の&lt;code&gt;&amp;lt;stdbit.h&amp;gt;&lt;/code&gt;で定義される定数であり、C++においてはC互換性のために提供される。&lt;/p&gt;
&lt;h2&gt;備考&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;C言語では&lt;code&gt;&amp;lt;stdbit.h&amp;gt;&lt;/code&gt;で定義される定数マクロである&lt;/li&gt;
&lt;li&gt;C++では、&lt;code&gt;&lt;a href=&#34;../bit/endian.html&#34;&gt;std::endian::little&lt;/a&gt;&lt;/code&gt;が対応する機能である&lt;/li&gt;
&lt;/ul&gt;
&lt;h2&gt;バージョン&lt;/h2&gt;
&lt;h3&gt;言語&lt;/h3&gt;
&lt;ul&gt;
&lt;li&gt;C++26&lt;/li&gt;
&lt;/ul&gt;
&lt;h3&gt;処理系&lt;/h3&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;../../implementation.html#clang&#34;&gt;Clang&lt;/a&gt;: 21 &lt;span aria-label=&#34;検証済&#34; role=&#34;img&#34; title=&#34;検証済&#34;&gt;✅&lt;/span&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href=&#34;../../implementation.html#gcc&#34;&gt;GCC&lt;/a&gt;: 15 &lt;span aria-label=&#34;検証済&#34; role=&#34;img&#34; title=&#34;検証済&#34;&gt;✅&lt;/span&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href=&#34;../../implementation.html#visual_cpp&#34;&gt;Visual C++&lt;/a&gt;: 2026 Update 2 &lt;span aria-label=&#34;未実装&#34; role=&#34;img&#34; title=&#34;未実装&#34;&gt;❌&lt;/span&gt;&lt;/li&gt;
&lt;/ul&gt;
&lt;h2&gt;関連項目&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;code&gt;&lt;a href=&#34;../bit/endian.html&#34;&gt;std::endian&lt;/a&gt;&lt;/code&gt; - C++標準のエンディアン列挙型&lt;/li&gt;
&lt;/ul&gt;
&lt;h2&gt;参照&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3022.htm&#34; target=&#34;_blank&#34;&gt;N3022 Modern Bit Utilities&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href=&#34;https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3370r1.html&#34; target=&#34;_blank&#34;&gt;P3370R1 Add new C headers as C++ headers&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;&lt;/div&gt;</content>
      
      <author>
        <name>Raclamusi</name>
        <email>raclamusi@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>__STDC_ENDIAN_NATIVE__ -- 太字になっていたタイトルをエスケープ</title>
      <link href="https://cpprefjp.github.io/reference/stdbit.h/stdc_endian_native.html"/>
      <id>a1923fe1721565e4d3a9cc1ffce5edd4595a24e3:reference/stdbit.h/stdc_endian_native.md</id>
      <updated>2026-05-04T10:52:27+09:00</updated>
      
        <content type="html">&lt;div class=&#34;identifier-type&#34;&gt;macro&lt;/div&gt;&lt;div class=&#34;header&#34;&gt;&amp;lt;stdbit.h&amp;gt;&lt;/div&gt;&lt;h1 itemprop=&#34;name&#34;&gt;&lt;span class=&#34;token&#34;&gt;__STDC_ENDIAN_NATIVE__&lt;/span&gt;&lt;span class=&#34;cpp cpp26&#34; title=&#34;C++26で追加&#34;&gt;(C++26)&lt;/span&gt;&lt;/h1&gt;
&lt;div itemprop=&#34;articleBody&#34;&gt;&lt;h2&gt;概要&lt;/h2&gt;
&lt;p&gt;実行環境のエンディアンを表す定数マクロ。&lt;/p&gt;
&lt;p&gt;C言語の&lt;code&gt;&amp;lt;stdbit.h&amp;gt;&lt;/code&gt;で定義される定数であり、C++においてはC互換性のために提供される。&lt;/p&gt;
&lt;h2&gt;備考&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;C言語では&lt;code&gt;&amp;lt;stdbit.h&amp;gt;&lt;/code&gt;で定義される定数マクロである&lt;/li&gt;
&lt;li&gt;C++では、&lt;code&gt;&lt;a href=&#34;../bit/endian.html&#34;&gt;std::endian::native&lt;/a&gt;&lt;/code&gt;が対応する機能である&lt;/li&gt;
&lt;/ul&gt;
&lt;h2&gt;バージョン&lt;/h2&gt;
&lt;h3&gt;言語&lt;/h3&gt;
&lt;ul&gt;
&lt;li&gt;C++26&lt;/li&gt;
&lt;/ul&gt;
&lt;h3&gt;処理系&lt;/h3&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;../../implementation.html#clang&#34;&gt;Clang&lt;/a&gt;: 21 &lt;span aria-label=&#34;検証済&#34; role=&#34;img&#34; title=&#34;検証済&#34;&gt;✅&lt;/span&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href=&#34;../../implementation.html#gcc&#34;&gt;GCC&lt;/a&gt;: 15 &lt;span aria-label=&#34;検証済&#34; role=&#34;img&#34; title=&#34;検証済&#34;&gt;✅&lt;/span&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href=&#34;../../implementation.html#visual_cpp&#34;&gt;Visual C++&lt;/a&gt;: 2026 Update 2 &lt;span aria-label=&#34;未実装&#34; role=&#34;img&#34; title=&#34;未実装&#34;&gt;❌&lt;/span&gt;&lt;/li&gt;
&lt;/ul&gt;
&lt;h2&gt;関連項目&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;code&gt;&lt;a href=&#34;../bit/endian.html&#34;&gt;std::endian&lt;/a&gt;&lt;/code&gt; - C++標準のエンディアン列挙型&lt;/li&gt;
&lt;/ul&gt;
&lt;h2&gt;参照&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3022.htm&#34; target=&#34;_blank&#34;&gt;N3022 Modern Bit Utilities&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href=&#34;https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3370r1.html&#34; target=&#34;_blank&#34;&gt;P3370R1 Add new C headers as C++ headers&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;&lt;/div&gt;</content>
      
      <author>
        <name>Raclamusi</name>
        <email>raclamusi@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>let_value -- execution/let_value: fix indent</title>
      <link href="https://cpprefjp.github.io/reference/execution/execution/let_value.html"/>
      <id>3e90df48d95ebe8caac3ec51fa319c60ea0ab9f5:reference/execution/execution/let_value.md</id>
      <updated>2026-05-03T22:31:25+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution/let_value.md b/reference/execution/execution/let_value.md
index a28f733a6..b87527df4 100644
--- a/reference/execution/execution/let_value.md
+++ b/reference/execution/execution/let_value.md
@@ -175,39 +175,39 @@ return JOIN-ENV(let-env(child), FWD-ENV(env));
 ```cpp
 template&amp;lt;class Cpo, class Sndr, class Fn, class Rcvr, class ArgsVariant,
          class OpsVariant&amp;gt;
-  struct let-state {
-    using env_t = decltype(let-env(declval&amp;lt;Sndr&amp;gt;())); // exposition only
-    Fn fn;                                            // exposition only
-    env_t env;                                        // exposition only
-    ArgsVariant args;                                 // exposition only
-    OpsVariant ops;                                   // exposition only
-
-    template&amp;lt;class Tag, class... Ts&amp;gt;
-    constexpr void impl(Rcvr&amp;amp; rcvr, Tag tag, Ts&amp;amp;&amp;amp;... ts) noexcept
-    {                                                 // exposition only
-      using args_t = decayed-tuple&amp;lt;Ts...&amp;gt;;
-      using receiver_type = receiver2&amp;lt;Rcvr, env_t&amp;gt;;
-      using sender_type = apply_result_t&amp;lt;Fn, args_t&amp;amp;&amp;gt;;
-      if constexpr (is_same_v&amp;lt;Tag, Cpo&amp;gt;) {
-        try {
-          auto&amp;amp; tuple = args.template emplace&amp;lt;args_t&amp;gt;(std::forward&amp;lt;Ts&amp;gt;(ts)...);
-          ops.template emplace&amp;lt;monostate&amp;gt;();
-          auto&amp;amp;&amp;amp; sndr = apply(std::move(fn), tuple);
-          using op_t = connect_result_t&amp;lt;sender_type, receiver_type&amp;gt;;
-          auto mkop2 = [&amp;amp;] {
-            return connect(std::forward&amp;lt;sender_type&amp;gt;(sndr),
-                           receiver_type{rcvr, env});
-          };
-          auto&amp;amp; op = ops.template emplace&amp;lt;op_t&amp;gt;(emplace-from{mkop2});
-          start(op);
-        } catch (...) {
-          constexpr bool nothrow =
-            is_nothrow_constructible_v&amp;lt;args_t, Ts...&amp;gt; &amp;amp;&amp;amp;
-            is_nothrow_applicable_v&amp;lt;Fn, args_t&amp;amp;&amp;gt; &amp;amp;&amp;amp;
-            noexcept(
-              connect(
-                declval&amp;lt;sender_type&amp;gt;(),
-                receiver_type{rcvr, env}));
+struct let-state {
+  using env_t = decltype(let-env(declval&amp;lt;Sndr&amp;gt;())); // exposition only
+  Fn fn;                                            // exposition only
+  env_t env;                                        // exposition only
+  ArgsVariant args;                                 // exposition only
+  OpsVariant ops;                                   // exposition only
+
+  template&amp;lt;class Tag, class... Ts&amp;gt;
+  constexpr void impl(Rcvr&amp;amp; rcvr, Tag tag, Ts&amp;amp;&amp;amp;... ts) noexcept
+  {                                                 // exposition only
+    using args_t = decayed-tuple&amp;lt;Ts...&amp;gt;;
+    using receiver_type = receiver2&amp;lt;Rcvr, env_t&amp;gt;;
+    using sender_type = apply_result_t&amp;lt;Fn, args_t&amp;amp;&amp;gt;;
+    if constexpr (is_same_v&amp;lt;Tag, Cpo&amp;gt;) {
+      try {
+        auto&amp;amp; tuple = args.template emplace&amp;lt;args_t&amp;gt;(std::forward&amp;lt;Ts&amp;gt;(ts)...);
+        ops.template emplace&amp;lt;monostate&amp;gt;();
+        auto&amp;amp;&amp;amp; sndr = apply(std::move(fn), tuple);
+        using op_t = connect_result_t&amp;lt;sender_type, receiver_type&amp;gt;;
+        auto mkop2 = [&amp;amp;] {
+          return connect(std::forward&amp;lt;sender_type&amp;gt;(sndr),
+                          receiver_type{rcvr, env});
+        };
+        auto&amp;amp; op = ops.template emplace&amp;lt;op_t&amp;gt;(emplace-from{mkop2});
+        start(op);
+      } catch (...) {
+        constexpr bool nothrow =
+          is_nothrow_constructible_v&amp;lt;args_t, Ts...&amp;gt; &amp;amp;&amp;amp;
+          is_nothrow_applicable_v&amp;lt;Fn, args_t&amp;amp;&amp;gt; &amp;amp;&amp;amp;
+          noexcept(
+            connect(
+              declval&amp;lt;sender_type&amp;gt;(),
+              receiver_type{rcvr, env}));
         if constexpr (!nothrow) {
           set_error(std::move(rcvr), current_exception());
         }
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>yoh</name>
        <email>kawasaki.liamg@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>let_value -- execution/let_value: P3373R4対応</title>
      <link href="https://cpprefjp.github.io/reference/execution/execution/let_value.html"/>
      <id>e105e57c1af16de776946d404d33363e21d61704:reference/execution/execution/let_value.md</id>
      <updated>2026-05-03T22:12:15+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution/let_value.md b/reference/execution/execution/let_value.md
index 0c6f775a0..a28f733a6 100644
--- a/reference/execution/execution/let_value.md
+++ b/reference/execution/execution/let_value.md
@@ -17,7 +17,7 @@ namespace std::execution {
 
 `let_value`は[パイプ可能Senderアダプタオブジェクト](sender_adaptor_closure.md)であり、パイプライン記法をサポートする。
 
-本ページにてSenderアルゴリズム`let_value`／[`let_error`](let_error.md)／[`let_stopped`](let_stopped.md)の動作仕様を包括的に説明するため、以降のセクションにおいては`let-cpo`, `set-cpo`をそれぞれ下記の通りとする。
+本ページにてSenderアルゴリズム`let_value`／[`let_error`](let_error.md)／[`let_stopped`](let_stopped.md)の動作仕様を包括的に説明するため、以降のセクションにおいては`let-cpo`, `set-cpo`をそれぞれ下記の通りとする。また`let-tag`を`let_value`／`let_error`／`let_stopped`それぞれに対して一意な空のクラスとする。
 
 | `let-cpo` | `set-cpo` |
 |----|----|
@@ -38,16 +38,33 @@ transform_sender(get-domain-early(sndr), make-sender(let-cpo, f, sndr))
 * get-domain-early[link get-domain-early.md]
 * make-sender[link make-sender.md]
 
+説明用のクラステンプレート`let-data`を下記の通り定義する。
 
-### Senderアルゴリズムタグ `let-cpo`
+```cpp
+template&amp;lt;class Sndr, class Fn&amp;gt;
+struct let-data {
+  Sndr sndr; // exposition only
+  Fn fn;     // exposition only
+};
+```
+
+式`let-cpo.transform_sender(s, es...)`は、`s`が1回だけ評価されることを除いて、下記と等価。
+
+```cpp
+make-sender(let-tag{}, let-data{s.template get&amp;lt;2&amp;gt;(), s.template get&amp;lt;1&amp;gt;()})
+```
+* make-sender[link make-sender.md]
+* let-tag[italic]
+
+### Senderアルゴリズムタグ `let-tag`
 Senderアルゴリズム動作説明用のクラステンプレート[`impls-for`](impls-for.md)に対して、下記の特殊化が定義される。
 
 ```cpp
 namespace std::execution {
   template&amp;lt;&amp;gt;
-  struct impls-for&amp;lt;decayed-typeof&amp;lt;let-cpo&amp;gt;&amp;gt; : default-impls {
+  struct impls-for&amp;lt;let-tag&amp;gt; : default-impls {
     static constexpr auto get-state = see below;
-    static constexpr auto complete = see below;
+    static constexpr auto start = see below;
 
     template&amp;lt;class Sndr, class... Env&amp;gt;
     static consteval void check-types();
@@ -56,38 +73,25 @@ namespace std::execution {
 ```
 * impls-for[link impls-for.md]
 * default-impls[link impls-for.md]
-* decayed-typeof[link /reference/functional/decayed-typeof.md]
-* let-cpo[italic]
+* let-tag[italic]
 
-`impls-for&amp;lt;decayed-typeof&amp;lt;let-cpo&amp;gt;&amp;gt;::get-state`メンバは、下記ラムダ式と等価な関数呼び出し可能なオブジェクトで初期化される。
-
-- `args_variant_t` : 入力Sender`sndr`の完了シグネチャ集合から求まる送信値リスト型情報(`variant&amp;lt;monostate, tuple&amp;lt;...&amp;gt;, ...&amp;gt;`)
-- `ops2_variant_t` : `f`が返すSenderに対応する非同期操作型情報(`variant&amp;lt;monostate, {OperationState型}, ...&amp;gt;`)
-- 戻り値`state-type`型オブジェクトを下記の通り初期化する。同オブジェクトは`complete`メンバから呼ばれる`let-bind`で利用される。
-    - `fn` : Senderアルゴリズム構築時に指定した関数呼び出し可能オブジェクト`f`
-    - `env` : 入力Sender`sndr`に関連付けられた[属性](../queryable.md)
-    - `args` : `f`呼び出し時の引数リスト格納用変数（空値`monostate`で初期化）
-    - `ops` : `f`が返すSenderに対応する非同期操作の格納用変数（空値`monostate`で初期化）
+`impls-for&amp;lt;let-tag&amp;gt;::get-state`メンバは、下記ラムダ式と等価な関数呼び出し可能なオブジェクトで初期化される。
 
 ```cpp
 []&amp;lt;class Sndr, class Rcvr&amp;gt;(Sndr&amp;amp;&amp;amp; sndr, Rcvr&amp;amp; rcvr) requires see below {
-  auto&amp;amp; [_, fn, child] = sndr;
+  auto&amp;amp; [_, data] = sndr;
+  auto&amp;amp; [child, fn] = data;
+  using child_t = decltype(std::forward_like&amp;lt;Sndr&amp;gt;(child));
   using fn_t = decay_t&amp;lt;decltype(fn)&amp;gt;;
-  using env_t = decltype(let-env(child));
   using args_variant_t = see below;
-  using ops2_variant_t = see below;
-
-  struct state-type {
-    fn_t fn;              // exposition only
-    env_t env;            // exposition only
-    args_variant_t args;  // exposition only
-    ops2_variant_t ops2;  // exposition only
-  };
-  return state-type{allocator-aware-forward(std::forward_like&amp;lt;Sndr&amp;gt;(fn), rcvr),
-                    let-env(child), {}, {}};
+  using ops_variant_t = see below;
+  using state_t = let-state&amp;lt;decayed-typeof&amp;lt;set-cpo&amp;gt;, child_t, fn_t, Rcvr,
+                            args_variant_t, ops_variant_t&amp;gt;;
+  return state_t(std::forward_like&amp;lt;Sndr&amp;gt;(child), std::forward_like&amp;lt;Sndr&amp;gt;(fn), rcvr);
 }
 ```
-* allocator-aware-forward[link allocator-aware-forward.md]
+* decayed-typeof[link /reference/functional/decayed-typeof.md]
+* set-cpo[italic]
 
 - 説明用のパック`Sigs`を[`completion_signatures_of_t`](completion_signatures_of_t.md)`&amp;lt;`[`child-type`](child-type.md)`&amp;lt;Sndr&amp;gt;,` [`FWD-ENV-T`](../forwarding_query.md)`(`[`env_of_t`](env_of_t.md)`&amp;lt;Rcvr&amp;gt;)&amp;gt;`による[`completion_signatures`](completion_signatures.md)特殊化のテンプレートパラメータとし、パック`LetSigs`を`Sigs`に含まれる型のうち戻り値型が[`decayed-typeof`](/reference/functional/decayed-typeof.md)`&amp;lt;set-cpo&amp;gt;`に等しいものと定義する。説明用のエイリアステンプレート`as-tuple&amp;lt;Tag(Args...)&amp;gt;`を[`decayed-tuple`](decayed-tuple.md)`&amp;lt;Args...&amp;gt;`と定義する。型`args_variant_t`は下記定義において重複削除した型となる。
 
@@ -97,10 +101,12 @@ namespace std::execution {
     * variant[link /reference/variant/variant.md]
     * monostate[link /reference/variant/monostate.md]
 
-- 説明用の型`Tag`とパック`Args`に対して、説明用のエイリアステンプレート`as-sndr2&amp;lt;Tag(Args...)&amp;gt;`を[`call-result-t`](/reference/functional/call-result-t.md)`&amp;lt;Fn,` [`decay_t`](/reference/type_traits/decay.md)`&amp;lt;Args&amp;gt;&amp;amp;...&amp;gt;`と定義する。型`ops2_variant_t`は下記定義において重複削除した型となる。
+- 説明用の型`Tag`とパック`Args`に対して、説明用のエイリアステンプレート`as-sndr2&amp;lt;Tag(Args...)&amp;gt;`を[`call-result-t`](/reference/functional/call-result-t.md)`&amp;lt;Fn,` [`decay_t`](/reference/type_traits/decay.md)`&amp;lt;Args&amp;gt;&amp;amp;...&amp;gt;`と定義する。型`ops_variant_t`は下記定義において重複削除した型となる。
 
     ```cpp
-    variant&amp;lt;monostate, connect_result_t&amp;lt;as-sndr2&amp;lt;LetSigs&amp;gt;, receiver2&amp;lt;Rcvr, env_t&amp;gt;&amp;gt;...&amp;gt;
+    variant&amp;lt;monostate,
+            connect_result_t&amp;lt;child_t, let-state::receiver,
+            connect_result_t&amp;lt;as-sndr2&amp;lt;LetSigs&amp;gt;, receiver2&amp;lt;Rcvr, env_t&amp;gt;&amp;gt;...&amp;gt;
     ```
     * variant[link /reference/variant/variant.md]
     * monostate[link /reference/variant/monostate.md]
@@ -108,27 +114,15 @@ namespace std::execution {
 
 - 型`args_variant_t`および`ops2_variant_t`が適格なときに限って、上記ラムダ式のrequires節が満たされる。
 
-`impls-for&amp;lt;decayed-typeof&amp;lt;let-cpo&amp;gt;&amp;gt;::complete`メンバは、下記ラムダ式と等価な関数呼び出し可能なオブジェクトで初期化される。
-
-- 完了関数`set-cpo`の場合、Sender構築時の引数`f`に対して`f(args...)`を呼び出し、戻り値[Sender](sender.md)から入れ子非同期操作を開始する。同Senderの完了結果を接続先[Receiver](receiver.md)へ転送する。
-- それ以外の完了操作の場合、接続先[Receiver](receiver.md)の同種完了関数へ転送する。
+`impls-for&amp;lt;let-tag&amp;gt;::start`メンバは、下記ラムダ式と等価な関数呼び出し可能なオブジェクトで初期化される。
 
 ```cpp
-[]&amp;lt;class Tag, class... Args&amp;gt;
-  (auto, auto&amp;amp; state, auto&amp;amp; rcvr, Tag, Args&amp;amp;&amp;amp;... args) noexcept -&amp;gt; void {
-    if constexpr (same_as&amp;lt;Tag, decayed-typeof&amp;lt;set-cpo&amp;gt;&amp;gt;) {
-      TRY-EVAL(rcvr, let-bind(state, rcvr, std::forward&amp;lt;Args&amp;gt;(args)...));
-    } else {
-      Tag()(std::move(rcvr), std::forward&amp;lt;Args&amp;gt;(args)...);
-    }
-  }
+[]&amp;lt;class State, class Rcvr&amp;gt;(State&amp;amp; state, Rcvr&amp;amp;) noexcept {
+  start(get&amp;lt;typename State::op_t&amp;gt;(state.ops));
+}
 ```
-* decayed-typeof[link /reference/functional/decayed-typeof.md]
-* TRY-EVAL[link set_value.md]
-* std::move[link /reference/utility/move.md]
-* set-cpo[italic]
 
-メンバ関数`impls-for&amp;lt;decayed-typeof&amp;lt;let-cpo&amp;gt;&amp;gt;::check-types`の効果は下記の通り。
+メンバ関数`impls-for&amp;lt;let-tag&amp;gt;::check-types`の効果は下記の通り。
 
 ```cpp
 using LetFn = remove_cvref_t&amp;lt;data-type&amp;lt;Sndr&amp;gt;&amp;gt;;
@@ -149,13 +143,6 @@ cs.for-each(overload-set(fn, [](auto){}));
 * overload-set[link overload-set.md]
 * set-cpo[italic]
 
-説明用の変数`is-valid-let-sender`は下記を全て満たす時に限って`true`となる。
-
-- `(`[`constructible_from`](/reference/concepts/constructible_from.md)`&amp;lt;decay_t&amp;lt;Ts&amp;gt;, Ts&amp;gt; &amp;amp;&amp;amp;...)`
-- [`invocable`](/reference/concepts/invocable.md)`&amp;lt;LetFn, decay_t&amp;lt;Ts&amp;gt;&amp;amp;...&amp;gt;`
-- [`sender`](sender.md)`&amp;lt;`[`invoke_result_t`](/reference/type_traits/invoke_result.md)`&amp;lt;LetFn, decay_t&amp;lt;Ts&amp;gt;&amp;amp;...&amp;gt;&amp;gt;`
-- パック`env-t`を`decltype(let-cpo.transform_env(declval&amp;lt;Sndr&amp;gt;(), declval&amp;lt;Env&amp;gt;()))`としたとき、`sizeof...(Env) == 0 ||` [`sender_in`](sender_in.md)`&amp;lt;`[`invoke_result_t`](/reference/type_traits/invoke_result.md)`&amp;lt;LetFn, decay_t&amp;lt;Ts&amp;gt;&amp;amp;...&amp;gt;, env-t...&amp;gt;`
-
 説明用の式`sndr`と`env`に対して、型`Sndr`を`decltype((sndr))`とする。[`sender-for`](sender-for.md)`&amp;lt;Sndr,` [`decayed-typeof`](/reference/functional/decayed-typeof.md)`&amp;lt;let-cpo&amp;gt;&amp;gt; == false`のとき、式`let-cpo.transform_env(sndr, env)`は不適格となる。
 
 そうでなければ、式`let-cpo.transform_env(sndr, env)`は下記と等価。
@@ -169,47 +156,115 @@ return JOIN-ENV(let-env(child), FWD-ENV(env));
 
 
 ## 説明専用エンティティ
+### 式`let-env`
 説明用の式`sndr`を用いて、`let-env(sndr)`を下記リストのうち最初に適格となる式と定義する。
 
 - [`SCHED-ENV`](schedule.md)`(`[`get_completion_scheduler`](get_completion_scheduler.md)`&amp;lt;`[`decayed-typeof`](/reference/functional/decayed-typeof.md)`&amp;lt;set-cpo&amp;gt;&amp;gt;(`[`get_env`](get_env.md)`(sndr)))`
 - [`MAKE-ENV`](../queryable.md)`(`[`get_domain`](get_domain.md)`,` [`get_domain`](get_domain.md)`(`[`get_env`](get_env.md)`(sndr)))`
 - `(void(sndr),` [`env&amp;lt;&amp;gt;{}`](env.md)`)`
 
-説明専用の`let-bind`テンプレート関数を下記の通り定義する。
+### 変数`is-valid-let-sender`
+説明用の変数`is-valid-let-sender`は下記を全て満たす時に限って`true`となる。
 
-- 入力Senderの完了結果から引数リスト`state.args`を構築し、Senderアルゴリズム構築時に指定した関数呼び出し可能オブジェクト`state.fn`を呼び出す。
-- 上記呼び出しで`state.fn`から返された[Sender](sender.md)と、完了結果をSenderアルゴリズムの接続先[Receiver](receiver.md)`Rcvr`へ転送するヘルパ`receiver2`を[接続(connect)](connect.md)する。
-- 接続結果[Operation State](operation_state.md)を`state.op2`上に構築し、入れ子の非同期操作を[開始(start)](start.md)する。
+- `(`[`constructible_from`](/reference/concepts/constructible_from.md)`&amp;lt;decay_t&amp;lt;Ts&amp;gt;, Ts&amp;gt; &amp;amp;&amp;amp;...)`
+- [`invocable`](/reference/concepts/invocable.md)`&amp;lt;LetFn, decay_t&amp;lt;Ts&amp;gt;&amp;amp;...&amp;gt;`
+- [`sender`](sender.md)`&amp;lt;`[`invoke_result_t`](/reference/type_traits/invoke_result.md)`&amp;lt;LetFn, decay_t&amp;lt;Ts&amp;gt;&amp;amp;...&amp;gt;&amp;gt;`
+- パック`env-t`を`decltype(let-cpo.transform_env(declval&amp;lt;Sndr&amp;gt;(), declval&amp;lt;Env&amp;gt;()))`としたとき、`sizeof...(Env) == 0 ||` [`sender_in`](sender_in.md)`&amp;lt;`[`invoke_result_t`](/reference/type_traits/invoke_result.md)`&amp;lt;LetFn, decay_t&amp;lt;Ts&amp;gt;&amp;amp;...&amp;gt;, env-t...&amp;gt;`
 
+### クラステンプレート`let-state`
 ```cpp
-namespace std::execution {
-  template&amp;lt;class State, class Rcvr, class... Args&amp;gt;
-  void let-bind(State&amp;amp; state, Rcvr&amp;amp; rcvr, Args&amp;amp;&amp;amp;... args);  // exposition only
-}
-```
+template&amp;lt;class Cpo, class Sndr, class Fn, class Rcvr, class ArgsVariant,
+         class OpsVariant&amp;gt;
+  struct let-state {
+    using env_t = decltype(let-env(declval&amp;lt;Sndr&amp;gt;())); // exposition only
+    Fn fn;                                            // exposition only
+    env_t env;                                        // exposition only
+    ArgsVariant args;                                 // exposition only
+    OpsVariant ops;                                   // exposition only
+
+    template&amp;lt;class Tag, class... Ts&amp;gt;
+    constexpr void impl(Rcvr&amp;amp; rcvr, Tag tag, Ts&amp;amp;&amp;amp;... ts) noexcept
+    {                                                 // exposition only
+      using args_t = decayed-tuple&amp;lt;Ts...&amp;gt;;
+      using receiver_type = receiver2&amp;lt;Rcvr, env_t&amp;gt;;
+      using sender_type = apply_result_t&amp;lt;Fn, args_t&amp;amp;&amp;gt;;
+      if constexpr (is_same_v&amp;lt;Tag, Cpo&amp;gt;) {
+        try {
+          auto&amp;amp; tuple = args.template emplace&amp;lt;args_t&amp;gt;(std::forward&amp;lt;Ts&amp;gt;(ts)...);
+          ops.template emplace&amp;lt;monostate&amp;gt;();
+          auto&amp;amp;&amp;amp; sndr = apply(std::move(fn), tuple);
+          using op_t = connect_result_t&amp;lt;sender_type, receiver_type&amp;gt;;
+          auto mkop2 = [&amp;amp;] {
+            return connect(std::forward&amp;lt;sender_type&amp;gt;(sndr),
+                           receiver_type{rcvr, env});
+          };
+          auto&amp;amp; op = ops.template emplace&amp;lt;op_t&amp;gt;(emplace-from{mkop2});
+          start(op);
+        } catch (...) {
+          constexpr bool nothrow =
+            is_nothrow_constructible_v&amp;lt;args_t, Ts...&amp;gt; &amp;amp;&amp;amp;
+            is_nothrow_applicable_v&amp;lt;Fn, args_t&amp;amp;&amp;gt; &amp;amp;&amp;amp;
+            noexcept(
+              connect(
+                declval&amp;lt;sender_type&amp;gt;(),
+                receiver_type{rcvr, env}));
+        if constexpr (!nothrow) {
+          set_error(std::move(rcvr), current_exception());
+        }
+      }
+    } else {
+      tag(std::move(rcvr), std::forward&amp;lt;Ts&amp;gt;(ts)...);
+    }
+  }
 
-`let-bind`テンプレート関数の効果は下記と等価。
+  struct receiver {   // exposition only
+    let-state&amp;amp; state; // exposition only
+    Rcvr&amp;amp; rcvr;       // exposition only
 
-```cpp
-using args_t = decayed-tuple&amp;lt;Args...&amp;gt;;
-auto mkop2 = [&amp;amp;] {
-  return connect(
-    apply(std::move(state.fn),
-          state.args.template emplace&amp;lt;args_t&amp;gt;(std::forward&amp;lt;Args&amp;gt;(args)...)),
-    receiver2{rcvr, std::move(state.env)});
+    using receiver_concept = receiver_t;
+
+    template&amp;lt;class... Args&amp;gt;
+    constexpr void set_value(Args&amp;amp;&amp;amp;... args) noexcept {
+      state.impl(rcvr, execution::set_value, std::forward&amp;lt;Args&amp;gt;(args)...);
+    }
+    template&amp;lt;class... Args&amp;gt;
+    constexpr void set_error(Args&amp;amp;&amp;amp;... args) noexcept {
+      state.impl(rcvr, execution::set_error, std::forward&amp;lt;Args&amp;gt;(args)...);
+    }
+    template&amp;lt;class... Args&amp;gt;
+    constexpr void set_stopped(Args&amp;amp;&amp;amp;... args) noexcept {
+      state.impl(rcvr, execution::set_stopped, std::forward&amp;lt;Args&amp;gt;(args)...);
+    }
+
+    constexpr env_of_t&amp;lt;const Rcvr&amp;amp;&amp;gt; get_env() const noexcept {
+      return execution::get_env(rcvr);
+    }
+  };
+
+  using op_t = connect_result_t&amp;lt;Sndr, receiver&amp;gt;;      // exposition only
+  constexpr let-state(Sndr&amp;amp;&amp;amp; sndr, Fn fn, Rcvr&amp;amp; rcvr) // exposition only
+    : fn(std::move(fn)), env(let-env(sndr)),
+      ops(in_place_type&amp;lt;op_t&amp;gt;, std::forward&amp;lt;Sndr&amp;gt;(sndr),
+          receiver{*this, rcvr})
+  {}
 };
-start(state.ops2.template emplace&amp;lt;decltype(mkop2())&amp;gt;(emplace-from{mkop2}));
 ```
-* decayed-tuple[link decayed-tuple.md]
+* connect_result_t[link connect_result_t.md]
 * connect[link connect.md]
 * start[link start.md]
-* emplace-from[link emplace-from.md]
-* apply[link /reference/tuple/apply.md]
-* template emplace[link /reference/variant/variant/emplace.md]
-* std::move[link /reference/utility/move.md]
-
-説明専用のテンプレートクラス`receiver2`を下記の通り定義する。
-
+* receiver_t[link receiver.md]
+* execution::set_value[link set_value.md]
+* execution::set_error[link set_error.md]
+* execution::set_stopped[link set_stopped.md]
+* execution::get_env[link get_env.md]
+* apply_result_t[link /reference/type_traits/apply_result.md]
+* is_same_v[link /reference/type_traits/is_same.md]
+* current_exception()[link /reference/exception/current_exception.md]
+* is_nothrow_constructible_v[link /reference/type_traits/is_nothrow_constructible.md]
+* is_nothrow_applicable_v[link /reference/type_traits/is_nothrow_applicable.md]
+* in_place_type[link /reference/utility/in_place_type_t.md]
+
+### クラステンプレート`receiver2`
 ```cpp
 namespace std::execution {
   template&amp;lt;class Rcvr, class Env&amp;gt;
@@ -445,3 +500,4 @@ catch 0
 - [LWG 4203. Constraints on `get-state` functions are incorrect](https://cplusplus.github.io/LWG/issue4203)
 - [LWG 4204. specification of `as-sndr2(Sig)` in [exec.let] is incomplete](https://cplusplus.github.io/LWG/issue4204)
 - [LWG 4205. `let_[*].transform_env` is specified in terms of the `let_*` sender itself instead of its child](https://cplusplus.github.io/LWG/issue4205)
+- [P3373R4 Of Operation States and Their Lifetimes](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3373r4.pdf)
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>yoh</name>
        <email>kawasaki.liamg@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>prefix -- fix(regex): タイポ修正 &#34;空文字{ =&gt; 列}で&#34;</title>
      <link href="https://cpprefjp.github.io/reference/regex/match_results/prefix.html"/>
      <id>6030868c553ff43324c3c08e612ca6eeb17dd8fc:reference/regex/match_results/prefix.md</id>
      <updated>2026-05-03T21:32:09+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/regex/match_results/prefix.md b/reference/regex/match_results/prefix.md
index faf6283ba..1fab66915 100644
--- a/reference/regex/match_results/prefix.md
+++ b/reference/regex/match_results/prefix.md
@@ -25,10 +25,10 @@ const_reference prefix() const;
     また、`m.prefix().matched` は `false` となる。  
     戻り値が `false` の場合は未規定である。
 - [`regex_search`](../regex_search.md) の引数に [`match_results`](../match_results.md) オブジェクト `m` を渡した場合、戻り値が `true` であれば、`m.prefix().first` は検索対象文字列の先頭となり、`m.prefix().second` は `m[0].first`（つまり、マッチした文字列の先頭）と等しくなる。  
-    また、`m.prefix().matched` は `m.prefix().first != m.prefix().second` の結果となる（つまり、`m.prefix()` が空文字であれば `false`、そうでなければ `true`）。  
+    また、`m.prefix().matched` は `m.prefix().first != m.prefix().second` の結果となる（つまり、`m.prefix()` が空文字列であれば `false`、そうでなければ `true`）。  
     戻り値が `false` の場合は未規定である。
 - [`regex_iterator`](../regex_iterator.md) を間接参照したオブジェクトの場合、当該オブジェクトを `m` とすると、`m.prefix().first` は最初のマッチでなければ直前のマッチの際の `m[0].second`（つまり直前にマッチした文字列の末尾）、最初のマッチであれば検索対象文字列の先頭となり、`m.prefix().second` は `m[0].first`（つまり、マッチした文字列の先頭）と等しくなる。  
-    また、`m.prefix().matched` は `m.prefix().first != m.prefix().second` となる（つまり、`m.prefix()` が空文字であれば `false`、そうでなければ `true`）。
+    また、`m.prefix().matched` は `m.prefix().first != m.prefix().second` となる（つまり、`m.prefix()` が空文字列であれば `false`、そうでなければ `true`）。
 
 
 ## 例
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Koichi Murase</name>
        <email>myoga.murase@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>suffix -- fix(regex): タイポ修正 &#34;空文字{ =&gt; 列}で&#34;</title>
      <link href="https://cpprefjp.github.io/reference/regex/match_results/suffix.html"/>
      <id>6030868c553ff43324c3c08e612ca6eeb17dd8fc:reference/regex/match_results/suffix.md</id>
      <updated>2026-05-03T21:32:09+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/regex/match_results/suffix.md b/reference/regex/match_results/suffix.md
index eff978312..48c63319c 100644
--- a/reference/regex/match_results/suffix.md
+++ b/reference/regex/match_results/suffix.md
@@ -25,10 +25,10 @@ const_reference suffix() const;
     また、`m.suffix().matched` は `false` となる。  
     戻り値が `false` の場合は未規定である。
 - [`regex_search`](../regex_search.md) の引数に [`match_results`](../match_results.md) オブジェクト `m` を渡した場合、戻り値が `true` であれば、`m.suffix().first` は `m[0].second`（つまり、マッチした文字列の末尾）と等しくなり、`m.suffix().second` は検索対象文字列の末尾と等しくなる。  
-    また、`m.suffix().matched` は `m.suffix().first != m.suffix().second` の結果となる（つまり、`m.suffix()` が空文字であれば `false`、そうでなければ `true`）。  
+    また、`m.suffix().matched` は `m.suffix().first != m.suffix().second` の結果となる（つまり、`m.suffix()` が空文字列であれば `false`、そうでなければ `true`）。  
     戻り値が `false` の場合は未規定である。
 - [`regex_iterator`](../regex_iterator.md) を間接参照したオブジェクトの場合、当該オブジェクトを `m` とすると、`m.suffix().first` は `m[0].second`（つまり、マッチした文字列の末尾）と等しくなり、`m.suffix().second` は検索対象文字列の末尾と等しくなる。  
-    また、`m.suffix().matched` は `m.suffix().first != m.suffix().second` の結果となる（つまり、`m.suffix()` が空文字であれば `false`、そうでなければ `true`）。
+    また、`m.suffix().matched` は `m.suffix().first != m.suffix().second` の結果となる（つまり、`m.suffix()` が空文字列であれば `false`、そうでなければ `true`）。
 
 
 ## 例
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Koichi Murase</name>
        <email>myoga.murase@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>regex_token_iterator -- fix(regex): タイポ修正 &#34;空文字{ =&gt; 列}で&#34;</title>
      <link href="https://cpprefjp.github.io/reference/regex/regex_token_iterator.html"/>
      <id>6030868c553ff43324c3c08e612ca6eeb17dd8fc:reference/regex/regex_token_iterator.md</id>
      <updated>2026-05-03T21:32:09+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/regex/regex_token_iterator.md b/reference/regex/regex_token_iterator.md
index 8d90735d8..1308c22b1 100644
--- a/reference/regex/regex_token_iterator.md
+++ b/reference/regex/regex_token_iterator.md
@@ -33,7 +33,7 @@ namespace std {
 `regex_token_iterator` オブジェクトを構築した時、当該オブジェクトは [`regex_iterator`](regex_iterator.md)`&amp;lt;BidirectionalIterator, charT, traits&amp;gt;` 型のメンバ変数 `position` を構築する。
 また、構築時に指定された返すべきサブマッチのリストをメンバ変数 `subs` に保持し、現在返すべきサブマッチを識別するカウンタ用のメンバ変数 `N` を `0` に設定する。  
 そして、[`operator++`](regex_token_iterator/op_increment.md) が呼び出される毎に、当該イテレータは `N` をインクリメントし、`N` が `subs` のサイズ以上になると、`position` をインクリメントして `N` を再び `0` にリセットする。  
-`position` が終端まで来た時（つまり、`position` がシーケンス終端イテレータとなった時）、`subs` に `-1` が含まれていて、かつ、`position` が直前にマッチした文字列の後ろに文字列が残っている場合（つまり、`position.`[`suffix`](match_results/suffix.md)`()` が空文字では無い場合）には、当該文字列を最後のサブマッチとして扱う。この状態になったイテレータを接尾辞イテレータと呼ぶ。  
+`position` が終端まで来た時（つまり、`position` がシーケンス終端イテレータとなった時）、`subs` に `-1` が含まれていて、かつ、`position` が直前にマッチした文字列の後ろに文字列が残っている場合（つまり、`position.`[`suffix`](match_results/suffix.md)`()` が空文字列では無い場合）には、当該文字列を最後のサブマッチとして扱う。この状態になったイテレータを接尾辞イテレータと呼ぶ。  
 `position` が終端まで来た時に、`subs` に `-1` が含まれていない、または、`position` が直前にマッチした文字列の後ろに文字列が残っていない場合、および、接尾辞イテレータがインクリメントされた場合、当該オブジェクトは、シーケンスの終端を示す特別な値となる。  
 この、シーケンスの終端を示す特別な値は、`regex_token_iterator` オブジェクトをデフォルトコンストラクタにより構築した場合にも生成されるため、この値と比較することによってシーケンスの終端であるか否か（つまり、マッチしなかったか否か）が判別できる。
 
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Koichi Murase</name>
        <email>myoga.murase@gmail.com</email>
      </author>
    </entry>
  
</feed>