<?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-08-18T02:31:38.526993</updated>

<id>d9fabc2a-2bd7-41b5-9c2b-041cea1c27d7</id>

<entry>

<title>INVOKE -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/concepts/Invoke.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/concepts/Invoke.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<content type="html">&lt;div class=&#34;identifier-type&#34;&gt;named requirement&lt;/div&gt;&lt;div class=&#34;header&#34;&gt;&amp;lt;concepts&amp;gt;&lt;/div&gt;&lt;h1 itemprop=&#34;name&#34;&gt;&lt;span class=&#34;namespace&#34; title=&#34;namespace &#34;&gt;::&lt;/span&gt;&lt;span class=&#34;token&#34;&gt;INVOKE&lt;/span&gt;&lt;span class=&#34;cpp cpp11&#34; title=&#34;C++11で追加&#34;&gt;(C++11)&lt;/span&gt;&lt;/h1&gt;

&lt;div itemprop=&#34;articleBody&#34;&gt;&lt;p&gt;C++における関数呼び出しという性質を抽象化しまとめた、仮想操作 &lt;em&gt;INVOKE&lt;/em&gt; を定義する。&lt;/p&gt;

&lt;ul&gt;

&lt;li&gt;C++17からは、仮想操作 &lt;em&gt;INVOKE&lt;/em&gt; を実体化した&lt;code&gt;&lt;a href=&#34;../functional/invoke.html&#34;&gt;std::invoke&lt;/a&gt;&lt;/code&gt;関数テンプレートが提供される。&lt;/li&gt;

&lt;li&gt;C++23からは、仮想操作 &lt;em&gt;INVOKE&lt;/em&gt;&lt;code&gt;&amp;lt;R&amp;gt;&lt;/code&gt; を実体化した&lt;code&gt;&lt;a href=&#34;../functional/invoke_r.html&#34;&gt;std::invoke_r&lt;/a&gt;&lt;/code&gt;関数テンプレートが提供される。&lt;/li&gt;

&lt;/ul&gt;

&lt;h2&gt;用語定義&lt;/h2&gt;

&lt;ul&gt;

&lt;li&gt;&lt;em&gt;call-signature&lt;/em&gt; とは、戻り値型に続けて丸カッコの中に0個以上の引数型を並べたものである。 &lt;em&gt;cf.&lt;/em&gt; &lt;code&gt;int ( std::string, int )&lt;/code&gt;&lt;/li&gt;

&lt;li&gt;&lt;em&gt;callable-type&lt;/em&gt; とは、関数呼び出し演算子を適用できる型 ( 関数、関数への参照、関数へのポインタ、&lt;code&gt;operator ()&lt;/code&gt; をオーバーロードした型もしくはそれを(直接または間接的に) &lt;code&gt;public&lt;/code&gt; 継承した型 ) もしくはメンバへのポインタ型を指す。&lt;/li&gt;

&lt;li&gt;&lt;em&gt;callable-object&lt;/em&gt; は、 &lt;em&gt;callable-type&lt;/em&gt; 型のオブジェクトである。&lt;/li&gt;

&lt;li&gt;&lt;em&gt;call-wrapper-type&lt;/em&gt; は、 &lt;em&gt;callable-object&lt;/em&gt; を保持し、自身に対する関数呼び出し操作が行われたとき、保持しているオブジェクトに委譲する。&lt;/li&gt;

&lt;li&gt;&lt;em&gt;call-wrapper&lt;/em&gt; は、 &lt;em&gt;call-wrapper-type&lt;/em&gt; 型のオブジェクトである。&lt;/li&gt;

&lt;li&gt;&lt;em&gt;target-object&lt;/em&gt; とは、 &lt;em&gt;callable-object&lt;/em&gt; に保持されているオブジェクトのことである。&lt;/li&gt;

&lt;/ul&gt;

&lt;h2&gt;要件（C++14まで）&lt;/h2&gt;

&lt;ol&gt;

&lt;li&gt;仮想操作 &lt;em&gt;INVOKE&lt;/em&gt;&lt;code&gt;(f, t1, t2, ..., tN)&lt;/code&gt; を次のように定義する。&lt;ul&gt;

&lt;li&gt;&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバ関数へのポインタであり、 &lt;code&gt;t1&lt;/code&gt; が T 型のオブジェクトあるいは &lt;code&gt;T&lt;/code&gt; または &lt;code&gt;T&lt;/code&gt; を継承した型への参照であるとき、 &lt;code&gt;(t1.*f)(t2, ..., tN)&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバ関数へのポインタであり、 &lt;code&gt;t1&lt;/code&gt; が上記の条件に当てはまらない場合、&lt;code&gt;((*t1).*f)(t2, ..., tN)&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;N == 1&lt;/code&gt; で、&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバオブジェクトへのポインタであり、&lt;code&gt;t1&lt;/code&gt; が &lt;code&gt;T&lt;/code&gt; 型のオブジェクトあるいは &lt;code&gt;T&lt;/code&gt; または &lt;code&gt;T&lt;/code&gt; を継承した型への参照であるとき、 &lt;code&gt;t1.*f&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;N == 1&lt;/code&gt; で、&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバオブジェクトへのポインタであり、&lt;code&gt;t1&lt;/code&gt; が上記の条件に当てはまらない場合、 &lt;code&gt;(*t1).*f&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;上記の条件のどれにも当てはまらない場合、 &lt;code&gt;f(t1, t2, ..., tN)&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;/ul&gt;

&lt;/li&gt;

&lt;li&gt;&lt;em&gt;INVOKE&lt;/em&gt;&lt;code&gt;(f, t1, t2, ..., tN, R)&lt;/code&gt; を、 &lt;em&gt;INVOKE&lt;/em&gt;&lt;code&gt;(f, t1, t2, ..., tN)&lt;/code&gt; の実行結果の戻り値が型 &lt;code&gt;R&lt;/code&gt; に暗黙的に変換されること、と定義する。&lt;/li&gt;

&lt;li&gt;&lt;em&gt;call-wrapper&lt;/em&gt; が &lt;em&gt;weak-result-type&lt;/em&gt; を用意している場合、メンバ型 &lt;code&gt;result_type&lt;/code&gt; は&lt;em&gt;target-object&lt;/em&gt; の型 &lt;code&gt;T&lt;/code&gt; に応じて次のように定義される。&lt;ul&gt;

&lt;li&gt;&lt;code&gt;T&lt;/code&gt; が関数へのポインタ型であるとき、 &lt;code&gt;result_type&lt;/code&gt; は &lt;code&gt;T&lt;/code&gt; の戻り値型と等しい。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;T&lt;/code&gt; がメンバ関数へのポインタ型であるとき、 &lt;code&gt;result_type&lt;/code&gt; は &lt;code&gt;T&lt;/code&gt; の戻り値型と等しい。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;T&lt;/code&gt; が &lt;code&gt;result_type&lt;/code&gt; という名前のメンバ型を持つとき、 &lt;code&gt;result_type&lt;/code&gt; は &lt;code&gt;T::result_type&lt;/code&gt; と等しい。&lt;/li&gt;

&lt;li&gt;どの条件にも当てはまらない場合、 &lt;code&gt;result_type&lt;/code&gt; は定義されない。&lt;/li&gt;

&lt;/ul&gt;

&lt;/li&gt;

&lt;li&gt;すべての &lt;em&gt;call-wrapper&lt;/em&gt; は、&lt;em&gt;MoveAssignable&lt;/em&gt; でなければならない。&lt;/li&gt;

&lt;/ol&gt;

&lt;h2&gt;要件（C++17）&lt;/h2&gt;

&lt;ol&gt;

&lt;li&gt;仮想操作 &lt;em&gt;INVOKE&lt;/em&gt;&lt;code&gt;(f, t1, t2, ..., tN)&lt;/code&gt; を次のように定義する。&lt;ul&gt;

