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-07-26T15:39:15.037793</updated>
  <id>ebafb86d-174d-4093-bbc8-42da927e9fd1</id>

  
    <entry>
      <title>cpprefjp - C++日本語リファレンス -- スポンサー更新 #1667</title>
      <link href="https://cpprefjp.github.io/index.html"/>
      <id>793cfcbe1713520432cd29ba2e0e1a4ae198f929:index.md</id>
      <updated>2026-07-26T15:05:17+09:00</updated>
      
        <content type="html">&lt;h1 itemprop=&#34;name&#34;&gt;&lt;span class=&#34;token&#34;&gt;cpprefjp - C++日本語リファレンス&lt;/span&gt;&lt;/h1&gt;
&lt;div itemprop=&#34;articleBody&#34;&gt;&lt;p&gt;本サイトcpprefjpは、プログラミング言語C++のリファレンスを提供するWebサイトです。&lt;/p&gt;
&lt;p&gt;最新C++バージョンのリファレンスを提供していきます。&lt;/p&gt;
&lt;h2&gt;運営方針&lt;/h2&gt;
&lt;p&gt;本リファレンスサイトは、C++言語の最新のリファレンスを常に提供し続けることを目標にしています。&lt;/p&gt;
&lt;p&gt;各クラス、関数にはそれぞれ1つ以上のサンプルコードを付けていく方針です。&lt;/p&gt;
&lt;p&gt;本サイトでは、他サイトおよび規格書の直接的な翻訳ではなく、編集者の調査と考えに基づいた解説を提供していきます。&lt;/p&gt;
&lt;h2&gt;HTMLデータのダウンロード&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;https://github.com/cpprefjp/cpprefjp.github.io/archive/refs/heads/master.zip&#34; target=&#34;_blank&#34;&gt;cpprefjp.github.io-master.zip&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;ローカルで閲覧できるHTMLを用意しています。&lt;/p&gt;
&lt;h2&gt;スポンサーシップ&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;https://opencollective.com/cpprefjp&#34; target=&#34;_blank&#34;&gt;cpprefjp - Open Collective&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;このプロジェクトは、持続的な活動のため、ユーザーの方々からのご支援をお待ちしております。上記Open Collectiveのプロジェクトでスポンサーシップの募集をしております。&lt;/p&gt;
&lt;p&gt;ご支援いただくユーザーの方々には、以下の特典があります。&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;本ページ (cpprefjpサイトのトップページ) に1年間、金額順でロゴを表示させていただきます (金額が同じ場合は登録順)&lt;/li&gt;
&lt;li&gt;シルバースポンサー以上の方は、&lt;a href=&#34;https://github.com/cpprefjp/site&#34; target=&#34;_blank&#34;&gt;cpprefjp/site&lt;/a&gt;リポジトリのissueとして、採用情報を投稿できます (一週間ほどで閉じます)&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;ご支援いただいた資金は、貢献度に応じてコントリビューターに分配させていただきます。&lt;/p&gt;
&lt;p&gt;また、スポンサーシップの入金方法として、Open Collectiveのほかに銀行振込も対応しております。&lt;/p&gt;
&lt;p&gt;銀行振込に関して、またはそれ以外でスポンサーシップの相談に関しては、以下のメールアドレスにお問い合わせください。&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;メールアドレス : &lt;a href=&#34;mailto:cpprefjp_org@googlegroups.com&#34;&gt;cpprefjp_org@googlegroups.com&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;宛名 : cpprefjp管理者&lt;ul&gt;
&lt;li&gt;代表として、主に高橋晶 (Akira Takahashi) がご対応させていただきます&lt;/li&gt;
&lt;/ul&gt;
&lt;/li&gt;
&lt;/ul&gt;
&lt;h2&gt;参加方法&lt;/h2&gt;
&lt;p&gt;本サイトは、多くのユーザの手によって書かれています。&lt;/p&gt;
&lt;p&gt;あなたがこの cpprefjp プロジェクトに参加したいのであれば、私達はそれをとても歓迎します。&lt;/p&gt;
&lt;p&gt;cpprefjp プロジェクトに参加する方法は簡単です。&lt;/p&gt;
&lt;ol&gt;
&lt;li&gt;&lt;a href=&#34;https://github.com/cpprefjp/site/issues?state=open&#34; target=&#34;_blank&#34;&gt;cpprefjp の Issues&lt;/a&gt; にアクセスし、&lt;/li&gt;
&lt;li&gt;あなたが手伝えそうな、まだ誰にもアサインされていないタスクを見つけ、&lt;/li&gt;
&lt;li&gt;その Issue のコメントに「このタスクやります」と書く&lt;/li&gt;
&lt;/ol&gt;
&lt;p&gt;これだけです。&lt;/p&gt;
&lt;p&gt;あとは、そのタスクを完了させて pull request を送れば、あなたも cpprefjp のコミッタになれます。&lt;/p&gt;
&lt;h2&gt;編集者向けのさらなる情報&lt;/h2&gt;
&lt;p&gt;本サイトは、GitHubのリポジトリ上で、Markdown形式でリファレンスを記載し、GitHub Pagesに自動反映するという形をとっています。本サイトのMarkdownソースは、以下のリポジトリにあります。&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;https://github.com/cpprefjp/site&#34; target=&#34;_blank&#34;&gt;https://github.com/cpprefjp/site&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;上記リポジトリのREADMEに、コアメンバの一覧を記載してありますので、何かありましたらそのうちの誰か、もしくはリポジトリへのIssueという形でご相談ください。&lt;/p&gt;
&lt;p&gt;本サイトの編集方法については、以下のドキュメントを参照してください。&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;start_editing.html&#34;&gt;cpprefjpを編集するには&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;本サイトのコンテンツを作成、編集するにあたり、仕様を熟知し、一人で完璧に正しい内容を書くことは要求しません。&lt;/p&gt;
&lt;p&gt;たとえ間違ったことを記載した場合や、不安の残る内容を記載した場合でも、それに気づいた誰かが修正してくれます。&lt;/p&gt;
&lt;h2&gt;その他参考情報&lt;/h2&gt;
&lt;p&gt;以下のWebサイトから転載許可をいただいています。&lt;/p&gt;
&lt;p&gt;翻訳や解説などで活用してください：&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;https://web.archive.org/web/20190112041213/http://episteme.wankuma.com/stlprog/index.html&#34; target=&#34;_blank&#34;&gt;Standard Template Library プログラミング on the Web&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;
&lt;h2&gt;スポンサー&lt;/h2&gt;
&lt;p&gt;cpprefjpプロジェクトは、以下の方々にスポンサーになっていただいております。&lt;/p&gt;
&lt;h3&gt;ゴールドスポンサー&lt;/h3&gt;
&lt;p&gt;&lt;div style=&#34;text-align: center&#34;&gt;&lt;a href=&#34;https://www.cocotone.jp&#34; target=&#34;_blank&#34;&gt;&lt;img alt=&#34;cocotone様&#34; src=&#34;static/image/sponsors/cocotone/cocotone.png&#34; title=&#34;cocotone様&#34; width=&#34;560&#34; /&gt;&lt;/a&gt;&lt;/div&gt;
&lt;/p&gt;
&lt;p&gt;&lt;div style=&#34;text-align: center&#34;&gt;&lt;a href=&#34;https://www.cube-soft.jp/&#34; target=&#34;_blank&#34;&gt;&lt;img alt=&#34;CubeSoft様&#34; src=&#34;https://raw.githubusercontent.com/cube-soft/cube.assets/master/home/banner/large.png&#34; title=&#34;CubeSoft様&#34; /&gt;&lt;/a&gt;&lt;/div&gt;
&lt;/p&gt;
&lt;h3&gt;シルバースポンサー&lt;/h3&gt;
&lt;p&gt;&lt;div style=&#34;text-align: center&#34;&gt;&lt;a href=&#34;https://acerola-software.jp/&#34; target=&#34;_blank&#34;&gt;&lt;img alt=&#34;Acerola Software様&#34; src=&#34;static/image/sponsors/Acerola/as_logo.png&#34; title=&#34;Acerola Software様&#34; width=&#34;400&#34; /&gt;&lt;/a&gt;&lt;/div&gt;
&lt;/p&gt;
&lt;p&gt;&lt;div style=&#34;text-align: center&#34;&gt;&lt;a href=&#34;https://www.fixstars.com/&#34; target=&#34;_blank&#34;&gt;&lt;img alt=&#34;Fixstars様&#34; src=&#34;static/image/sponsors/Fixstars/fixstars-logo.png&#34; title=&#34;Fixstars様&#34; width=&#34;400&#34; /&gt;&lt;/a&gt;&lt;/div&gt;
&lt;/p&gt;
&lt;p&gt;&lt;div style=&#34;text-align: center&#34;&gt;&lt;a href=&#34;https://www.pegasys-inc.com/&#34; target=&#34;_blank&#34;&gt;&lt;img alt=&#34;pegasys様&#34; src=&#34;https://tmpgenc.pegasys-inc.com/images/pegasys_logo.png&#34; title=&#34;pegasys様&#34; width=&#34;320&#34; /&gt;&lt;/a&gt;&lt;/div&gt;
&lt;/p&gt;
&lt;p&gt;&lt;div style=&#34;text-align: center&#34;&gt;&lt;a href=&#34;https://vaporoid.com/sys/&#34; target=&#34;_blank&#34;&gt;&lt;img alt=&#34;vaporoid様&#34; src=&#34;static/image/sponsors/vaporoid/cpprefjp-400x150.png&#34; title=&#34;vaporoid様&#34; width=&#34;400&#34; /&gt;&lt;/a&gt;&lt;/div&gt;
&lt;/p&gt;
&lt;p&gt;&lt;div style=&#34;text-align: center&#34;&gt;&lt;a href=&#34;https://mkohana.github.io/&#34; target=&#34;_blank&#34;&gt;&lt;img alt=&#34;M.Kohana様&#34; src=&#34;static/image/sponsors/m_kohana/m_kohana.jpg&#34; title=&#34;M.Kohana様&#34; width=&#34;320&#34; /&gt;&lt;/a&gt;&lt;/div&gt;
&lt;/p&gt;
&lt;p&gt;&lt;div style=&#34;text-align: center&#34;&gt;&lt;a href=&#34;https://www.techarts.co.jp/&#34; target=&#34;_blank&#34;&gt;&lt;img alt=&#34;有限会社テクニカルアーツ様&#34; src=&#34;static/image/sponsors/technical_arts/TechnicalArtsLogo3.png&#34; title=&#34;有限会社テクニカルアーツ様&#34; width=&#34;400&#34; /&gt;&lt;/a&gt;&lt;/div&gt;
&lt;/p&gt;
&lt;p&gt;&lt;ul&gt;&lt;li&gt;T.Kishu様&lt;/li&gt;&lt;/ul&gt;
&lt;/p&gt;
&lt;h3&gt;ブロンズスポンサー&lt;/h3&gt;
&lt;p&gt;&lt;div style=&#34;text-align: center&#34;&gt;&lt;img alt=&#34;Azaika様&#34; src=&#34;static/image/sponsors/Azaika/Azaika.jpg&#34; title=&#34;Azaika様&#34; width=&#34;256&#34; /&gt;&lt;/div&gt;
&lt;/p&gt;
&lt;p&gt;&lt;ul&gt;&lt;li&gt;イシハラユウヤ様&lt;/li&gt;&lt;/ul&gt;
&lt;/p&gt;
&lt;p&gt;&lt;ul&gt;&lt;li&gt;&lt;a href=&#34;https://opencollective.com/meg_nakagami&#34; target=&#34;_blank&#34;&gt;Megumi Nakagami様&lt;/a&gt;&lt;/li&gt;&lt;/ul&gt;
&lt;/p&gt;
&lt;p&gt;&lt;div style=&#34;text-align: center&#34;&gt;&lt;a href=&#34;https://github.com/minachun/minachun&#34; target=&#34;_blank&#34;&gt;&lt;img alt=&#34;minachun / J.Minami様&#34; src=&#34;https://raw.githubusercontent.com/minachun/minachun/main/banner.png&#34; title=&#34;minachun / J.Minami様&#34; /&gt;&lt;/a&gt;&lt;/div&gt;
&lt;/p&gt;
&lt;p&gt;&lt;div style=&#34;text-align: center&#34;&gt;&lt;a href=&#34;https://gravatar.com/overthestardust&#34; target=&#34;_blank&#34;&gt;&lt;img alt=&#34;星くず彼方に様&#34; src=&#34;static/image/sponsors/overthestardust/overthestardust.png&#34; title=&#34;星くず彼方に様&#34; width=&#34;256&#34; /&gt;&lt;/a&gt;&lt;/div&gt;
&lt;/p&gt;
&lt;p&gt;&lt;div style=&#34;text-align: center&#34;&gt;&lt;a href=&#34;https://github.com/zonuexe&#34; target=&#34;_blank&#34;&gt;&lt;img alt=&#34;USAMI Kenta様&#34; src=&#34;https://gravatar.com/userimage/33138763/7af48baae61cde116bd8d28a5158946e.jpeg?size=256&#34; title=&#34;USAMI Kenta様&#34; width=&#34;256&#34; /&gt;&lt;/a&gt;&lt;/div&gt;
&lt;/p&gt;
&lt;p&gt;&lt;div style=&#34;text-align: center&#34;&gt;&lt;a href=&#34;https://github.com/soramimi&#34; target=&#34;_blank&#34;&gt;&lt;img alt=&#34;soramimi様&#34; src=&#34;https://www.soramimi.jp/avater.jpg&#34; title=&#34;soramimi様&#34; width=&#34;256&#34; /&gt;&lt;/a&gt;&lt;/div&gt;
&lt;/p&gt;
&lt;p&gt;&lt;ul&gt;&lt;li&gt;Agate Pris様&lt;/li&gt;&lt;/ul&gt;
&lt;/p&gt;
&lt;p&gt;&lt;ul&gt;&lt;li&gt;tomoteru様&lt;/li&gt;&lt;/ul&gt;
&lt;/p&gt;
&lt;p&gt;&lt;div style=&#34;text-align: center&#34;&gt;&lt;a href=&#34;https://profile.bocchi-master.net/&#34; target=&#34;_blank&#34;&gt;&lt;img alt=&#34;ぼっちマスター様&#34; src=&#34;static/image/sponsors/bocchi-master/my-icon.png&#34; title=&#34;ぼっちマスター様&#34; width=&#34;320&#34; /&gt;&lt;/a&gt;&lt;/div&gt;
&lt;/p&gt;
&lt;p&gt;&lt;ul&gt;&lt;li&gt;甲斐智丈様&lt;/li&gt;&lt;/ul&gt;
&lt;/p&gt;
&lt;p&gt;&lt;ul&gt;&lt;li&gt;shinichi hamada様&lt;/li&gt;&lt;/ul&gt;
&lt;/p&gt;
&lt;p&gt;スポンサーシップについては、以下のページを参照ください。&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;https://opencollective.com/cpprefjp&#34; target=&#34;_blank&#34;&gt;cpprefjp - Open Collective&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;連絡先が不明なスポンサー様は、ロゴの表示が現在できておりません。Open Collectiveの問い合わせフォームから、表示するロゴ画像とリンク先URLについてご連絡いただきたいです。&lt;/p&gt;
&lt;h2&gt;プライバシーポリシー&lt;/h2&gt;
&lt;p&gt;本サイトは、サイトの改善のためにGoogleアナリティクスを使用しています。本サイトをご利用中のブラウザは、Googleに特定の情報を自動的に送信します。本サイトは、この分析のためにCookieを使用します。利用者は、本サイトを利用することで、この目的においてCookieを使用することを許可したものとみなします。&lt;/p&gt;
&lt;p&gt;Googleによるデータ使用の詳細は、以下のURLで確認することができます。&lt;/p&gt;
&lt;p&gt;&lt;a href=&#34;https://www.google.com/intl/ja/policies/privacy/partners/&#34; target=&#34;_blank&#34;&gt;https://www.google.com/intl/ja/policies/privacy/partners/&lt;/a&gt;&lt;/p&gt;
&lt;h2&gt;ライセンスについて&lt;/h2&gt;
&lt;p&gt;本サイトの情報は、&lt;a href=&#34;https://creativecommons.org/licenses/by/4.0/&#34; target=&#34;_blank&#34;&gt;クリエイティブ・コモンズ 表示 4.0 非移植 ライセンス(CC BY)&lt;/a&gt;の下に提供しています。&lt;/p&gt;
&lt;p&gt;&lt;img alt=&#34;&#34; src=&#34;https://i.creativecommons.org/l/by/4.0/88x31.png&#34; /&gt;&lt;/p&gt;
&lt;p&gt;cpprefjpサイトのアイコン・ロゴ画像は、&lt;a href=&#34;https://creativecommons.org/licenses/by-nc-nd/4.0/deed.ja&#34; target=&#34;_blank&#34;&gt;クリエイティブ・コモンズ 表示 - 非営利 - 改変禁止 4.0 国際 (CC BY-NC-ND 4.0)&lt;/a&gt;の下に提供しています。&lt;/p&gt;
&lt;p&gt;高解像度画像データ： &lt;a href=&#34;https://github.com/cpprefjp/image/tree/master/cpprefjp/icon&#34; target=&#34;_blank&#34;&gt;cpprefjp/image&lt;/a&gt;&lt;/p&gt;
&lt;p&gt;&lt;img alt=&#34;&#34; src=&#34;https://licensebuttons.net/l/by-nc-nd/4.0/88x31.png&#34; /&gt;&lt;/p&gt;&lt;/div&gt;</content>
      
      <author>
        <name>Akira Takahashi</name>
        <email>faithandbrave@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>function_ref -- function_ref : GCCで動作確認</title>
      <link href="https://cpprefjp.github.io/reference/functional/function_ref.html"/>
      <id>5a102c9555cae0932faf646f234bb7da6e37ad8a:reference/functional/function_ref.md</id>
      <updated>2026-07-26T14:33:13+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/functional/function_ref.md b/reference/functional/function_ref.md
