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-06T16:16:33.741913</updated>
  <id>ce0c4aad-bcdd-4306-aea8-75cebf3e3d3b</id>

  
    <entry>
      <title>契約プログラミング [P2900R14] -- cpp26/contracts : P2900R14に合わせて修正</title>
      <link href="https://cpprefjp.github.io/lang/cpp26/contracts.html"/>
      <id>0e6380b40a6a6da7b4cb2e19b65a3905e5f32494:lang/cpp26/contracts.md</id>
      <updated>2026-05-06T21:13:52+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/lang/cpp26/contracts.md b/lang/cpp26/contracts.md
index d83c6728e..c060a6e51 100644
--- a/lang/cpp26/contracts.md
+++ b/lang/cpp26/contracts.md
@@ -76,13 +76,14 @@ public:
 #### 事後条件(post)
 関数の実行後に満たされているべき条件を指定する。
 ```cpp
-int increment(int x)
+int increment(const int x)
     post(r: r == x + 1)
 {
     return x + 1;
 }
 ```
 ここでは、`increment`関数の戻り値が`x + 1`であることを事後条件として指定している。
+事後条件に関数引数を使用する場合、使用する引数は参照型か、`const`修飾型でなければならない。
 
 `post`では、戻り値を`r`としてバインドし、条件式内で利用している。ここには、任意の変数名が使用できる。変数は定数(`const`)な左辺値参照である。
 
@@ -443,9 +444,9 @@ C++26では、契約プログラミングをサポートするために`&amp;lt;contrac
 ```cpp
 namespace std::contracts {
     enum class assertion_kind {
-        precondition,   // 事前条件アサーション
-        postcondition,  // 事後条件アサーション
-        assertion       // アサーション文
+        pre,    // 事前条件アサーション
+        post,   // 事後条件アサーション
+        assert  // アサーション文
     };
 }
 ```
@@ -485,9 +486,9 @@ namespace std::contracts {
     public:
         assertion_kind kind() const noexcept;
         evaluation_semantic semantic() const noexcept;
-        detection_mode detection() const noexcept;
+        contracts::detection_mode detection_mode() const noexcept;
         source_location location() const noexcept;
-        string_view comment() const noexcept;
+        const char* comment() const noexcept;
         bool is_terminating() const noexcept;
         exception_ptr evaluation_exception() const noexcept;
     };
@@ -497,7 +498,7 @@ namespace std::contracts {
 主なメンバ関数：
 - `kind()`: 違反した契約アサーションの種類を返す
 - `semantic()`: 使用された評価セマンティクスを返す
-- `detection()`: 違反の検出方法を返す
+- `detection_mode()`: 違反の検出方法を返す
 - `location()`: 契約アサーションのソースロケーションを返す
 - `comment()`: ベンダー固有のコメント文字列を返す
 - `is_terminating()`: 違反後にプログラムが終了するかどうかを返す
@@ -559,7 +560,7 @@ void f(int x) pre(might_throw(x));  // 例外発生時は契約違反
 #include &amp;lt;iostream&amp;gt;
 
 // 事前条件と事後条件を持つ関数
-int safe_division(int numerator, int denominator)
+int safe_division(const int numerator, const int denominator)
     pre(denominator != 0)
     post(result: result * denominator == numerator)
 {
@@ -595,7 +596,7 @@ public:
 };
 
 // ラムダ式での使用
-auto lambda_with_contract = [](int x)
+auto lambda_with_contract = [](const int x)
     pre(x &amp;gt; 0)
     post(r: r &amp;gt; x)
 {
@@ -633,13 +634,13 @@ void handle_contract_violation(const std::contracts::contract_violation&amp;amp; v) {
     std::cerr &amp;lt;&amp;lt; &amp;#34;契約違反が発生しました:\n&amp;#34;;
     std::cerr &amp;lt;&amp;lt; &amp;#34;  種類: &amp;#34;;
     switch (v.kind()) {
-        case std::contracts::assertion_kind::precondition:
+        case std::contracts::assertion_kind::pre:
             std::cerr &amp;lt;&amp;lt; &amp;#34;事前条件\n&amp;#34;;
             break;
-        case std::contracts::assertion_kind::postcondition:
+        case std::contracts::assertion_kind::post:
             std::cerr &amp;lt;&amp;lt; &amp;#34;事後条件\n&amp;#34;;
             break;
-        case std::contracts::assertion_kind::assertion:
+        case std::contracts::assertion_kind::assert:
             std::cerr &amp;lt;&amp;lt; &amp;#34;アサーション\n&amp;#34;;
             break;
     }
@@ -656,7 +657,7 @@ void handle_contract_violation(const std::contracts::contract_violation&amp;amp; v) {
     std::contracts::invoke_default_contract_violation_handler(v);
 }
 
-int process(int x)
+int process(const int x)
     pre(x &amp;gt; 0)
     post(r: r &amp;gt; x)
 {
@@ -679,7 +680,7 @@ int main() {
 #include &amp;lt;vector&amp;gt;
 
 template&amp;lt;std::integral T&amp;gt;
-T increment(T value)
+T increment(const T value)
     pre(value &amp;lt; std::numeric_limits&amp;lt;T&amp;gt;::max())
     post(result: result == value + 1)
 {
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Raclamusi</name>
        <email>raclamusi@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>共用体の特殊メンバ関数のトリビアル化 [P3074R7] -- サンプルコードの include 不足のエラーを修正</title>
      <link href="https://cpprefjp.github.io/lang/cpp26/trivial_unions.html"/>
      <id>5786bf010c662599443cf6db94ebdf57550cb611:lang/cpp26/trivial_unions.md</id>
      <updated>2026-05-06T20:15:04+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/lang/cpp26/trivial_unions.md b/lang/cpp26/trivial_unions.md
index 418c69d5a..4fb99137a 100644
--- a/lang/cpp26/trivial_unions.md
+++ b/lang/cpp26/trivial_unions.md
@@ -81,7 +81,7 @@ union U6 { std::string s; int n = 0; };
 
 ```cpp example
 #include &amp;lt;cassert&amp;gt;
-#include &amp;lt;new&amp;gt;
+#include &amp;lt;memory&amp;gt; // std::construct_at()
 
 constexpr int f() {
   union { int s[4]; };
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Raclamusi</name>
        <email>raclamusi@gmail.com</email>
      </author>
    </entry>
  
    <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>
  
</feed>