&lt;li&gt;&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバ関数へのポインタであり、&lt;code&gt;&lt;a href=&#34;../type_traits/is_base_of.html&#34;&gt;is_base_of_v&lt;/a&gt;&amp;lt;T, &lt;a href=&#34;../type_traits/decay.html&#34;&gt;decay_t&lt;/a&gt;&amp;lt;decltype(t1)&amp;gt;&amp;gt; == true&lt;/code&gt;（&lt;code&gt;t1&lt;/code&gt; が &lt;code&gt;T&lt;/code&gt; または &lt;code&gt;T&lt;/code&gt; を継承した型のオブジェクト/参照）であるとき、 &lt;code&gt;(t1.*f)(t2, ..., tN)&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバ関数へのポインタであり、&lt;code&gt;&lt;a href=&#34;../type_traits/decay.html&#34;&gt;decay_t&lt;/a&gt;&amp;lt;decltype(t1)&amp;gt;&lt;/code&gt;が&lt;code&gt;&lt;a href=&#34;../functional/reference_wrapper.html&#34;&gt;reference_wrapper&amp;lt;T&amp;gt;&lt;/a&gt;&lt;/code&gt;（&lt;code&gt;t1&lt;/code&gt;が&lt;code&gt;&lt;a href=&#34;../functional/reference_wrapper.html&#34;&gt;reference_wrapper&lt;/a&gt;&lt;/code&gt;の特殊化）であるとき、 &lt;code&gt;(t1.get().*f)(t2, ..., tN)&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバ関数へのポインタであり、 &lt;code&gt;t1&lt;/code&gt; が上記の条件に当てはまらない場合（例えば、t1が&lt;code&gt;T&lt;/code&gt;のポインタ）、&lt;code&gt;((*t1).*f)(t2, ..., tN)&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;N == 1&lt;/code&gt; で、&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバオブジェクトへのポインタであり、&lt;code&gt;&lt;a href=&#34;../type_traits/is_base_of.html&#34;&gt;is_base_of_v&lt;/a&gt;&amp;lt;T, &lt;a href=&#34;../type_traits/decay.html&#34;&gt;decay_t&lt;/a&gt;&amp;lt;decltype(t1)&amp;gt;&amp;gt; == true&lt;/code&gt;（&lt;code&gt;t1&lt;/code&gt; が &lt;code&gt;T&lt;/code&gt; または &lt;code&gt;T&lt;/code&gt; を継承した型のオブジェクト/参照）であるとき、 &lt;code&gt;t1.*f&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;N == 1&lt;/code&gt; で、&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバオブジェクトへのポインタであり、&lt;code&gt;&lt;a href=&#34;../type_traits/decay.html&#34;&gt;decay_t&lt;/a&gt;&amp;lt;decltype(t1)&amp;gt;&lt;/code&gt;が&lt;code&gt;&lt;a href=&#34;../functional/reference_wrapper.html&#34;&gt;reference_wrapper&amp;lt;T&amp;gt;&lt;/a&gt;&lt;/code&gt;（&lt;code&gt;t1&lt;/code&gt;が&lt;code&gt;&lt;a href=&#34;../functional/reference_wrapper.html&#34;&gt;reference_wrapper&lt;/a&gt;&lt;/code&gt;の特殊化）であるとき、 &lt;code&gt;t1.get().*f&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;N == 1&lt;/code&gt; で、&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバオブジェクトへのポインタであり、&lt;code&gt;t1&lt;/code&gt; が上記の条件に当てはまらない場合（例えば、t1が&lt;code&gt;T&lt;/code&gt;のポインタ）、 &lt;code&gt;(*t1).*f&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;上記の条件のどれにも当てはまらない場合、 &lt;code&gt;f(t1, t2, ..., tN)&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;/ul&gt;

&lt;/li&gt;

&lt;li&gt;&lt;em&gt;INVOKE&lt;/em&gt;&lt;code&gt;&amp;lt;R&amp;gt;(f, t1, t2, ..., tN)&lt;/code&gt; を次のように定義する。&lt;ul&gt;

&lt;li&gt;&lt;code&gt;R&lt;/code&gt;が&lt;code&gt;void&lt;/code&gt;かそのcv修飾の場合は、&lt;code&gt;static_cast&amp;lt;void&amp;gt;(&lt;/code&gt;&lt;em&gt;INVOKE&lt;/em&gt;&lt;code&gt;(f, t1, t2, ..., tN))&lt;/code&gt;。&lt;/li&gt;

&lt;li&gt;それ以外の場合は、&lt;em&gt;INVOKE&lt;/em&gt;&lt;code&gt;(f, t1, t2, ..., tN)&lt;/code&gt; の実行結果の戻り値が型 &lt;code&gt;R&lt;/code&gt; に暗黙的に変換されること。&lt;/li&gt;

&lt;/ul&gt;

&lt;/li&gt;

&lt;li&gt;すべての &lt;em&gt;call-wrapper&lt;/em&gt; は、&lt;em&gt;MoveConstructible&lt;/em&gt; でなければならない。&lt;/li&gt;

&lt;/ol&gt;

&lt;h2&gt;要件（C++20）&lt;/h2&gt;

&lt;ol&gt;

&lt;li&gt;仮想操作 &lt;em&gt;INVOKE&lt;/em&gt;&lt;code&gt;(f, t1, t2, ..., tN)&lt;/code&gt; を次のように定義する。&lt;ul&gt;

&lt;li&gt;&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバ関数へのポインタであり、&lt;code&gt;&lt;a href=&#34;../type_traits/is_same.html&#34;&gt;is_same_v&lt;/a&gt;&amp;lt;T, &lt;a href=&#34;../type_traits/remove_cvref.html&#34;&gt;remove_cvref_t&lt;/a&gt;&amp;lt;decltype(t1)&amp;gt;&amp;gt; ||&lt;a href=&#34;../type_traits/is_base_of.html&#34;&gt;is_base_of_v&lt;/a&gt;&amp;lt;T, &lt;a href=&#34;../type_traits/remove_cvref.html&#34;&gt;remove_cvref_t&lt;/a&gt;&amp;lt;decltype(t1)&amp;gt;&amp;gt;&lt;/code&gt; が &lt;code&gt;true&lt;/code&gt;（&lt;code&gt;t1&lt;/code&gt; が &lt;code&gt;T&lt;/code&gt; または &lt;code&gt;T&lt;/code&gt; を継承した型のオブジェクト/参照）であるとき、 &lt;code&gt;(t1.*f)(t2, ..., tN)&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバ関数へのポインタであり、&lt;code&gt;&lt;a href=&#34;../type_traits/remove_cvref.html&#34;&gt;remove_cvref_t&lt;/a&gt;&amp;lt;decltype(t1)&amp;gt;&lt;/code&gt;が&lt;code&gt;&lt;a href=&#34;../functional/reference_wrapper.html&#34;&gt;reference_wrapper&amp;lt;T&amp;gt;&lt;/a&gt;&lt;/code&gt;（&lt;code&gt;t1&lt;/code&gt;が&lt;code&gt;&lt;a href=&#34;../functional/reference_wrapper.html&#34;&gt;reference_wrapper&lt;/a&gt;&lt;/code&gt;の特殊化）であるとき、 &lt;code&gt;(t1.get().*f)(t2, ..., tN)&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバ関数へのポインタであり、 &lt;code&gt;t1&lt;/code&gt; が上記の条件に当てはまらない場合（例えば、t1が&lt;code&gt;T&lt;/code&gt;のポインタ）、&lt;code&gt;((*t1).*f)(t2, ..., tN)&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;N == 1&lt;/code&gt; で、&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバオブジェクトへのポインタであり、&lt;code&gt;&lt;a href=&#34;../type_traits/is_same.html&#34;&gt;is_same_v&lt;/a&gt;&amp;lt;T, &lt;a href=&#34;../type_traits/remove_cvref.html&#34;&gt;remove_cvref_t&lt;/a&gt;&amp;lt;decltype(t1)&amp;gt;&amp;gt; ||&lt;a href=&#34;../type_traits/is_base_of.html&#34;&gt;is_base_of_v&lt;/a&gt;&amp;lt;T, &lt;a href=&#34;../type_traits/remove_cvref.html&#34;&gt;remove_cvref_t&lt;/a&gt;&amp;lt;decltype(t1)&amp;gt;&amp;gt;&lt;/code&gt; が &lt;code&gt;true&lt;/code&gt;（&lt;code&gt;t1&lt;/code&gt; が &lt;code&gt;T&lt;/code&gt; または &lt;code&gt;T&lt;/code&gt; を継承した型のオブジェクト/参照）であるとき、 &lt;code&gt;t1.*f&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;N == 1&lt;/code&gt; で、&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバオブジェクトへのポインタであり、&lt;code&gt;&lt;a href=&#34;../type_traits/remove_cvref.html&#34;&gt;remove_cvref_t&lt;/a&gt;&amp;lt;decltype(t1)&amp;gt;&lt;/code&gt;が&lt;code&gt;&lt;a href=&#34;../functional/reference_wrapper.html&#34;&gt;reference_wrapper&amp;lt;T&amp;gt;&lt;/a&gt;&lt;/code&gt;（&lt;code&gt;t1&lt;/code&gt;が&lt;code&gt;&lt;a href=&#34;../functional/reference_wrapper.html&#34;&gt;reference_wrapper&lt;/a&gt;&lt;/code&gt;の特殊化）であるとき、 &lt;code&gt;t1.get().*f&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;&lt;code&gt;N == 1&lt;/code&gt; で、&lt;code&gt;f&lt;/code&gt; が型 &lt;code&gt;T&lt;/code&gt; のメンバオブジェクトへのポインタであり、&lt;code&gt;t1&lt;/code&gt; が上記の条件に当てはまらない場合（例えば、t1が&lt;code&gt;T&lt;/code&gt;のポインタ）、 &lt;code&gt;(*t1).*f&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;li&gt;上記の条件のどれにも当てはまらない場合、 &lt;code&gt;f(t1, t2, ..., tN)&lt;/code&gt; と同じ効果を持つ。&lt;/li&gt;