index 23d5f9636..f77eba736 100644
--- a/reference/functional/function_ref.md
+++ b/reference/functional/function_ref.md
@@ -105,7 +105,7 @@ int main()
 
 ### 処理系
 - [Clang](/implementation.md#clang): ??
-- [GCC](/implementation.md#gcc): ??
+- [GCC](/implementation.md#gcc): 16.1 [mark verified]
 - [ICC](/implementation.md#icc): ??
 - [Visual C++](/implementation.md#visual_cpp): ??
 
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Akira Takahashi</name>
        <email>faithandbrave@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>operator= -- function_ref : GCCで動作確認</title>
      <link href="https://cpprefjp.github.io/reference/functional/function_ref/op_assign.html"/>
      <id>5a102c9555cae0932faf646f234bb7da6e37ad8a:reference/functional/function_ref/op_assign.md</id>
      <updated>2026-07-26T14:33:13+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/functional/function_ref/op_assign.md b/reference/functional/function_ref/op_assign.md
index 17c06522b..284ae5679 100644
--- a/reference/functional/function_ref/op_assign.md
+++ b/reference/functional/function_ref/op_assign.md
@@ -66,7 +66,7 @@ int main()
 
 ### 処理系
 - [Clang](/implementation.md#clang): ??
-- [GCC](/implementation.md#gcc): ??
+- [GCC](/implementation.md#gcc): 16.1 [mark verified]
 - [ICC](/implementation.md#icc): ??
 - [Visual C++](/implementation.md#visual_cpp): ??
 
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Akira Takahashi</name>
        <email>faithandbrave@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>operator() -- function_ref : GCCで動作確認</title>
      <link href="https://cpprefjp.github.io/reference/functional/function_ref/op_call.html"/>
      <id>5a102c9555cae0932faf646f234bb7da6e37ad8a:reference/functional/function_ref/op_call.md</id>
      <updated>2026-07-26T14:33:13+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/functional/function_ref/op_call.md b/reference/functional/function_ref/op_call.md
index 7384477db..e0d500feb 100644
--- a/reference/functional/function_ref/op_call.md
+++ b/reference/functional/function_ref/op_call.md
@@ -60,7 +60,7 @@ int main()
 
 ### 処理系
 - [Clang](/implementation.md#clang): ??
-- [GCC](/implementation.md#gcc): ??
+- [GCC](/implementation.md#gcc): 16.1 [mark verified]
 - [ICC](/implementation.md#icc): ??
 - [Visual C++](/implementation.md#visual_cpp): ??
 
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Akira Takahashi</name>
        <email>faithandbrave@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>コンストラクタ -- function_ref : GCCで動作確認</title>
      <link href="https://cpprefjp.github.io/reference/functional/function_ref/op_constructor.html"/>
      <id>5a102c9555cae0932faf646f234bb7da6e37ad8a:reference/functional/function_ref/op_constructor.md</id>
      <updated>2026-07-26T14:33:13+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/functional/function_ref/op_constructor.md b/reference/functional/function_ref/op_constructor.md
index 1f17f60ea..0e741337a 100644
--- a/reference/functional/function_ref/op_constructor.md
+++ b/reference/functional/function_ref/op_constructor.md
@@ -163,7 +163,7 @@ int main()
 
 ### 処理系
 - [Clang](/implementation.md#clang): ??
-- [GCC](/implementation.md#gcc): ??
+- [GCC](/implementation.md#gcc): 16.1 [mark verified]
 - [ICC](/implementation.md#icc): ??
 - [Visual C++](/implementation.md#visual_cpp): ??
 
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Akira Takahashi</name>
        <email>faithandbrave@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>推論補助 -- function_ref : GCCで動作確認</title>
      <link href="https://cpprefjp.github.io/reference/functional/function_ref/op_deduction_guide.html"/>
      <id>5a102c9555cae0932faf646f234bb7da6e37ad8a:reference/functional/function_ref/op_deduction_guide.md</id>
      <updated>2026-07-26T14:33:13+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/functional/function_ref/op_deduction_guide.md b/reference/functional/function_ref/op_deduction_guide.md
index 8c0e30950..876ad7081 100644
--- a/reference/functional/function_ref/op_deduction_guide.md
+++ b/reference/functional/function_ref/op_deduction_guide.md
@@ -83,7 +83,7 @@ int main()
 
 ### 処理系
 - [Clang](/implementation.md#clang): ??
-- [GCC](/implementation.md#gcc): ??
+- [GCC](/implementation.md#gcc): 16.1 [mark verified]
 - [ICC](/implementation.md#icc): ??
 - [Visual C++](/implementation.md#visual_cpp): ??
 
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Akira Takahashi</name>
        <email>faithandbrave@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>function_ref -- constant_arg_tが残ってしまっていたので削除し、function_refの該当箇所を更新</title>
      <link href="https://cpprefjp.github.io/reference/functional/function_ref.html"/>
      <id>93df68b70d6d4e455ffb5666d1ca0b98b75331f6:reference/functional/function_ref.md</id>
      <updated>2026-07-26T14:33:00+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/functional/function_ref.md b/reference/functional/function_ref.md
index 756c1b93f..23d5f9636 100644
--- a/reference/functional/function_ref.md
+++ b/reference/functional/function_ref.md
@@ -33,7 +33,7 @@ namespace std {
     - ポインタ2個のオブジェクトサイズで実装可能。
 - 構築時に必ず呼び出し対象を指定する必要がある。デフォルト構築不可。
     - `operator bool`を提供しない。
-- メンバ関数・メンバ変数を参照する場合は、[`std::constant_arg`](/reference/utility/constant_arg_t.md)タグを利用する。
+- メンバ関数・メンバ変数を参照する場合は、[`std::constant_wrapper`](/reference/utility/constant_wrapper.md)（変数テンプレート[`std::cw`](/reference/utility/constant_wrapper.md)）を利用する。
     - 対象オブジェクトの束縛タイミングは、構築時または呼び出し時のいずれもサポートする。
 - ダングリング参照を避けるため、左辺値(lvalue)のみを取り扱う。
 
@@ -86,11 +86,11 @@ int main()
 
   // オブジェクト束縛済みメンバ関数を指定
   Calc obj{ 3 };
-  std::cout &amp;lt;&amp;lt; hof({std::constant_arg&amp;lt;&amp;amp;Calc::eval&amp;gt;, obj}) &amp;lt;&amp;lt; std::endl;
+  std::cout &amp;lt;&amp;lt; hof({std::cw&amp;lt;&amp;amp;Calc::eval&amp;gt;, obj}) &amp;lt;&amp;lt; std::endl;
 }
 ```
 * std::function_ref[color ff0000]
-* std::constant_arg[link /reference/utility/constant_arg_t.md]
+* std::cw[link /reference/utility/constant_wrapper.md]
 
 #### 出力
 ```
@@ -119,5 +119,8 @@ int main()
 ## 参照
 - [P0792R14 `function_ref`: a type-erased callable reference](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p0792r14.html)
 - [P3774R1 Rename `std::nontype`, and make it broadly useful](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3774r1.html)
+    - `std::nontype`を`std::constant_arg`に改名した。この設計はのちにP3948R1で置き換えられた
+- [P3948R1 `constant_wrapper` is the only tool needed for passing constant expressions via function arguments](https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3948r1.pdf)
+    - 定数引数の受け渡しに用いるタグを`constant_arg`から`constant_wrapper`（変数テンプレート`std::cw`）へ置き換えた。これによりメンバ関数・メンバ変数の参照や第1引数の束縛は`std::cw`で指定する
 - [P3961R1 Less double indirection in `function_ref` (RU-220)](https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3961r1.html)
     - 別の`function_ref`から構築する際の二重の間接呼び出しを回避するよう、コンストラクタと代入演算子の仕様を変更した
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Akira Takahashi</name>
        <email>faithandbrave@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>operator= -- constant_arg_tが残ってしまっていたので削除し、function_refの該当箇所を更新</title>
      <link href="https://cpprefjp.github.io/reference/functional/function_ref/op_assign.html"/>
      <id>93df68b70d6d4e455ffb5666d1ca0b98b75331f6:reference/functional/function_ref/op_assign.md</id>
      <updated>2026-07-26T14:33:00+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/functional/function_ref/op_assign.md b/reference/functional/function_ref/op_assign.md
index 57250a84e..17c06522b 100644
--- a/reference/functional/function_ref/op_assign.md
+++ b/reference/functional/function_ref/op_assign.md
@@ -20,7 +20,7 @@ template&amp;lt;class T&amp;gt; function_ref&amp;amp; operator=(T) = delete; // (2)
     - `T`が`function_ref`と同一型ではなく、かつ
     - 説明専用の`is-convertible-from-specialization&amp;lt;T&amp;gt;`（[コンストラクタ](op_constructor.md)を参照）が`false`であり、かつ
     - [`is_pointer_v`](/reference/type_traits/is_pointer.md)`&amp;lt;T&amp;gt;`が`false`であり、かつ
-    - `T`が[`constant_arg_t`](/reference/utility/constant_arg_t.md)の特殊化でないこと
+    - `T`が[`constant_wrapper`](/reference/utility/constant_wrapper.md)の特殊化でないこと
 
 
 ## 効果
@@ -74,5 +74,8 @@ int main()
 ## 参照
 - [P0792R14 `function_ref`: a type-erased callable reference](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p0792r14.html)
 - [P3774R1 Rename `std::nontype`, and make it broadly useful](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3774r1.html)
+    - `std::nontype`を`std::constant_arg`に改名した。この設計はのちにP3948R1で置き換えられた
+- [P3948R1 `constant_wrapper` is the only tool needed for passing constant expressions via function arguments](https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3948r1.pdf)
+    - delete宣言される代入演算子(2)の制約で、除外対象を`constant_arg_t`の特殊化から`constant_wrapper`の特殊化へ置き換えた
 - [P3961R1 Less double indirection in `function_ref` (RU-220)](https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3961r1.html)
     - delete宣言される代入演算子(2)の制約に、説明専用の`is-convertible-from-specialization`の条件を追加した
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Akira Takahashi</name>
        <email>faithandbrave@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>コンストラクタ -- constant_arg_tが残ってしまっていたので削除し、function_refの該当箇所を更新</title>
      <link href="https://cpprefjp.github.io/reference/functional/function_ref/op_constructor.html"/>
      <id>93df68b70d6d4e455ffb5666d1ca0b98b75331f6:reference/functional/function_ref/op_constructor.md</id>
      <updated>2026-07-26T14:33:00+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/functional/function_ref/op_constructor.md b/reference/functional/function_ref/op_constructor.md
index c7ffd3349..1f17f60ea 100644
--- a/reference/functional/function_ref/op_constructor.md
+++ b/reference/functional/function_ref/op_constructor.md
@@ -11,16 +11,16 @@ template&amp;lt;class F&amp;gt; function_ref(F* f) noexcept;  // (1)
 template&amp;lt;class F&amp;gt;
 constexpr function_ref(F&amp;amp;&amp;amp; f) noexcept;  // (2)
 
-template&amp;lt;auto f&amp;gt;
-constexpr function_ref(constant_arg_t&amp;lt;f&amp;gt;) noexcept;  // (3)
-template&amp;lt;auto f, class U&amp;gt;
-constexpr function_ref(constant_arg_t&amp;lt;f&amp;gt;, U&amp;amp;&amp;amp; obj) noexcept;  // (4)
-template&amp;lt;auto f, class T&amp;gt;
-constexpr function_ref(constant_arg_t&amp;lt;f&amp;gt;, /*cv*/ T* obj) noexcept;  // (5)
+template&amp;lt;auto c, class F&amp;gt;
+constexpr function_ref(constant_wrapper&amp;lt;c, F&amp;gt; f) noexcept;  // (3)
+template&amp;lt;auto c, class F, class U&amp;gt;
+constexpr function_ref(constant_wrapper&amp;lt;c, F&amp;gt; f, U&amp;amp;&amp;amp; obj) noexcept;  // (4)
+template&amp;lt;auto c, class F, class T&amp;gt;
+constexpr function_ref(constant_wrapper&amp;lt;c, F&amp;gt; f, /*cv*/ T* obj) noexcept;  // (5)
 
 constexpr function_ref(const function_ref&amp;amp;) noexcept = default;  // (6)
 ```
-* constant_arg_t[link /reference/utility/constant_arg_t.md]
+* constant_wrapper[link /reference/utility/constant_wrapper.md]
 
 ## 概要
 `function_ref`オブジェクトを構築する。
@@ -51,21 +51,21 @@ is_convertible_v&amp;lt;int /*cv*/&amp;amp;, int /*cv2*/&amp;amp;&amp;gt;
     - [`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`&amp;lt;F&amp;gt;`が`function_ref`と同一型ではなく、かつ
     - [`is_member_pointer_v`](/reference/type_traits/is_member_pointer.md)`&amp;lt;T&amp;gt;`が`false`であり、かつ
     - `is-invocable-using&amp;lt;/*cv*/ T&amp;amp;&amp;gt;`が`true`であること
-- (3) : `F`を`decltype(f)`としたとき
-    - `is-invocable-using&amp;lt;F&amp;gt;`が`true`であること
-- (4) : `T`を[`remove_reference_t`](/reference/type_traits/remove_reference.md)`&amp;lt;F&amp;gt;`、`F`を`decltype(f)`としたとき
+- (3) : `is-invocable-using&amp;lt;const F&amp;amp;&amp;gt;`が`true`であること
+- (4) : `T`を[`remove_reference_t`](/reference/type_traits/remove_reference.md)`&amp;lt;U&amp;gt;`としたとき
     - [`is_rvalue_reference_v`](/reference/type_traits/is_rvalue_reference.md)`&amp;lt;U&amp;amp;&amp;amp;&amp;gt;`が`false`であり、かつ
-    - `is-invocable-using&amp;lt;F, /*cv*/ T&amp;amp;&amp;gt;`が`true`であること
-- (5) : `F`を`decltype(f)`としたとき
-    - `is-invocable-using&amp;lt;F, /*cv*/ T*&amp;gt;`が`true`であること
+    - `is-invocable-using&amp;lt;const F&amp;amp;, /*cv*/ T&amp;amp;&amp;gt;`が`true`であること
+- (5) : `is-invocable-using&amp;lt;const F&amp;amp;, /*cv*/ T*&amp;gt;`が`true`であること
 
 
 ## 適格要件
-- (3), (4), (5) : `F`を`decltype(f)`としたとき、[`is_pointer`](/reference/type_traits/is_pointer.md)`&amp;lt;F&amp;gt; ||` [`is_member_pointer`](/reference/type_traits/is_member_pointer.md)`&amp;lt;F&amp;gt;`が`true`ならば、`f`がヌルポインタでないこと。
+- (3), (4), (5) : [`is_pointer_v`](/reference/type_traits/is_pointer.md)`&amp;lt;F&amp;gt; ||` [`is_member_pointer_v`](/reference/type_traits/is_member_pointer.md)`&amp;lt;F&amp;gt;`が`true`ならば、`f.value`がヌルポインタでないこと。
+- (3) : `ArgTypes`が空のパックではなく、`remove_cvref_t&amp;lt;ArgTypes&amp;gt;...`のすべての型が定数として扱える（[`constant_wrapper`](/reference/utility/constant_wrapper.md)の説明用コンセプト`constexpr-param`のモデルである）場合、`constant_wrapper&amp;lt;/*INVOKE*/(f.value, remove_cvref_t&amp;lt;ArgTypes&amp;gt;::value...)&amp;gt;`が妥当な型ではないこと。
 
 
 ## 事前条件
 - (1) : `f`がヌルポインタでないこと。
+- (5) : [`is_member_pointer_v`](/reference/type_traits/is_member_pointer.md)`&amp;lt;F&amp;gt;`が`true`のとき、`obj`がヌルポインタでないこと。
 
 
 ## 効果
@@ -77,11 +77,11 @@ is_convertible_v&amp;lt;int /*cv*/&amp;amp;, int /*cv2*/&amp;amp;&amp;gt;
     - [関数呼び出し`thunk(bound-entity, call-args...)`](op_call.md)は[`invoke_r`](/reference/functional/invoke_r.md)`&amp;lt;R&amp;gt;(static_cast&amp;lt;/*cv*/ T&amp;amp;&amp;gt;(f), call-args...)`と等価。
     - `is-convertible-from-specialization&amp;lt;`[`remove_cv_t`](/reference/type_traits/remove_cv.md)`&amp;lt;T&amp;gt;&amp;gt;`が`true`の場合（`f`が互換するシグニチャ・CV修飾をもつ`function_ref`の特殊化であるとき）、`bound-entity`を`f`の`bound-entity`の値で、`thunk-ptr`を`f`の`thunk-ptr`の値で初期化する。これにより、`function_ref`から別の`function_ref`を構築する際に、本来不要な二重の間接呼び出しが回避される。
 - (3) : `bound-entity`を未規定オブジェクトへのポインタまたはヌルポインタで、`thunk-ptr`を説明専用の関数`thunk`へのアドレスで初期化する。
-    - [関数呼び出し`thunk(bound-entity, call-args...)`](op_call.md)は[`invoke_r`](/reference/functional/invoke_r.md)`&amp;lt;R&amp;gt;(f, call-args...)`と等価。
+    - [関数呼び出し`thunk(bound-entity, call-args...)`](op_call.md)は[`invoke_r`](/reference/functional/invoke_r.md)`&amp;lt;R&amp;gt;(f.value, call-args...)`と等価。
 - (4) : `bound-entity`を[`addressof`](/reference/memory/addressof.md)`(obj)`で、`thunk-ptr`を説明専用の関数`thunk`へのアドレスで初期化する。
-    - [関数呼び出し`thunk(bound-entity, call-args...)`](op_call.md)は[`invoke_r`](/reference/functional/invoke_r.md)`&amp;lt;R&amp;gt;(f, static_cast&amp;lt;/*cv*/ T&amp;amp;&amp;gt;(obj), call-args...)`と等価。
+    - [関数呼び出し`thunk(bound-entity, call-args...)`](op_call.md)は[`invoke_r`](/reference/functional/invoke_r.md)`&amp;lt;R&amp;gt;(f.value, static_cast&amp;lt;/*cv*/ T&amp;amp;&amp;gt;(obj), call-args...)`と等価。
 - (5) : `bound-entity`を`obj`で、`thunk-ptr`を説明専用の関数`thunk`へのアドレスで初期化する。
-    - [関数呼び出し`thunk(bound-entity, call-args...)`](op_call.md)は[`invoke_r`](/reference/functional/invoke_r.md)`&amp;lt;R&amp;gt;(f, obj, call-args...)`と等価。
+    - [関数呼び出し`thunk(bound-entity, call-args...)`](op_call.md)は[`invoke_r`](/reference/functional/invoke_r.md)`&amp;lt;R&amp;gt;(f.value, obj, call-args...)`と等価。
 - (6) : コピーコンストラクタ。
 
 
@@ -124,16 +124,16 @@ int main()
   }
   // (3) メンバ関数
   {
-    std::function_ref&amp;lt;int(X&amp;amp;, int)&amp;gt; f3 = std::constant_arg&amp;lt;&amp;amp;X::ident&amp;gt;;
+    std::function_ref&amp;lt;int(X&amp;amp;, int)&amp;gt; f3 = std::cw&amp;lt;&amp;amp;X::ident_func&amp;gt;;
     X obj;
     std::cout &amp;lt;&amp;lt; &amp;#34;(3) : &amp;#34; &amp;lt;&amp;lt; f3(obj, 3) &amp;lt;&amp;lt; std::endl;
   }
   // (4), (5) メンバ関数＋オブジェクト束縛
   {
     X obj;
-    std::function_ref&amp;lt;int(int)&amp;gt; f4{std::constant_arg&amp;lt;&amp;amp;X::ident&amp;gt;, obj};
+    std::function_ref&amp;lt;int(int)&amp;gt; f4{std::cw&amp;lt;&amp;amp;X::ident_func&amp;gt;, obj};
     std::cout &amp;lt;&amp;lt; &amp;#34;(4) : &amp;#34; &amp;lt;&amp;lt; f4(4) &amp;lt;&amp;lt; std::endl;
-    std::function_ref&amp;lt;int(int)&amp;gt; f5{std::constant_arg&amp;lt;&amp;amp;X::ident&amp;gt;, &amp;amp;obj};
+    std::function_ref&amp;lt;int(int)&amp;gt; f5{std::cw&amp;lt;&amp;amp;X::ident_func&amp;gt;, &amp;amp;obj};
     std::cout &amp;lt;&amp;lt; &amp;#34;(5) : &amp;#34; &amp;lt;&amp;lt; f5(5) &amp;lt;&amp;lt; std::endl;
   }
   // (6) コピーコンストラクタ
@@ -144,7 +144,7 @@ int main()
   }
 }
 ```
-* std::constant_arg[link /reference/utility/constant_arg_t.md]
+* std::cw[link /reference/utility/constant_wrapper.md]
 
 ### 出力
 ```
@@ -171,5 +171,10 @@ int main()
 ## 参照
 - [P0792R14 `function_ref`: a type-erased callable reference](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p0792r14.html)
 - [P3774R1 Rename `std::nontype`, and make it broadly useful](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3774r1.html)
+    - `std::nontype`を`std::constant_arg`に改名した。この設計はのちにP3948R1で置き換えられた
+- [P3948R1 `constant_wrapper` is the only tool needed for passing constant expressions via function arguments](https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3948r1.pdf)
+    - (3), (4), (5)のコンストラクタが受け取るタグを`constant_arg_t`から`constant_wrapper`（変数テンプレート`std::cw`）へ置き換えた
 - [P3961R1 Less double indirection in `function_ref` (RU-220)](https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3961r1.html)
     - 別の`function_ref`から構築する際の二重の間接呼び出しを回避するため、説明専用の`is-convertible-from-specialization`を追加し、(2)のコンストラクタの効果を変更した
+- [LWG Issue 4256 Incorrect constraints for `function_ref` constructors from `nontype_t`](https://cplusplus.github.io/LWG/issue4256)
+    - (3), (4), (5)のコンストラクタの制約が修正された
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Akira Takahashi</name>
        <email>faithandbrave@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>推論補助 -- constant_arg_tが残ってしまっていたので削除し、function_refの該当箇所を更新</title>
      <link href="https://cpprefjp.github.io/reference/functional/function_ref/op_deduction_guide.html"/>
      <id>93df68b70d6d4e455ffb5666d1ca0b98b75331f6:reference/functional/function_ref/op_deduction_guide.md</id>
      <updated>2026-07-26T14:33:00+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/functional/function_ref/op_deduction_guide.md b/reference/functional/function_ref/op_deduction_guide.md
index 605b74826..8c0e30950 100644
--- a/reference/functional/function_ref/op_deduction_guide.md
+++ b/reference/functional/function_ref/op_deduction_guide.md
@@ -9,14 +9,14 @@ namespace std {
   template&amp;lt;class F&amp;gt;
   function_ref(F*) -&amp;gt; function_ref&amp;lt;F&amp;gt;; // (1)
 
-  template&amp;lt;auto f&amp;gt;
-  function_ref(constant_arg_t&amp;lt;f&amp;gt;) -&amp;gt; function_ref&amp;lt;see below&amp;gt;; // (2)
+  template&amp;lt;auto c, class F0&amp;gt;
+  function_ref(constant_wrapper&amp;lt;c, F0&amp;gt;) -&amp;gt; function_ref&amp;lt;see below&amp;gt;; // (2)
 
-  template&amp;lt;auto f, class T&amp;gt;
-  function_ref(constant_arg_t&amp;lt;f&amp;gt;, T&amp;amp;&amp;amp;) -&amp;gt; function_ref&amp;lt;see below&amp;gt;; // (3)
+  template&amp;lt;auto c, class F, class T&amp;gt;
+  function_ref(constant_wrapper&amp;lt;c, F&amp;gt;, T&amp;amp;&amp;amp;) -&amp;gt; function_ref&amp;lt;see below&amp;gt;; // (3)
 }
 ```
-* constant_arg_t[link /reference/utility/constant_arg_t.md]
+* constant_wrapper[link /reference/utility/constant_wrapper.md]
 
 
 ## 概要
@@ -25,17 +25,17 @@ namespace std {
 
 ## テンプレートパラメータ制約
 - (1) : [`is_function`](/reference/type_traits/is_function.md)`&amp;lt;F&amp;gt;`が`true`であること。
-- (2) : `F`を[`remove_pointer_t`](/reference/type_traits/remove_pointer.md)`&amp;lt;decltype(f)&amp;gt;`としたとき、[`is_function`](/reference/type_traits/is_function.md)`&amp;lt;F&amp;gt;`が`true`であること。
-- (3) : `F`を`decltype(f)`としたとき
+- (2) : `F`を[`remove_pointer_t`](/reference/type_traits/remove_pointer.md)`&amp;lt;F0&amp;gt;`としたとき、[`is_function`](/reference/type_traits/is_function.md)`&amp;lt;F&amp;gt;`が`true`であること。
+- (3) : 次のいずれかであること
     - 型`G`に対して`F`が`R(G::*)(A...) /*cv*/ &amp;amp; noexcept(E)`の形式（参照修飾子`&amp;amp;`は省略可、`E`は`bool`値）、または
     - 型`G`とオブジェクト型`M`に対して`F`が`M G::*`の形式、または
     - 型`G`に対して`F`が`R(*)(G, A...) noexcept(E)`の形式（`E`は`bool`値）であること
 
 
 ## 備考
-- (2) : `F`を[`remove_pointer_t`](/reference/type_traits/remove_pointer.md)`&amp;lt;decltype(f)&amp;gt;`としたとき、型`function_ref&amp;lt;F&amp;gt;`に推論される。
+- (2) : `F`を[`remove_pointer_t`](/reference/type_traits/remove_pointer.md)`&amp;lt;F0&amp;gt;`としたとき、型`function_ref&amp;lt;F&amp;gt;`に推論される。
 - (3) : 型`function_ref&amp;lt;R(A...) noexcept(E)&amp;gt;`に推論される。
-    - `F`が`M G::*`の形式のとき、`R`は[`invoke_result_t`](/reference/type_traits/invoke_result.md)`&amp;lt;F, T&amp;amp;&amp;gt;`、`A...`は空のパック、`E`は`false`とする。
+    - `F`が`M G::*`の形式のとき、`R`は[`invoke_result_t`](/reference/type_traits/invoke_result.md)`&amp;lt;F, T&amp;amp;&amp;gt;`、`A...`は空のパック、`E`は`true`とする。
     - それ以外の形式のときは、テンプレートパラメータ制約の説明を参照。
 
 
@@ -58,19 +58,19 @@ int main()
   std::function_ref f1{&amp;amp;ident};
 
   // (2) 関数ポインタ/NTTP
-  std::function_ref f2{std::constant_arg&amp;lt;&amp;amp;ident&amp;gt;};
+  std::function_ref f2{std::cw&amp;lt;&amp;amp;ident&amp;gt;};
 
   // (3a) メンバ関数＋オブジェクト束縛
   X obj{42};
-  std::function_ref f3a{std::constant_arg&amp;lt;&amp;amp;X::mf&amp;gt;, obj};
+  std::function_ref f3a{std::cw&amp;lt;&amp;amp;X::mf&amp;gt;, obj};
   // (3b) メンバ変数＋オブジェクト束縛
-  std::function_ref f3b{std::constant_arg&amp;lt;&amp;amp;X::data&amp;gt;, obj};
+  std::function_ref f3b{std::cw&amp;lt;&amp;amp;X::data&amp;gt;, obj};
   // (3c) 関数ポインタ＋第1引数束縛
-  std::function_ref f3c{std::constant_arg&amp;lt;&amp;amp;fun&amp;gt;, obj};
+  std::function_ref f3c{std::cw&amp;lt;&amp;amp;fun&amp;gt;, obj};
 }
 ```
 * std::function_ref[color ff0000]
-* std::constant_arg[link /reference/utility/constant_arg_t.md]
+* std::cw[link /reference/utility/constant_wrapper.md]
 
 ### 出力
 ```
@@ -91,3 +91,8 @@ int main()
 ## 参照
 - [P0792R14 `function_ref`: a type-erased callable reference](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p0792r14.html)
 - [P3774R1 Rename `std::nontype`, and make it broadly useful](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3774r1.html)
+    - `std::nontype`を`std::constant_arg`に改名した。この設計はのちにP3948R1で置き換えられた
+- [P3948R1 `constant_wrapper` is the only tool needed for passing constant expressions via function arguments](https://open-std.org/jtc1/sc22/wg21/docs/papers/2026/p3948r1.pdf)
+    - (2), (3)の推論補助が受け取るタグを`constant_arg_t`から`constant_wrapper`（変数テンプレート`std::cw`）へ置き換えた
+- [LWG Issue 4425 CTAD `function_ref` of data member pointer should produce noexcept signature](https://cplusplus.github.io/LWG/issue4425)
+    - (3)でメンバ変数ポインタを渡した場合の推論結果が`noexcept`シグニチャ（`E`が`true`）になるよう修正された
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Akira Takahashi</name>
        <email>faithandbrave@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>utility -- constant_arg_tが残ってしまっていたので削除し、function_refの該当箇所を更新</title>
      <link href="https://cpprefjp.github.io/reference/utility.html"/>
      <id>93df68b70d6d4e455ffb5666d1ca0b98b75331f6:reference/utility.md</id>
      <updated>2026-07-26T14:33:00+09:00</updated>
      
        <content type="html">&lt;div class=&#34;header&#34;&gt;&amp;lt;utility&amp;gt;&lt;/div&gt;&lt;h1 itemprop=&#34;name&#34;&gt;&lt;span class=&#34;token&#34;&gt;utility&lt;/span&gt;&lt;/h1&gt;
&lt;div itemprop=&#34;articleBody&#34;&gt;&lt;p&gt;&lt;code&gt;&amp;lt;utility&amp;gt;&lt;/code&gt;ヘッダでは、その他のライブラリの至る所で使用される、幾つかの基本的な関数やクラステンプレートを定義する。&lt;/p&gt;
&lt;p&gt;このヘッダでは、以下の標準ヘッダをインクルードする：&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;&lt;code&gt;&lt;a href=&#34;initializer_list.html&#34;&gt;&amp;lt;initializer_list&amp;gt;&lt;/a&gt;&lt;/code&gt; (C++11)&lt;/li&gt;
&lt;li&gt;&lt;code&gt;&lt;a href=&#34;compare.html&#34;&gt;&amp;lt;compare&amp;gt;&lt;/a&gt;&lt;/code&gt; (C++20)&lt;/li&gt;
&lt;/ul&gt;
&lt;h2&gt;演算子定義&lt;/h2&gt;
&lt;table border=&#34;1&#34; bordercolor=&#34;#888&#34; style=&#34;border-collapse:collapse&#34;&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th&gt;名前&lt;/th&gt;
&lt;th&gt;説明&lt;/th&gt;
&lt;th&gt;対応バージョン&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/rel_ops.html&#34;&gt;rel_ops&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;関係演算子(namespace)&lt;/td&gt;
&lt;td&gt;C++20から非推奨&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;h2&gt;値の入れ替え&lt;/h2&gt;
&lt;table border=&#34;1&#34; bordercolor=&#34;#888&#34; style=&#34;border-collapse:collapse&#34;&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th&gt;名前&lt;/th&gt;
&lt;th&gt;説明&lt;/th&gt;
&lt;th&gt;対応バージョン&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/swap.html&#34;&gt;swap&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;二つのオブジェクトの値を交換する(function template)&lt;/td&gt;
&lt;td&gt;C++11&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/exchange.html&#34;&gt;exchange&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;値を書き換え、書き換え前の値を返す(function template)&lt;/td&gt;
&lt;td&gt;C++14&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;h2&gt;転送と移動&lt;/h2&gt;
&lt;table border=&#34;1&#34; bordercolor=&#34;#888&#34; style=&#34;border-collapse:collapse&#34;&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th&gt;名前&lt;/th&gt;
&lt;th&gt;説明&lt;/th&gt;
&lt;th&gt;対応バージョン&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/forward.html&#34;&gt;forward&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;関数テンプレートの引数を転送する(function template)&lt;/td&gt;
&lt;td&gt;C++11&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/forward_like.html&#34;&gt;forward_like&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;第一テンプレート引数の&lt;code&gt;const&lt;/code&gt;性と参照修飾で引数を転送する(function template)&lt;/td&gt;
&lt;td&gt;C++23&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/move.html&#34;&gt;move&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;左辺値を右辺値にキャストする(function template)&lt;/td&gt;
&lt;td&gt;C++11&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/move_if_noexcept.html&#34;&gt;move_if_noexcept&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;例外を投げないオブジェクトをムーブする(function template)&lt;/td&gt;
&lt;td&gt;C++11&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;h2&gt;型の修飾&lt;/h2&gt;
&lt;table border=&#34;1&#34; bordercolor=&#34;#888&#34; style=&#34;border-collapse:collapse&#34;&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th&gt;名前&lt;/th&gt;
&lt;th&gt;説明&lt;/th&gt;
&lt;th&gt;対応バージョン&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/as_const.html&#34;&gt;as_const&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;左辺値参照を&lt;code&gt;const&lt;/code&gt;左辺値参照にする (function template)&lt;/td&gt;
&lt;td&gt;C++17&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;h2&gt;型の値&lt;/h2&gt;
&lt;table border=&#34;1&#34; bordercolor=&#34;#888&#34; style=&#34;border-collapse:collapse&#34;&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th&gt;名前&lt;/th&gt;
&lt;th&gt;説明&lt;/th&gt;
&lt;th&gt;対応バージョン&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/declval.html&#34;&gt;declval&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;指定された型の値を得る(function template)&lt;/td&gt;
&lt;td&gt;C++11&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;h2&gt;整数比較&lt;/h2&gt;
&lt;table border=&#34;1&#34; bordercolor=&#34;#888&#34; style=&#34;border-collapse:collapse&#34;&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th&gt;名前&lt;/th&gt;
&lt;th&gt;説明&lt;/th&gt;
&lt;th&gt;対応バージョン&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/cmp_equal.html&#34;&gt;cmp_equal&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;等値比較 (function template)&lt;/td&gt;
&lt;td&gt;C++20&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/cmp_not_equal.html&#34;&gt;cmp_not_equal&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;非等値比較 (function template)&lt;/td&gt;
&lt;td&gt;C++20&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/cmp_less.html&#34;&gt;cmp_less&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;左辺が右辺より小さいかを比較 (function template)&lt;/td&gt;
&lt;td&gt;C++20&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/cmp_less_equal.html&#34;&gt;cmp_less_equal&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;左辺が右辺以下かを比較 (function template)&lt;/td&gt;
&lt;td&gt;C++20&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/cmp_greater.html&#34;&gt;cmp_greater&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;左辺が右辺より大きいかを比較 (function template)&lt;/td&gt;
&lt;td&gt;C++20&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/cmp_greater_equal.html&#34;&gt;cmp_greater_equal&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;左辺が右辺以上かを比較 (function template)&lt;/td&gt;
&lt;td&gt;C++20&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/in_range.html&#34;&gt;in_range&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;値が型のとりうる範囲内か判定する (function template)&lt;/td&gt;
&lt;td&gt;C++20&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;h2&gt;列挙型&lt;/h2&gt;
&lt;table border=&#34;1&#34; bordercolor=&#34;#888&#34; style=&#34;border-collapse:collapse&#34;&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th&gt;名前&lt;/th&gt;
&lt;th&gt;説明&lt;/th&gt;
&lt;th&gt;対応バージョン&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/to_underlying.html&#34;&gt;to_underlying&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;列挙値を基底型に変換する (function template)&lt;/td&gt;
&lt;td&gt;C++23&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;h2&gt;未定義動作&lt;/h2&gt;
&lt;table border=&#34;1&#34; bordercolor=&#34;#888&#34; style=&#34;border-collapse:collapse&#34;&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th&gt;名前&lt;/th&gt;
&lt;th&gt;説明&lt;/th&gt;
&lt;th&gt;対応バージョン&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/unreachable.html&#34;&gt;unreachable&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;コードパス不到達を表明する (function)&lt;/td&gt;
&lt;td&gt;C++23&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/observable_checkpoint.html&#34;&gt;observable_checkpoint&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;観測可能チェックポイントを設置する (function)&lt;/td&gt;
&lt;td&gt;C++26&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;h2&gt;組&lt;/h2&gt;
&lt;table border=&#34;1&#34; bordercolor=&#34;#888&#34; style=&#34;border-collapse:collapse&#34;&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th&gt;名前&lt;/th&gt;
&lt;th&gt;説明&lt;/th&gt;
&lt;th&gt;対応バージョン&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/pair.html&#34;&gt;pair&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;異なる型の二つの値の組(class template)&lt;/td&gt;
&lt;td&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/make_pair.html&#34;&gt;make_pair&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;&lt;code&gt;pair&lt;/code&gt;を構築するヘルパ関数(function template)&lt;/td&gt;
&lt;td&gt;&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/piecewise_construct_t.html&#34;&gt;piecewise_construct_t&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;&lt;code&gt;pair&lt;/code&gt;や&lt;code&gt;tuple&lt;/code&gt;の要素型のコンストラクタ引数を直接受け取って構築するためのタグ型(class)&lt;/td&gt;
&lt;td&gt;C++11&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/piecewise_construct_t.html&#34;&gt;piecewise_construct&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;&lt;code&gt;pair&lt;/code&gt;や&lt;code&gt;tuple&lt;/code&gt;の要素型のコンストラクタ引数を直接受け取って構築するためのタグ値(constant variable)&lt;/td&gt;
&lt;td&gt;C++11&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;tuple&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;&lt;code&gt;tuple&lt;/code&gt;型の先行宣言(class template)&lt;/td&gt;
&lt;td&gt;C++11&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;h2&gt;直接構築&lt;/h2&gt;
&lt;table border=&#34;1&#34; bordercolor=&#34;#888&#34; style=&#34;border-collapse:collapse&#34;&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th&gt;名前&lt;/th&gt;
&lt;th&gt;説明&lt;/th&gt;
&lt;th&gt;対応バージョン&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/in_place_t.html&#34;&gt;in_place_t&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;要素型のコンストラクタ引数を直接受け取って構築するためのタグ型 (class)&lt;/td&gt;
&lt;td&gt;C++17&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/in_place_t.html&#34;&gt;in_place&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;要素型のコンストラクタ引数を直接受け取って構築するためのタグ値 (constant variable)&lt;/td&gt;
&lt;td&gt;C++17&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/in_place_type_t.html&#34;&gt;in_place_type_t&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;指定した要素型のコンストラクタ引数を直接受け取って構築するためのタグ型 (class)&lt;/td&gt;
&lt;td&gt;C++17&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/in_place_type_t.html&#34;&gt;in_place_type&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;指定した要素型のコンストラクタ引数を直接受け取って構築するためのタグ値 (constant variable)&lt;/td&gt;
&lt;td&gt;C++17&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/in_place_index_t.html&#34;&gt;in_place_index_t&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;指定位置にある要素型のコンストラクタ引数を直接受け取って構築するためのタグ型 (class)&lt;/td&gt;
&lt;td&gt;C++17&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/in_place_index_t.html&#34;&gt;in_place_index&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;指定位置にある要素型のコンストラクタ引数を直接受け取って構築するためのタグ値 (constant variable)&lt;/td&gt;
&lt;td&gt;C++17&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;h2&gt;定数のラッパー&lt;/h2&gt;
&lt;table border=&#34;1&#34; bordercolor=&#34;#888&#34; style=&#34;border-collapse:collapse&#34;&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th&gt;名前&lt;/th&gt;
&lt;th&gt;説明&lt;/th&gt;
&lt;th&gt;対応バージョン&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/constant_wrapper.html&#34;&gt;constant_wrapper&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;定数を型として包むラッパー (class template)&lt;/td&gt;
&lt;td&gt;C++26&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/constant_wrapper.html&#34;&gt;cw&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;&lt;code&gt;constant_wrapper&lt;/code&gt;を簡潔に生成する変数テンプレート (variable template)&lt;/td&gt;
&lt;td&gt;C++26&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;h2&gt;コンパイル時の整数シーケンス&lt;/h2&gt;
&lt;table border=&#34;1&#34; bordercolor=&#34;#888&#34; style=&#34;border-collapse:collapse&#34;&gt;
&lt;thead&gt;
&lt;tr&gt;
&lt;th&gt;名前&lt;/th&gt;
&lt;th&gt;説明&lt;/th&gt;
&lt;th&gt;対応バージョン&lt;/th&gt;
&lt;/tr&gt;
&lt;/thead&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/integer_sequence.html&#34;&gt;integer_sequence&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;任意の整数型のシーケンス(class template)&lt;/td&gt;
&lt;td&gt;C++14&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/make_integer_sequence.html&#34;&gt;make_integer_sequence&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;要素数を指定して、0から始まる整数シーケンスを生成する(type-alias)&lt;/td&gt;
&lt;td&gt;C++14&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/index_sequence.html&#34;&gt;index_sequence&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;&lt;code&gt;size_t&lt;/code&gt;型の整数シーケンス(type-alias)&lt;/td&gt;
&lt;td&gt;C++14&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/make_index_sequence.html&#34;&gt;make_index_sequence&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;要素数を指定して、0から始まる&lt;code&gt;size_t&lt;/code&gt;型整数シーケンスを生成する(type-alias)&lt;/td&gt;
&lt;td&gt;C++14&lt;/td&gt;
&lt;/tr&gt;
&lt;tr&gt;
&lt;td&gt;&lt;code&gt;&lt;a href=&#34;utility/index_sequence_for.html&#34;&gt;index_sequence_for&lt;/a&gt;&lt;/code&gt;&lt;/td&gt;
&lt;td&gt;型のシーケンスを、0から始まる&lt;code&gt;size_t&lt;/code&gt;型整数シーケンスに変換する(type-alias)&lt;/td&gt;
&lt;td&gt;C++14&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;
&lt;h2&gt;参照&lt;/h2&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href=&#34;http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2051r0.html&#34; target=&#34;_blank&#34;&gt;P2051R0 C++ Standard Library Issues to be moved in Prague&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;&lt;/div&gt;</content>
      
      <author>
        <name>Akira Takahashi</name>
        <email>faithandbrave@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>constant_arg_t.md -- constant_arg_tが残ってしまっていたので削除し、function_refの該当箇所を更新</title>
      <link href="https://cpprefjp.github.io/reference/utility/constant_arg_t.html"/>
      <id>93df68b70d6d4e455ffb5666d1ca0b98b75331f6:reference/utility/constant_arg_t.md</id>
      <updated>2026-07-26T14:33:00+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/utility/constant_arg_t.md b/reference/utility/constant_arg_t.md
deleted file mode 100644
index 56ca51d6c..000000000
--- a/reference/utility/constant_arg_t.md
+++ /dev/null
@@ -1,75 +0,0 @@
-# constant_arg_t
-* utility[meta header]
-* std[meta namespace]
-* class template[meta id-type]
-* cpp26[meta cpp]
-
-```cpp
-namespace std {
-  template &amp;lt;auto V&amp;gt;
-  struct constant_arg_t {
-    explicit constant_arg_t() = default;
-  };
-
-  template &amp;lt;auto V&amp;gt; constexpr constant_arg_t&amp;lt;V&amp;gt; constant_arg{};
-}
-```
-
-## 概要
-`constant_arg_t`クラスは、オーバーロードのための空クラスである。
-
-標準ライブラリの特定機能において、定数引数をテンプレートパラメータとして受け取って構築するための関数オーバーロードを定義するためにある。
-
-
-## 備考
-デフォルトコンストラクタに`explicit`が付いているのは、`constant_arg_t&amp;lt;F&amp;gt; x = {};`のように`=`付きの波カッコ初期化を禁止するためである。ユーザーは通常、`constant_arg_t`型の変数テンプレートとして事前定義されている`constant_arg`を使用すればよいので、問題にはならない。
-
-
-## 例
-```cpp example
-#include &amp;lt;functional&amp;gt;
-#include &amp;lt;print&amp;gt;
-#include &amp;lt;utility&amp;gt;
-
-void call(std::function_ref&amp;lt;void()&amp;gt; fn)
-{
-  fn();
-}
-
-struct Dog {
-  void cry() { std::println(&amp;#34;Bow-wow&amp;#34;); }
-};
-
-int main()
-{
-  Dog dog;
-  call({std::constant_arg&amp;lt;&amp;amp;Dog::cry&amp;gt;, dog});
-}
-```
-* std::constant_arg[color ff0000]
-* std::function_ref[link /reference/functional/function_ref.md]
-
-### 出力
-```
-Bow-wow
-```
-
-
-## バージョン
-### 言語
-- C++26
-
-### 処理系
-- [Clang](/implementation.md#clang): ??
-- [GCC](/implementation.md#gcc): ??
-- [ICC](/implementation.md#icc): ??
-- [Visual C++](/implementation.md#visual_cpp): ??
-
-
-## 関連項目
-- [`function_ref`](/reference/functional/function_ref.md)
-
-
-## 参照
-- [P0792R14 `function_ref`: a type-erased callable reference](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p0792r14.html)
-- [P3774R1 Rename `std::nontype`, and make it broadly useful](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3774r1.html)
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Akira Takahashi</name>
        <email>faithandbrave@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>join_with_view -- join_with_view (C++23) : LWG 4074に対応</title>
      <link href="https://cpprefjp.github.io/reference/ranges/join_with_view.html"/>
      <id>4ba50cac30d96c2f10adf6021e3f78999fc62d33:reference/ranges/join_with_view.md</id>
      <updated>2026-07-26T14:09:36+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/ranges/join_with_view.md b/reference/ranges/join_with_view.md
index 222d0f4e8..5337f1b8a 100644
--- a/reference/ranges/join_with_view.md
+++ b/reference/ranges/join_with_view.md
@@ -9,7 +9,7 @@ namespace std::ranges {
   template&amp;lt;input_range V, forward_range Pattern&amp;gt;
     requires view&amp;lt;V&amp;gt; &amp;amp;&amp;amp; input_range&amp;lt;range_reference_t&amp;lt;V&amp;gt;&amp;gt;
           &amp;amp;&amp;amp; view&amp;lt;Pattern&amp;gt;
-          &amp;amp;&amp;amp; compatible-joinable-ranges&amp;lt;range_reference_t&amp;lt;V&amp;gt;, Pattern&amp;gt;
+          &amp;amp;&amp;amp; concatable&amp;lt;range_reference_t&amp;lt;V&amp;gt;, Pattern&amp;gt;
   class join_with_view : public view_interface&amp;lt;join_with_view&amp;lt;V, Pattern&amp;gt;&amp;gt; { …… }; // (1)
 
   namespace views {
@@ -17,7 +17,7 @@ namespace std::ranges {
   }
 }
 ```
-* compatible-joinable-ranges[italic]
+* concatable[link concat_view.md]
 
 ## 概要
 
@@ -47,16 +47,12 @@ namespace std::ranges {
 
 ## 備考
 
-本説明に用いる説明専用要素を以下のように定義する。
+テンプレートパラメータ制約に用いる説明専用コンセプト`concatable`は、[`concat_view`](concat_view.md)で定義されるものと同一である。
+
+そのほか、本説明に用いる説明専用要素を以下のように定義する。
 
 ```cpp
 namespace std::ranges {
-  template&amp;lt;class R, class P&amp;gt;
-  concept compatible-joinable-ranges =            // 説明専用
-      common_with&amp;lt;range_value_t&amp;lt;R&amp;gt;, range_value_t&amp;lt;P&amp;gt;&amp;gt; &amp;amp;&amp;amp;
-      common_reference_with&amp;lt;range_reference_t&amp;lt;R&amp;gt;, range_reference_t&amp;lt;P&amp;gt;&amp;gt; &amp;amp;&amp;amp;
-      common_reference_with&amp;lt;range_reference_t&amp;lt;R&amp;gt;, range_rvalue_reference_t&amp;lt;P&amp;gt;&amp;gt;;
-
   template&amp;lt;class R&amp;gt;
   concept bidirectional-common = bidirectional_range&amp;lt;R&amp;gt; &amp;amp;&amp;amp; common_range&amp;lt;R&amp;gt;;    // 説明専用
 }
@@ -162,3 +158,5 @@ hello-C++23-world
 
 ## 参照
 - [N4950 26 Ranges library](https://timsong-cpp.github.io/cppwp/n4950/ranges)
+- [LWG Issue 4074 *compatible-joinable-ranges* is underconstrained](https://cplusplus.github.io/LWG/issue4074)
+    - テンプレートパラメータ制約が`concatable`コンセプトに変更され、[`input_range`](input_range.md)のモデルとならない`join_with_view`が構築されうる問題が修正された。この修正はC++26で導入されたが、欠陥報告 (DR) であるためコンパイラは早期に対応している場合がある
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>Akira Takahashi</name>
        <email>faithandbrave@gmail.com</email>
      </author>
    </entry>
  
    <entry>
      <title>エスケープシーケンスの区切り [P2290R3] -- fix unicode</title>
      <link href="https://cpprefjp.github.io/lang/cpp23/delimited_escape_sequences.html"/>
      <id>e68bf10bcf52f881748ad2f9bbc0238bab1a2e53:lang/cpp23/delimited_escape_sequences.md</id>
      <updated>2026-07-23T19:19:44+09:00</updated>
      
        <summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/lang/cpp23/delimited_escape_sequences.md b/lang/cpp23/delimited_escape_sequences.md
index 1f0abfac5..6d2fc8d34 100644
--- a/lang/cpp23/delimited_escape_sequences.md
+++ b/lang/cpp23/delimited_escape_sequences.md
@@ -24,7 +24,7 @@ C++23では、文字列リテラル中に記述するエスケープシーケン
 &amp;#34;\x{ab}c&amp;#34;;  // C++23 : 2文字を表す
 
 // ユニバーサルキャラクタ名
-u8&amp;#34;\u0001F1F8&amp;#34;; // 4文字か8文字のみ指定できる制限があるので先頭0埋めする
+u8&amp;#34;\U0001F1F8&amp;#34;; // 4文字か8文字のみ指定できる制限があるので先頭0埋めする
 u8&amp;#34;\u{1F1F8}&amp;#34;;  // C++23 : 5文字のコードポイントも記述できる
 ```
 
&lt;/code&gt;&lt;/pre&gt;</summary>
      
      <author>
        <name>rotarymars</name>
        <email>s.goto2050@gmail.com</email>
      </author>
    </entry>
  
</feed>