&lt;/ul&gt;

&lt;/li&gt;

&lt;li&gt;&lt;em&gt;INVOKE&lt;/em&gt;&lt;code&gt;&amp;lt;R&amp;gt;(f, t1, t2, ..., tN)&lt;/code&gt; を次のように定義する。&lt;ul&gt;

&lt;li&gt;&lt;code&gt;R&lt;/code&gt;が&lt;code&gt;void&lt;/code&gt;かそのcv修飾の場合は、&lt;code&gt;static_cast&amp;lt;void&amp;gt;(&lt;/code&gt;&lt;em&gt;INVOKE&lt;/em&gt;&lt;code&gt;(f, t1, t2, ..., tN))&lt;/code&gt;。&lt;/li&gt;

&lt;li&gt;それ以外の場合は、&lt;em&gt;INVOKE&lt;/em&gt;&lt;code&gt;(f, t1, t2, ..., tN)&lt;/code&gt; の実行結果の戻り値が型 &lt;code&gt;R&lt;/code&gt; に暗黙的に変換されること。&lt;/li&gt;

&lt;/ul&gt;

&lt;/li&gt;

&lt;li&gt;すべての &lt;em&gt;call-wrapper&lt;/em&gt; は、&lt;em&gt;Cpp17MoveConstructible&lt;/em&gt; かつ &lt;em&gt;Cpp17Destructible&lt;/em&gt; でなければならない。&lt;/li&gt;

&lt;/ol&gt;

&lt;h2&gt;要件（C++23差分）&lt;/h2&gt;

&lt;p&gt;C++20 における 2. について、次の文言を項目の最後に追加する。この変更は、&lt;code&gt;R&lt;/code&gt;が参照かつ&lt;em&gt;INVOKE&lt;/em&gt;の実行結果が&lt;code&gt;R&lt;/code&gt;に束縛されることで寿命が延長される場合にダングリング参照が作成されてしまう事例を検出するための要件である。&lt;/p&gt;

&lt;ul&gt;

&lt;li&gt;&lt;code&gt;&lt;a href=&#34;../type_traits/reference_converts_from_temporary.html&#34;&gt;reference_converts_from_temporary_v&lt;/a&gt;&amp;lt;R, decltype(&lt;/code&gt;&lt;em&gt;INVOKE&lt;/em&gt;&lt;code&gt;(f, t1, t2, …, tN))&amp;gt; == true&lt;/code&gt;の場合、&lt;em&gt;INVOKE&lt;/em&gt;&lt;code&gt;&amp;lt;R&amp;gt;(f, t1, t2, …, tN)&lt;/code&gt;は&lt;a class=&#34;cpprefjp-defined-word&#34;&gt;不適格&lt;/a&gt;。&lt;/li&gt;

&lt;/ul&gt;

&lt;h2&gt;まとめ&lt;/h2&gt;

&lt;p&gt;&lt;a href=&#34;https://twitter.com/Cryolite/status/216814363221303296&#34; target=&#34;_blank&#34;&gt;第1引数がメンバ関数へのポインタの場合でも非静的メンバデータへのポインタの場合でも，第2引数がクラスオブジェクトへの参照の場合でもポインタの場合でもポインタっぽいものの場合でも，なんか知らんけどそれっぽく上手くいく&lt;/a&gt; ように取り計らった操作のことである。&lt;/p&gt;

&lt;h2&gt;関連項目&lt;/h2&gt;

&lt;ul&gt;

&lt;li&gt;&lt;code&gt;&lt;a href=&#34;../functional/function.html&#34;&gt;function&lt;/a&gt;&lt;/code&gt;&lt;/li&gt;

&lt;li&gt;&lt;code&gt;&lt;a href=&#34;../functional/reference_wrapper.html&#34;&gt;reference_wrapper&lt;/a&gt;&lt;/code&gt;&lt;/li&gt;

&lt;li&gt;&lt;code&gt;&lt;a href=&#34;../functional/bind.html&#34;&gt;bind&lt;/a&gt;&lt;/code&gt;&lt;/li&gt;

&lt;li&gt;&lt;code&gt;&lt;a href=&#34;../functional/mem_fn.html&#34;&gt;mem_fn&lt;/a&gt;&lt;/code&gt;&lt;/li&gt;

&lt;li&gt;&lt;code&gt;&lt;a href=&#34;../functional/not_fn.html&#34;&gt;not_fn&lt;/a&gt;&lt;/code&gt;&lt;/li&gt;

&lt;li&gt;&lt;code&gt;&lt;a href=&#34;../thread/thread.html&#34;&gt;thread&lt;/a&gt;&lt;/code&gt;&lt;/li&gt;

&lt;li&gt;&lt;code&gt;&lt;a href=&#34;../future/async.html&#34;&gt;async&lt;/a&gt;&lt;/code&gt;&lt;/li&gt;

&lt;li&gt;&lt;code&gt;&lt;a href=&#34;../future/packaged_task.html&#34;&gt;packaged_task&lt;/a&gt;&lt;/code&gt;&lt;/li&gt;

&lt;li&gt;&lt;code&gt;&lt;a href=&#34;../mutex/call_once.html&#34;&gt;call_once&lt;/a&gt;&lt;/code&gt;&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/wg21/docs/papers/2017/p0777r1.pdf&#34; target=&#34;_blank&#34;&gt;P0777R1 Treating Unnecessary &lt;code&gt;decay&lt;/code&gt;&lt;/a&gt;&lt;ul&gt;

&lt;li&gt;C++20から&lt;code&gt;decay_t&lt;/code&gt;を&lt;code&gt;remove_cvref_t&lt;/code&gt;へ変更。&lt;/li&gt;

&lt;/ul&gt;

&lt;/li&gt;

&lt;li&gt;&lt;a href=&#34;https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2136r3.html&#34; target=&#34;_blank&#34;&gt;P2136R3 &lt;code&gt;invoke_r&lt;/code&gt;&lt;/a&gt;&lt;/li&gt;

&lt;li&gt;&lt;a href=&#34;https://cplusplus.github.io/LWG/issue3655&#34; target=&#34;_blank&#34;&gt;LWG Issue 3655. The &lt;em&gt;INVOKE&lt;/em&gt; operation and union types&lt;/a&gt;&lt;ul&gt;

&lt;li&gt;C++23で、メンバポインタの判定を&lt;code&gt;is_base_of_v&lt;/code&gt;単独から&lt;code&gt;is_same_v || is_base_of_v&lt;/code&gt;に変更し、共用体(union)型でも正しく扱えるようにした&lt;/li&gt;

&lt;/ul&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>intmax_t -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/cstdint/intmax_t.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/cstdint/intmax_t.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/cstdint/intmax_t.md b/reference/cstdint/intmax_t.md

index d5553e767..7e7f8c83b 100644

--- a/reference/cstdint/intmax_t.md

+++ b/reference/cstdint/intmax_t.md

@@ -14,6 +14,11 @@ namespace std {

## 概要

最大の符号付き整数型。

+

+## 備考

+最大幅の符号付き整数型ではあるが、`long long`より広い拡張整数型のすべての値を表現できる必要はない。

+

+

## バージョン

### 言語

- C++11

@@ -23,3 +28,8 @@ namespace std {

- [GCC](/implementation.md#gcc): 4.7.0 [mark verified]

- [ICC](/implementation.md#icc): ??

- [Visual C++](/implementation.md#visual_cpp): 2010 [mark verified], 2012 [mark verified], 2013 [mark verified]

+

+

+## 参照

+- [LWG Issue 3828. Sync `intmax_t` and `uintmax_t` with C2x](https://cplusplus.github.io/LWG/issue3828)

+ - C++23で、C23との同期のため、`intmax_t`は`long long`より広い拡張整数型のすべての値を表現できる必要はないことが明確化された

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>uintmax_t -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/cstdint/uintmax_t.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/cstdint/uintmax_t.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/cstdint/uintmax_t.md b/reference/cstdint/uintmax_t.md

index b2b0b65bb..fbcaf48b0 100644

--- a/reference/cstdint/uintmax_t.md

+++ b/reference/cstdint/uintmax_t.md

@@ -14,6 +14,11 @@ namespace std {

## 概要

最大の符号なし整数型。

+

+## 備考

+最大幅の符号なし整数型ではあるが、`unsigned long long`より広い拡張整数型のすべての値を表現できる必要はない。

+

+

## バージョン

### 言語

- C++11

@@ -23,3 +28,8 @@ namespace std {

- [GCC](/implementation.md#gcc): 4.7.0 [mark verified]

- [ICC](/implementation.md#icc): ??

- [Visual C++](/implementation.md#visual_cpp): 2010 [mark verified], 2012 [mark verified], 2013 [mark verified]

+

+

+## 参照

+- [LWG Issue 3828. Sync `intmax_t` and `uintmax_t` with C2x](https://cplusplus.github.io/LWG/issue3828)

+ - C++23で、C23との同期のため、`uintmax_t`は`unsigned long long`より広い拡張整数型のすべての値を表現できる必要はないことが明確化された

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>and_then -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/expected/expected/and_then.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/expected/expected/and_then.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/expected/expected/and_then.md b/reference/expected/expected/and_then.md

index 30953f9c4..a4ba823b7 100644

--- a/reference/expected/expected/and_then.md

+++ b/reference/expected/expected/and_then.md

@@ -30,8 +30,8 @@ class expected {

## テンプレートパラメータ制約

-- (1), (2) : [`is_copy_constructible_v`](/reference/type_traits/is_copy_constructible.md)`&amp;lt;E&amp;gt; == true`

-- (3), (4) : [`is_move_constructible_v`](/reference/type_traits/is_move_constructible.md)`&amp;lt;E&amp;gt; == true`

+- (1), (2) : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;E, decltype(`[`error()`](error.md)`)&amp;gt; == true`

+- (3), (4) : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;E, decltype(`[`std::move`](/reference/utility/move.md)`(`[`error()`](error.md)`))&amp;gt; == true`

## 適格要件

@@ -133,5 +133,7 @@ int main()

## 参照

- [P2505R5 Monadic Functions for `std::expected`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2505r5.html)

+- [LWG Issue 3877. Incorrect constraints on `const`-qualified monadic overloads for `std::expected`](https://cplusplus.github.io/LWG/issue3877)

+ - C++23で、`const`修飾版で誤ってエラーになる問題を解消するため、制約が`is_copy_constructible_v&amp;lt;E&amp;gt;`から`is_constructible_v&amp;lt;E, decltype(error())&amp;gt;`（右辺値版は`decltype(std::move(error()))`）へ変更された

- [LWG Issue 3938. Cannot use `std::expected` monadic ops with move-only `error_type`](https://cplusplus.github.io/LWG/issue3938)

- C++26で、効果および適格要件で正常値へのアクセスに[`value()`](value.md)ではなく[`**this`](op_deref.md)を使うよう修正され、ムーブのみ可能な`error_type`でも使用できるようになった

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>コンストラクタ -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/expected/expected/op_constructor.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/expected/expected/op_constructor.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/expected/expected/op_constructor.md b/reference/expected/expected/op_constructor.md

index 4f12e545c..5fc2abb4f 100644

--- a/reference/expected/expected/op_constructor.md

+++ b/reference/expected/expected/op_constructor.md

@@ -73,7 +73,7 @@ constexpr bool converts-from-any-cvref =

- (4) : 次の制約を全て満たすこと

- [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;T, const U&amp;amp;&amp;gt; == true`

- [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;E, const G&amp;amp;&amp;gt; == true`

- - `converts-from-any-cvref&amp;lt;T, expected&amp;lt;U, G&amp;gt;&amp;gt; == false`

+ - `T`が cv `bool` でない場合、`converts-from-any-cvref&amp;lt;T, expected&amp;lt;U, G&amp;gt;&amp;gt; == false`

- [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;`[`unexpected`](../unexpected.md)`&amp;lt;E&amp;gt;, expected&amp;lt;U, G&amp;gt;&amp;amp;&amp;gt; == false`

- [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;`[`unexpected`](../unexpected.md)`&amp;lt;E&amp;gt;, expected&amp;lt;U, G&amp;gt;&amp;gt; == false`

- [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;`[`unexpected`](../unexpected.md)`&amp;lt;E&amp;gt;, const expected&amp;lt;U, G&amp;gt;&amp;amp;&amp;gt; == false`

@@ -81,7 +81,7 @@ constexpr bool converts-from-any-cvref =

- (5) : 次の制約を全て満たすこと

- [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;T, U&amp;gt; == true`

- [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;E, G&amp;gt; == true`

- - `converts-from-any-cvref&amp;lt;T, expected&amp;lt;U, G&amp;gt;&amp;gt; == false`

+ - `T`が cv `bool` でない場合、`converts-from-any-cvref&amp;lt;T, expected&amp;lt;U, G&amp;gt;&amp;gt; == false`

- [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;`[`unexpected`](../unexpected.md)`&amp;lt;E&amp;gt;, expected&amp;lt;U, G&amp;gt;&amp;amp;&amp;gt; == false`

- [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;`[`unexpected`](../unexpected.md)`&amp;lt;E&amp;gt;, expected&amp;lt;U, G&amp;gt;&amp;gt; == false`

- [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;`[`unexpected`](../unexpected.md)`&amp;lt;E&amp;gt;, const expected&amp;lt;U, G&amp;gt;&amp;amp;&amp;gt; == false`

@@ -91,6 +91,7 @@ constexpr bool converts-from-any-cvref =

- [`is_same_v`](/reference/type_traits/is_same.md)`&amp;lt;expected,` [`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`&amp;lt;U&amp;gt;&amp;gt; == false`

- [`is_same_v`](/reference/type_traits/is_same.md)`&amp;lt;`[`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`&amp;lt;U&amp;gt;,` [`unexpect_t`](../unexpect_t.md)`&amp;gt; == false`

- [`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`&amp;lt;U&amp;gt;`は[`unexpected`](../unexpected.md)の特殊化でない

+ - `T`が cv `bool` の場合、[`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`&amp;lt;U&amp;gt;`は`expected`の特殊化でない

- [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;T, U&amp;gt; == true`

- (7) : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;E, const G&amp;amp;&amp;gt; == true`

- (8) : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;E, G&amp;gt; == true`

@@ -320,5 +321,7 @@ int main()

## 参照

- [P0323R12 std::expected](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html)

+- [LWG Issue 3836. `std::expected&amp;lt;bool, E1&amp;gt;` conversion constructor `expected(const expected&amp;lt;U, G&amp;gt;&amp;amp;)` should take precedence over `expected(U&amp;amp;&amp;amp;)` with operator bool](https://cplusplus.github.io/LWG/issue3836)

+ - C++23で、`T`が cv `bool` のときに変換コンストラクタ(4)(5)が単一値コンストラクタ(6)に優先されるよう、(4)(5)の`converts-from-any-cvref`制約に「`T`が cv `bool` でない場合」の条件を付け、(6)に「`T`が cv `bool` の場合、`remove_cvref_t&amp;lt;U&amp;gt;`は`expected`の特殊化でない」制約を追加した

- [LWG Issue 4222. `expected` constructor from a single value missing a constraint](https://cplusplus.github.io/LWG/issue4222)

- C++26で、(6)の制約に[`remove_cvref_t`](/reference/type_traits/remove_cvref.md)`&amp;lt;U&amp;gt;`が[`unexpect_t`](../unexpect_t.md)でないことが追加された

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>or_else -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/expected/expected/or_else.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/expected/expected/or_else.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/expected/expected/or_else.md b/reference/expected/expected/or_else.md

index 57df61de6..42f44796c 100644

--- a/reference/expected/expected/or_else.md

+++ b/reference/expected/expected/or_else.md

@@ -30,8 +30,8 @@ class expected {

## テンプレートパラメータ制約

-- (1), (2) : [`is_copy_constructible_v`](/reference/type_traits/is_copy_constructible.md)`&amp;lt;T&amp;gt; == true`

-- (3), (4) : [`is_move_constructible_v`](/reference/type_traits/is_move_constructible.md)`&amp;lt;T&amp;gt; == true`

+- (1), (2) : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;T, decltype(`[`value()`](value.md)`)&amp;gt; == true`

+- (3), (4) : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;T, decltype(`[`std::move`](/reference/utility/move.md)`(`[`value()`](value.md)`))&amp;gt; == true`

## 適格要件

@@ -137,5 +137,7 @@ int main()

## 参照

- [P2505R5 Monadic Functions for `std::expected`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2505r5.html)

+- [LWG Issue 3877. Incorrect constraints on `const`-qualified monadic overloads for `std::expected`](https://cplusplus.github.io/LWG/issue3877)

+ - C++23で、`const`修飾版で誤ってエラーになる問題を解消するため、制約が`is_copy_constructible_v&amp;lt;T&amp;gt;`から`is_constructible_v&amp;lt;T, decltype(value())&amp;gt;`（右辺値版は`decltype(std::move(value()))`）へ変更された

- [LWG Issue 3938. Cannot use `std::expected` monadic ops with move-only `error_type`](https://cplusplus.github.io/LWG/issue3938)

- C++26で、効果で正常値へのアクセスに[`value()`](value.md)ではなく[`**this`](op_deref.md)を使うよう修正され、ムーブのみ可能な`error_type`でも使用できるようになった

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>transform -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/expected/expected/transform.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/expected/expected/transform.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/expected/expected/transform.md b/reference/expected/expected/transform.md

index 27b23a941..66a49e8cf 100644

--- a/reference/expected/expected/transform.md

+++ b/reference/expected/expected/transform.md

@@ -30,8 +30,8 @@ class expected {

## テンプレートパラメータ制約

-- (1), (2) : [`is_copy_constructible_v`](/reference/type_traits/is_copy_constructible.md)`&amp;lt;E&amp;gt; == true`

-- (3), (4) : [`is_move_constructible_v`](/reference/type_traits/is_move_constructible.md)`&amp;lt;E&amp;gt; == true`

+- (1), (2) : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;E, decltype(`[`error()`](error.md)`)&amp;gt; == true`

+- (3), (4) : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;E, decltype(`[`std::move`](/reference/utility/move.md)`(`[`error()`](error.md)`))&amp;gt; == true`

## 適格要件

@@ -112,5 +112,7 @@ int main()

## 参照

- [P2505R5 Monadic Functions for `std::expected`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2505r5.html)

+- [LWG Issue 3877. Incorrect constraints on `const`-qualified monadic overloads for `std::expected`](https://cplusplus.github.io/LWG/issue3877)

+ - C++23で、`const`修飾版で誤ってエラーになる問題を解消するため、制約が`is_copy_constructible_v&amp;lt;E&amp;gt;`から`is_constructible_v&amp;lt;E, decltype(error())&amp;gt;`（右辺値版は`decltype(std::move(error()))`）へ変更された

- [LWG Issue 3938. Cannot use `std::expected` monadic ops with move-only `error_type`](https://cplusplus.github.io/LWG/issue3938)

- C++26で、効果および適格要件で正常値へのアクセスに[`value()`](value.md)ではなく[`**this`](op_deref.md)を使うよう修正され、ムーブのみ可能な`error_type`でも使用できるようになった

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>transform_error -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/expected/expected/transform_error.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/expected/expected/transform_error.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/expected/expected/transform_error.md b/reference/expected/expected/transform_error.md

index 87ed4bfda..6c4518f45 100644

--- a/reference/expected/expected/transform_error.md

+++ b/reference/expected/expected/transform_error.md

@@ -30,8 +30,8 @@ class expected {

## テンプレートパラメータ制約

-- (1), (2) : [`is_copy_constructible_v`](/reference/type_traits/is_copy_constructible.md)`&amp;lt;T&amp;gt; == true`

-- (3), (4) : [`is_move_constructible_v`](/reference/type_traits/is_move_constructible.md)`&amp;lt;T&amp;gt; == true`

+- (1), (2) : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;T, decltype(`[`value()`](value.md)`)&amp;gt; == true`

+- (3), (4) : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;T, decltype(`[`std::move`](/reference/utility/move.md)`(`[`value()`](value.md)`))&amp;gt; == true`

## 適格要件

@@ -111,5 +111,7 @@ int main()

- [P2505R5 Monadic Functions for `std::expected`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2505r5.html)

- [LWG Issue 3866. Bad Mandates for `expected::transform_error` overloads](https://cplusplus.github.io/LWG/issue3866)

- C++23で、適格要件が「`G`が`expected`の有効なエラー値型である」から「`G`が[`unexpected`](../unexpected.md)の有効なテンプレート引数である」に修正された（`const int`のように`expected`のエラー値型としては有効でも`unexpected`のテンプレート引数としては無効な型があり、旧文言は実装不能だったため）

+- [LWG Issue 3877. Incorrect constraints on `const`-qualified monadic overloads for `std::expected`](https://cplusplus.github.io/LWG/issue3877)

+ - C++23で、`const`修飾版で誤ってエラーになる問題を解消するため、制約が`is_copy_constructible_v&amp;lt;T&amp;gt;`から`is_constructible_v&amp;lt;T, decltype(value())&amp;gt;`（右辺値版は`decltype(std::move(value()))`）へ変更された

- [LWG Issue 3938. Cannot use `std::expected` monadic ops with move-only `error_type`](https://cplusplus.github.io/LWG/issue3938)

- C++26で、効果で正常値へのアクセスに[`value()`](value.md)ではなく[`**this`](op_deref.md)を使うよう修正され、ムーブのみ可能な`error_type`でも使用できるようになった

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>value -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/expected/expected/value.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/expected/expected/value.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/expected/expected/value.md b/reference/expected/expected/value.md

index e3dc3af1a..70c200476 100644

--- a/reference/expected/expected/value.md

+++ b/reference/expected/expected/value.md

@@ -16,6 +16,11 @@ constexpr T&amp;amp;&amp;amp; value() &amp;amp;&amp;amp;; // (4)

正常値を取得する。

+## 適格要件

+- (1), (2) : [`is_copy_constructible_v`](/reference/type_traits/is_copy_constructible.md)`&amp;lt;E&amp;gt; == true`

+- (3), (4) : [`is_copy_constructible_v`](/reference/type_traits/is_copy_constructible.md)`&amp;lt;E&amp;gt; == true`、かつ、[`is_constructible_v`](/reference/type_traits/is_constructible.md)`&amp;lt;E, decltype(`[`std::move`](/reference/utility/move.md)`(`[`error()`](error.md)`))&amp;gt; == true`

+

+

## 戻り値

動作説明用のメンバ変数として、正常値を保持する`val`を導入する。

@@ -28,7 +33,7 @@ constexpr T&amp;amp;&amp;amp; value() &amp;amp;&amp;amp;; // (4)

この関数は、例外を送出しうるため、フリースタンディング処理系では削除される（フリースタンディング処理系では使用できない）。

## 例外

-- (1), (2) : エラー値を保持していたら、例外[`bad_expected_access`](../bad_expected_access.md)`(`[`error()`](error.md)`)`を送出する

+- (1), (2) : エラー値を保持していたら、例外[`bad_expected_access`](../bad_expected_access.md)`(`[`as_const`](/reference/utility/as_const.md)`(`[`error()`](error.md)`))`を送出する

- (3), (4) : エラー値を保持していたら、例外[`bad_expected_access`](../bad_expected_access.md)`(`[`std::move`](/reference/utility/move.md)`(`[`error()`](error.md)`))`を送出する

@@ -82,3 +87,5 @@ throw:ERR

## 参照

- [P0323R12 std::expected](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html)

+- [LWG Issue 3843. `std::expected&amp;lt;T,E&amp;gt;::value() &amp;amp;` assumes `E` is copy constructible](https://cplusplus.github.io/LWG/issue3843)

+ - C++23で、`E`のコピー構築可能性等を要求する適格要件が追加され、あわせて(1), (2)が送出する例外が`bad_expected_access(error())`から`bad_expected_access(as_const(error()))`に修正された

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>コンストラクタ -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/flat_map/flat_map/op_constructor.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/flat_map/flat_map/op_constructor.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/flat_map/flat_map/op_constructor.md b/reference/flat_map/flat_map/op_constructor.md

index 74383717e..d0991b482 100644

--- a/reference/flat_map/flat_map/op_constructor.md

+++ b/reference/flat_map/flat_map/op_constructor.md

@@ -451,6 +451,8 @@ int main()

## 参照

+- [LWG Issue 3803. `flat_foo` constructors taking `KeyContainer` lack `KeyCompare` parameter](https://cplusplus.github.io/LWG/issue3803)

+ - C++23で、コンテナを取るコンストラクタに比較子`key_compare`を明示指定できる引数が追加された

- [LWG Issue 3884. `flat_foo` is missing allocator-extended copy/move constructors](https://cplusplus.github.io/LWG/issue3884)

- C++26で、`flat_map`にアロケータを指定するコピーコンストラクタ(5)とムーブコンストラクタ(6)が追加された

- [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>推論補助 -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/flat_map/flat_map/op_deduction_guide.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/flat_map/flat_map/op_deduction_guide.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/flat_map/flat_map/op_deduction_guide.md b/reference/flat_map/flat_map/op_deduction_guide.md

index 03544f1a7..f8ca6b6d6 100644

--- a/reference/flat_map/flat_map/op_deduction_guide.md

+++ b/reference/flat_map/flat_map/op_deduction_guide.md

@@ -129,3 +129,5 @@ namespace std {

## 参照

- [LWG Issue 3025. Map-like container deduction guides should use `pair&amp;lt;Key, T&amp;gt;`, not `pair&amp;lt;const Key, T&amp;gt;`](https://wg21.cmeerw.net/lwg/issue3025)

+- [LWG Issue 3786. Flat maps&amp;#39; deduction guide needs to default `Allocator` to be useful](https://cplusplus.github.io/LWG/issue3786)

+ - C++23で、`from_range_t`を取る推論補助で`Allocator`テンプレート引数がデフォルト化され、非デフォルトのアロケータのために推論補助が使えなかった問題が修正された。あわせて`(from_range_t, R&amp;amp;&amp;amp;, Allocator)`の推論補助が追加された

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>コンストラクタ -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/flat_map/flat_multimap/op_constructor.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/flat_map/flat_multimap/op_constructor.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/flat_map/flat_multimap/op_constructor.md b/reference/flat_map/flat_multimap/op_constructor.md

index 57c8e8be1..1ac42603e 100644

--- a/reference/flat_map/flat_multimap/op_constructor.md

+++ b/reference/flat_map/flat_multimap/op_constructor.md

@@ -447,6 +447,8 @@ int main()

## 参照

+- [LWG Issue 3803. `flat_foo` constructors taking `KeyContainer` lack `KeyCompare` parameter](https://cplusplus.github.io/LWG/issue3803)

+ - C++23で、コンテナを取るコンストラクタに比較子`key_compare`を明示指定できる引数が追加された

- [LWG Issue 3884. `flat_foo` is missing allocator-extended copy/move constructors](https://cplusplus.github.io/LWG/issue3884)

- C++26で、`flat_multimap`にアロケータを指定するコピーコンストラクタ(5)とムーブコンストラクタ(6)が追加された

- [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>推論補助 -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/flat_map/flat_multimap/op_deduction_guide.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/flat_map/flat_multimap/op_deduction_guide.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/flat_map/flat_multimap/op_deduction_guide.md b/reference/flat_map/flat_multimap/op_deduction_guide.md

index f9b79f3d8..77d4f09b2 100644

--- a/reference/flat_map/flat_multimap/op_deduction_guide.md

+++ b/reference/flat_map/flat_multimap/op_deduction_guide.md

@@ -129,3 +129,5 @@ namespace std {

## 参照

- [LWG Issue 3025. Map-like container deduction guides should use `pair&amp;lt;Key, T&amp;gt;`, not `pair&amp;lt;const Key, T&amp;gt;`](https://wg21.cmeerw.net/lwg/issue3025)

+- [LWG Issue 3786. Flat maps&amp;#39; deduction guide needs to default `Allocator` to be useful](https://cplusplus.github.io/LWG/issue3786)

+ - C++23で、`from_range_t`を取る推論補助で`Allocator`テンプレート引数がデフォルト化され、非デフォルトのアロケータのために推論補助が使えなかった問題が修正された。あわせて`(from_range_t, R&amp;amp;&amp;amp;, Allocator)`の推論補助が追加された

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>erase_if -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/flat_set/flat_multiset/erase_if_free.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/flat_set/flat_multiset/erase_if_free.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/flat_set/flat_multiset/erase_if_free.md b/reference/flat_set/flat_multiset/erase_if_free.md

index 9efcb5bd6..2caf30c2e 100644

--- a/reference/flat_set/flat_multiset/erase_if_free.md

+++ b/reference/flat_set/flat_multiset/erase_if_free.md

@@ -28,11 +28,11 @@ namespace std {

## 事前条件

-- `Key`と`T`がムーブ代入可能であること

+- `Key`がムーブ代入可能であること

## 効果

-メンバ変数として保持しているコンテナ`c`の各要素`e`について、`bool(pred(e))`を`E`として、`E`が`true`であるすべての要素を削除する。

+メンバ変数として保持しているコンテナ`c`の各要素`e`について、`bool(pred(`[`as_const`](/reference/utility/as_const.md)`(e)))`を`E`として、`E`が`true`であるすべての要素を削除する。

## 戻り値

@@ -84,4 +84,6 @@ int main()

## 参照

+- [LWG Issue 3879. `erase_if` for `flat_{,multi}set` is incorrectly specified](https://cplusplus.github.io/LWG/issue3879)

+ - C++23で、`flat_set`／`flat_multiset`は要素の`const`ビューしか提供しないため、述語を`bool(pred(as_const(e)))`として評価するよう効果が修正された

- [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>コンストラクタ -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/flat_set/flat_multiset/op_constructor.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/flat_set/flat_multiset/op_constructor.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/flat_set/flat_multiset/op_constructor.md b/reference/flat_set/flat_multiset/op_constructor.md

index 99c75ca06..66b5c7c88 100644

--- a/reference/flat_set/flat_multiset/op_constructor.md

+++ b/reference/flat_set/flat_multiset/op_constructor.md

@@ -432,6 +432,8 @@ int main()

## 参照

+- [LWG Issue 3803. `flat_foo` constructors taking `KeyContainer` lack `KeyCompare` parameter](https://cplusplus.github.io/LWG/issue3803)

+ - C++23で、コンテナを取るコンストラクタに比較子`key_compare`を明示指定できる引数が追加された

- [LWG Issue 3884. `flat_foo` is missing allocator-extended copy/move constructors](https://cplusplus.github.io/LWG/issue3884)

- C++26で、`flat_multiset`にアロケータを指定するコピーコンストラクタ(5)とムーブコンストラクタ(6)が追加された

- [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>推論補助 -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/flat_set/flat_multiset/op_deduction_guide.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/flat_set/flat_multiset/op_deduction_guide.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/flat_set/flat_multiset/op_deduction_guide.md b/reference/flat_set/flat_multiset/op_deduction_guide.md

index 52cd057a2..b9d34faec 100644

--- a/reference/flat_set/flat_multiset/op_deduction_guide.md

+++ b/reference/flat_set/flat_multiset/op_deduction_guide.md

@@ -104,3 +104,8 @@ namespace std {

- [Clang](/implementation.md#clang): ??

- [GCC](/implementation.md#gcc): ??

- [Visual C++](/implementation.md#visual_cpp): ??

+

+

+## 参照

+- [LWG Issue 3786. Flat maps&amp;#39; deduction guide needs to default `Allocator` to be useful](https://cplusplus.github.io/LWG/issue3786)

+ - C++23で、`from_range_t`を取る推論補助で`Allocator`テンプレート引数がデフォルト化され、非デフォルトのアロケータのために推論補助が使えなかった問題が修正された。あわせて`(from_range_t, R&amp;amp;&amp;amp;, Allocator)`の推論補助が追加された

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>erase_if -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/flat_set/flat_set/erase_if_free.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/flat_set/flat_set/erase_if_free.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/flat_set/flat_set/erase_if_free.md b/reference/flat_set/flat_set/erase_if_free.md

index 8e6d7d2e4..9d539daac 100644

--- a/reference/flat_set/flat_set/erase_if_free.md

+++ b/reference/flat_set/flat_set/erase_if_free.md

@@ -32,7 +32,7 @@ namespace std {

## 効果

-メンバ変数として保持しているコンテナ`c`の各要素`e`について、`bool(pred(e))`を`E`として、`E`が`true`であるすべての要素を削除する。

+メンバ変数として保持しているコンテナ`c`の各要素`e`について、`bool(pred(`[`as_const`](/reference/utility/as_const.md)`(e)))`を`E`として、`E`が`true`であるすべての要素を削除する。

## 戻り値

@@ -79,4 +79,6 @@ int main()

## 参照

+- [LWG Issue 3879. `erase_if` for `flat_{,multi}set` is incorrectly specified](https://cplusplus.github.io/LWG/issue3879)

+ - C++23で、`flat_set`／`flat_multiset`は要素の`const`ビューしか提供しないため、述語を`bool(pred(as_const(e)))`として評価するよう効果が修正された

- [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>コンストラクタ -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/flat_set/flat_set/op_constructor.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/flat_set/flat_set/op_constructor.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/flat_set/flat_set/op_constructor.md b/reference/flat_set/flat_set/op_constructor.md

index 8560dda65..934348734 100644

--- a/reference/flat_set/flat_set/op_constructor.md

+++ b/reference/flat_set/flat_set/op_constructor.md

@@ -433,6 +433,8 @@ int main()

## 参照

+- [LWG Issue 3803. `flat_foo` constructors taking `KeyContainer` lack `KeyCompare` parameter](https://cplusplus.github.io/LWG/issue3803)

+ - C++23で、コンテナを取るコンストラクタに比較子`key_compare`を明示指定できる引数が追加された

- [LWG Issue 3884. `flat_foo` is missing allocator-extended copy/move constructors](https://cplusplus.github.io/LWG/issue3884)

- C++26で、`flat_set`にアロケータを指定するコピーコンストラクタ(5)とムーブコンストラクタ(6)が追加された

- [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>推論補助 -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/flat_set/flat_set/op_deduction_guide.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/flat_set/flat_set/op_deduction_guide.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/flat_set/flat_set/op_deduction_guide.md b/reference/flat_set/flat_set/op_deduction_guide.md

index 7fb1f6e32..98dac2d6f 100644

--- a/reference/flat_set/flat_set/op_deduction_guide.md

+++ b/reference/flat_set/flat_set/op_deduction_guide.md

@@ -104,3 +104,8 @@ namespace std {

- [Clang](/implementation.md#clang): ??

- [GCC](/implementation.md#gcc): ??

- [Visual C++](/implementation.md#visual_cpp): ??

+

+

+## 参照

+- [LWG Issue 3786. Flat maps&amp;#39; deduction guide needs to default `Allocator` to be useful](https://cplusplus.github.io/LWG/issue3786)

+ - C++23で、`from_range_t`を取る推論補助で`Allocator`テンプレート引数がデフォルト化され、非デフォルトのアロケータのために推論補助が使えなかった問題が修正された。あわせて`(from_range_t, R&amp;amp;&amp;amp;, Allocator)`の推論補助が追加された

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>コンストラクタ -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/format/basic_format_arg/op_constructor.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/format/basic_format_arg/op_constructor.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/format/basic_format_arg/op_constructor.md b/reference/format/basic_format_arg/op_constructor.md

index d4b02745c..dba7e2845 100644

--- a/reference/format/basic_format_arg/op_constructor.md

+++ b/reference/format/basic_format_arg/op_constructor.md

@@ -91,5 +91,7 @@ namespace std {

## 参照

- [P0645R10 Text Formatting](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0645r10.html)

+- [LWG Issue 3631. `basic_format_arg(T&amp;amp;&amp;amp;)` should use `remove_cvref_t&amp;lt;T&amp;gt;` throughout](https://cplusplus.github.io/LWG/issue3631)

+ - C++23で、コンストラクタが検査する型プロパティをcvref除去後の型で判定するよう整理された（最終的にコンストラクタは左辺値参照`T&amp;amp;`をとり、`TD = remove_const_t&amp;lt;T&amp;gt;`で判定する形になった）

- [P3391R2 `constexpr std::format`](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3391r2.html)

- C++26から`constexpr`に対応した

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>basic_format_args -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/format/basic_format_args.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/format/basic_format_args.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/format/basic_format_args.md b/reference/format/basic_format_args.md

index 215d348c8..c3fb547a0 100644

--- a/reference/format/basic_format_args.md

+++ b/reference/format/basic_format_args.md

@@ -32,6 +32,12 @@ namespace std {

| [`(constructor)`](basic_format_args/op_constructor.md) | コンストラクタ | C++20 |

| [`get`](basic_format_args/get.md) | フォーマット引数へアクセスする | C++20 |

+## 推論補助

+

+| 名前 | 説明 | 対応バージョン |

+|--------------------------------------------------------------------|------------------------------------|-------|

+| [`(deduction_guide)`](basic_format_args/op_deduction_guide.md) | クラステンプレートの推論補助 | C++23 |

+

## バージョン

### 言語

- C++20

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>推論補助 -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/format/basic_format_args/op_deduction_guide.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/format/basic_format_args/op_deduction_guide.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/format/basic_format_args/op_deduction_guide.md b/reference/format/basic_format_args/op_deduction_guide.md

new file mode 100644

index 000000000..c4902d728

--- /dev/null

+++ b/reference/format/basic_format_args/op_deduction_guide.md

@@ -0,0 +1,63 @@

+# 推論補助

+* format[meta header]

+* std[meta namespace]

+* basic_format_args[meta class]

+* cpp23[meta cpp]

+

+```cpp

+namespace std {

+ template &amp;lt;class Context, class... Args&amp;gt;

+ basic_format_args(format_arg_store&amp;lt;Context, Args...&amp;gt;)

+ -&amp;gt; basic_format_args&amp;lt;Context&amp;gt;; // (1) C++23

+}

+```

+* format_arg_store[italic]

+

+## 概要

+[`basic_format_args`](../basic_format_args.md)クラステンプレートの型推論補助。

+

+- (1) : [`make_format_args`](../make_format_args.md)の戻り値（_`format_arg_store`_）から、テンプレートパラメータ`Context`を推論する。

+

+ただし、 _`format_arg_store`_ は`make_format_args`の戻り値と同じ型であることを示す便宜上の名前であり、規格には含まれない。

+

+

+## 備考

+この推論補助はC++23に対する欠陥報告 (LWG 3810) として追加されたものであり、コンパイラは早期に対応している場合がある。そのため、C++20モードでも使用できる可能性がある。

+

+

+## 例

+```cpp example

+#include &amp;lt;format&amp;gt;

+

+int main()

+{

+ // make_format_argsの戻り値から、basic_format_args&amp;lt;format_context&amp;gt;を推論する

+ std::basic_format_args args = std::make_format_args();

+ (void)args;

+}

+```

+* std::make_format_args[link ../make_format_args.md]

+

+### 出力

+```

+```

+

+

+## バージョン

+### 言語

+- C++23

+

+### 処理系

+- [Clang](/implementation.md#clang): 17 [mark verified]

+- [GCC](/implementation.md#gcc): 13.1 [mark verified]

+- [Visual C++](/implementation.md#visual_cpp): 2022 [mark verified]

+

+

+## 関連項目

+- [`basic_format_args`](../basic_format_args.md)

+- [`make_format_args`](../make_format_args.md)

+

+

+## 参照

+- [LWG Issue 3810. CTAD for `std::basic_format_args`](https://cplusplus.github.io/LWG/issue3810)

+ - C++23で、[`make_format_args`](../make_format_args.md)の戻り値から`Context`を推論するための推論補助が追加された

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>formatter -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/format/formatter.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/format/formatter.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/format/formatter.md b/reference/format/formatter.md

index c4175abb5..946536160 100644

--- a/reference/format/formatter.md

+++ b/reference/format/formatter.md

@@ -48,7 +48,7 @@ namespace std {

- `template&amp;lt;&amp;gt; struct formatter&amp;lt;char, wchar_t&amp;gt;`

- `template&amp;lt;&amp;gt; struct formatter&amp;lt;charT*, charT&amp;gt;`

- `template&amp;lt;&amp;gt; struct formatter&amp;lt;const charT*, charT&amp;gt;`

-- `template&amp;lt;size_t N&amp;gt; struct formatter&amp;lt;const charT[N], charT&amp;gt;`

+- `template&amp;lt;size_t N&amp;gt; struct formatter&amp;lt;charT[N], charT&amp;gt;`

- `template&amp;lt;class traits, class Allocator&amp;gt; struct formatter&amp;lt;`[`basic_string`](/reference/string/basic_string.md)`&amp;lt;charT, traits, Allocator&amp;gt;, charT&amp;gt;`

- `template&amp;lt;class traits&amp;gt; struct formatter&amp;lt;`[`basic_string_view`](/reference/string_view/basic_string_view.md)`&amp;lt;charT, traits&amp;gt;, charT&amp;gt;`

- 第1テンプレート引数が`nullptr_t`, `void*`, `const void*`, `bool`, すべてのCV修飾されない標準の整数型, 拡張整数型, 浮動小数点数型であり、第2テンプレート引数が`charT`であるもの。

@@ -284,5 +284,7 @@ int main()

- [P2286R8 Formatting Ranges](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2286r8.html)

- [P2585R1 Improve default container formatting](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2585r1.html)

- C++23から、Range・コンテナ、`pair`、`tuple`のフォーマット出力、および文字・文字列のデバッグ指定 (`&amp;#34;?&amp;#34;`) が追加された

+- [LWG Issue 3833. Remove specialization `template&amp;lt;size_t N&amp;gt; struct formatter&amp;lt;const charT[N], charT&amp;gt;`](https://cplusplus.github.io/LWG/issue3833)

+ - C++23で、`formatter`がCV修飾のないオブジェクト型に対してのみ特殊化される設計と矛盾するため、`formatter&amp;lt;const charT[N], charT&amp;gt;`の特殊化が有効な標準特殊化の一覧から削除された

- [LWG Issue 3944. Formatters converting sequences of `char` to sequences of `wchar_t`](https://cplusplus.github.io/LWG/issue3944)

- C++26で、`char`のシーケンスを`wchar_t`としてフォーマットする特殊化が、暗黙のマルチバイト／ワイド文字変換を避けるため明示的に無効化された

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>common_type -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/iterator/basic_const_iterator/common_type.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/iterator/basic_const_iterator/common_type.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/iterator/basic_const_iterator/common_type.md b/reference/iterator/basic_const_iterator/common_type.md

index 133aa1f18..fc6ae13c6 100644

--- a/reference/iterator/basic_const_iterator/common_type.md

+++ b/reference/iterator/basic_const_iterator/common_type.md

@@ -80,3 +80,5 @@ int main() {

## 参照

- [P2278R4 `cbegin` should always return a constant iterator](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2278r4.html)

+- [LWG Issue 3862. `basic_const_iterator`&amp;#39;s `common_type` specialization is underconstrained](https://cplusplus.github.io/LWG/issue3862)

+ - C++23で、3つの`common_type`特殊化に`common_type_t&amp;lt;T, U&amp;gt;`が`input_iterator`であることの制約が追加された

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>iter_move (非メンバ関数) -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/iterator/basic_const_iterator/iter_move.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/iterator/basic_const_iterator/iter_move.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/iterator/basic_const_iterator/iter_move.md b/reference/iterator/basic_const_iterator/iter_move.md

index 30602aa33..379e0f8f7 100644

--- a/reference/iterator/basic_const_iterator/iter_move.md

+++ b/reference/iterator/basic_const_iterator/iter_move.md

@@ -81,3 +81,5 @@ int main() {

## 参照

- [P2278R4 `cbegin` should always return a constant iterator](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2278r4.html)

+- [LWG Issue 3872. `basic_const_iterator` should have custom `iter_move`](https://cplusplus.github.io/LWG/issue3872)

+ - C++23で、`as_const`後に`as_rvalue`を適用しても効かない不整合を解消するため、専用の`iter_move`が追加された

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>mapping -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/mdspan/layout_left/mapping.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/mdspan/layout_left/mapping.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/mdspan/layout_left/mapping.md b/reference/mdspan/layout_left/mapping.md

index eb1e7669a..e0220c71c 100644

--- a/reference/mdspan/layout_left/mapping.md

+++ b/reference/mdspan/layout_left/mapping.md

@@ -136,3 +136,5 @@ int main()

## 参照

- [P0009R18 MDSPAN](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0009r18.html)

- [P2630R4 Submdspan](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2630r4.html)

+- [LWG Issue 3876. Default constructor of `std::layout_XX::mapping` misses precondition](https://cplusplus.github.io/LWG/issue3876)

+ - C++23で、`Extents::rank_dynamic() == 0`のとき、多次元インデクス空間`Extents()`のサイズが`Extents::index_type`で表現可能であることの適格要件が追加された

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>

</entry>

<entry>

<title>mapping -- Merge pull request #1735 from cpprefjp/cpp23_lib_issues2</title>

<link href="https://cpprefjp.github.io/reference/mdspan/layout_right/mapping.html"/>

<id>d5727fb4b5b8b946983c974bd18ac6616ad7f0d5:reference/mdspan/layout_right/mapping.md</id>

<updated>2026-08-18T11:29:46+09:00</updated>

<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/mdspan/layout_right/mapping.md b/reference/mdspan/layout_right/mapping.md

index e3c563a70..2d7bf4cf1 100644

--- a/reference/mdspan/layout_right/mapping.md

+++ b/reference/mdspan/layout_right/mapping.md

@@ -136,3 +136,5 @@ int main()

## 参照

- [P0009R18 MDSPAN](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0009r18.html)

- [P2630R4 Submdspan](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2630r4.html)

+- [LWG Issue 3876. Default constructor of `std::layout_XX::mapping` misses precondition](https://cplusplus.github.io/LWG/issue3876)

+ - C++23で、`Extents::rank_dynamic() == 0`のとき、多次元インデクス空間`Extents()`のサイズが`Extents::index_type`で表現可能であることの適格要件が追加された

&lt;/code&gt;&lt;/pre&gt;</summary>

<author>

<name>Akira Takahashi</name>

<email>faithandbrave@gmail.com</email>

</author>