File tree Expand file tree Collapse file tree 7 files changed +167
-46
lines changed
Expand file tree Collapse file tree 7 files changed +167
-46
lines changed Original file line number Diff line number Diff line change @@ -239,7 +239,7 @@ <h2>例</h2>
239239 < span class ="n "> < a href ="../cassert/assert.html "> assert</ a > </ span > < span class ="p "> (</ span > < span class ="n "> < span style ="color:#ff0000 "> chrono::make24</ span > </ span > < span class ="p "> (</ span > < span class ="n "> < a href ="duration/op_h.html "> 12h</ a > </ span > < span class ="p "> ,</ span > < span class ="nb "> false</ span > < span class ="p "> )</ span > < span class ="o "> ==</ span > < span class ="n "> < a href ="duration/op_h.html "> 0h</ a > </ span > < span class ="p "> );</ span >
240240
241241 < span class ="n "> < a href ="../cassert/assert.html "> assert</ a > </ span > < span class ="p "> (</ span > < span class ="n "> < span style ="color:#ff0000 "> chrono::make24</ span > </ span > < span class ="p "> (</ span > < span class ="n "> < a href ="duration/op_h.html "> 12h</ a > </ span > < span class ="p "> ,</ span > < span class ="nb "> true</ span > < span class ="p "> )</ span > < span class ="o "> ==</ span > < span class ="n "> < a href ="duration/op_h.html "> 12h</ a > </ span > < span class ="p "> );</ span >
242- < span class ="n "> < a href ="../cassert/assert.html "> assert</ a > </ span > < span class ="p "> (</ span > < span class ="n "> < span style ="color:#ff0000 "> chrono::make24</ span > </ span > < span class ="p "> (</ span > < span class ="n "> < a href ="duration/op_h.html "> 1h</ a > </ span > < span class ="p "> ,</ span > < span class ="nb "> true</ span > < span class ="p "> )</ span > < span class ="o "> ==</ span > < span class ="mi "> 1 </ span > < span class ="n "> < a href =" duration/op_h.html " > 3h </ a > </ span > < span class ="p "> );</ span >
242+ < span class ="n "> < a href ="../cassert/assert.html "> assert</ a > </ span > < span class ="p "> (</ span > < span class ="n "> < span style ="color:#ff0000 "> chrono::make24</ span > </ span > < span class ="p "> (</ span > < span class ="n "> < a href ="duration/op_h.html "> 1h</ a > </ span > < span class ="p "> ,</ span > < span class ="nb "> true</ span > < span class ="p "> )</ span > < span class ="o "> ==</ span > < span class ="mi "> 1U </ span > < span class ="n "> gupsMjnaXNctHgSJfgPjfOpJRczkibi </ span > < span class ="p "> );</ span >
243243 < span class ="n "> < a href ="../cassert/assert.html "> assert</ a > </ span > < span class ="p "> (</ span > < span class ="n "> < span style ="color:#ff0000 "> chrono::make24</ span > </ span > < span class ="p "> (</ span > < span class ="n "> < a href ="duration/op_h.html "> 3h</ a > </ span > < span class ="p "> ,</ span > < span class ="nb "> true</ span > < span class ="p "> )</ span > < span class ="o "> ==</ span > < span class ="n "> < a href ="duration/op_h.html "> 15h</ a > </ span > < span class ="p "> );</ span >
244244 < span class ="n "> < a href ="../cassert/assert.html "> assert</ a > </ span > < span class ="p "> (</ span > < span class ="n "> < span style ="color:#ff0000 "> chrono::make24</ span > </ span > < span class ="p "> (</ span > < span class ="n "> < a href ="duration/op_h.html "> 11h</ a > </ span > < span class ="p "> ,</ span > < span class ="nb "> true</ span > < span class ="p "> )</ span > < span class ="o "> ==</ span > < span class ="n "> < a href ="duration/op_h.html "> 23h</ a > </ span > < span class ="p "> );</ span >
245245< span class ="p "> }</ span >
Original file line number Diff line number Diff line change 200200
201201 < p class ="text-right "> < small >
202202 最終更新日時(UTC):
203- < span itemprop ="datePublished " content ="2024-06-11T13:45:38 ">
204- 2024年06月11日 13時45分38秒
203+ < span itemprop ="datePublished " content ="2025-02-28T01:18:32 ">
204+ 2025年02月28日 01時18分32秒
205205 </ span >
206206 < br />
207207 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
@@ -241,7 +241,7 @@ <h2>概要</h2>
241241< li > (1) : < code > expected</ code > オブジェクト同士の等値比較を行う。</ li >
242242< li > (2), (3) : < code > expected</ code > オブジェクトとエラー値の等値比較を行う。</ li >
243243</ ul >
244- < h2 > < a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる " > 適格要件 </ a > </ h2 >
244+ < h2 > < a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Constraints。関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件 " > テンプレートパラメータ制約 </ a > </ h2 >
245245< ul >
246246< li > (1) : 式< code > x.< a href ="error.html "> error()</ a > == y.< a href ="error.html "> error()</ a > </ code > が< a class ="cpprefjp-defined-word " data-desc ="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと " href ="../../../implementation-compliance.html#dfn-well-formed "> 適格</ a > であり、その結果を< code > bool</ code > へ変換可能であること。</ li >
247247< li > (2), (3) : 式< code > x.< a href ="error.html "> error()</ a > == e.< a href ="../unexpected/error.html "> error()</ a > </ code > が< a class ="cpprefjp-defined-word " data-desc ="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと " href ="../../../implementation-compliance.html#dfn-well-formed "> 適格</ a > であり、その結果を< code > bool</ code > へ変換可能であること。</ li >
@@ -295,6 +295,10 @@ <h3>処理系</h3>
295295< h2 > 参照</ h2 >
296296< ul >
297297< li > < a href ="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html " target ="_blank "> P0323R12 std::expected</ a > </ li >
298+ < li > < a href ="https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3379r0.html " target ="_blank "> P3379R0 Constrain < code > std::expected</ code > equality operators</ a > < ul >
299+ < li > C++26で「< a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる "> 適格要件</ a > 」を「< a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Constraints。関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件 "> テンプレートパラメータ制約</ a > 」に変更</ li >
300+ </ ul >
301+ </ li >
298302</ ul > </ div >
299303
300304 </ div >
Original file line number Diff line number Diff line change 200200
201201 < p class ="text-right "> < small >
202202 最終更新日時(UTC):
203- < span itemprop ="datePublished " content ="2024-06-11T13:45:38 ">
204- 2024年06月11日 13時45分38秒
203+ < span itemprop ="datePublished " content ="2025-02-28T01:18:32 ">
204+ 2025年02月28日 01時18分32秒
205205 </ span >
206206 < br />
207207 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
@@ -241,7 +241,7 @@ <h2>概要</h2>
241241< li > (1) : < code > expected</ code > オブジェクト同士の非等値比較を行う。</ li >
242242< li > (2), (3) : < code > expected</ code > オブジェクトとエラー値の非等値比較を行う。</ li >
243243</ ul >
244- < h2 > < a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる " > 適格要件 </ a > </ h2 >
244+ < h2 > < a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Constraints。関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件 " > テンプレートパラメータ制約 </ a > </ h2 >
245245< ul >
246246< li > (1) : 式< code > x.< a href ="error.html "> error()</ a > == y.< a href ="error.html "> error()</ a > </ code > が< a class ="cpprefjp-defined-word " data-desc ="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと " href ="../../../implementation-compliance.html#dfn-well-formed "> 適格</ a > であり、その結果を< code > bool</ code > へ変換可能であること。</ li >
247247< li > (2), (3) : 式< code > x.< a href ="error.html "> error()</ a > == e.< a href ="../unexpected/error.html "> error()</ a > </ code > が< a class ="cpprefjp-defined-word " data-desc ="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと " href ="../../../implementation-compliance.html#dfn-well-formed "> 適格</ a > であり、その結果を< code > bool</ code > へ変換可能であること。</ li >
@@ -291,6 +291,10 @@ <h3>処理系</h3>
291291< h2 > 参照</ h2 >
292292< ul >
293293< li > < a href ="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html " target ="_blank "> P0323R12 std::expected</ a > </ li >
294+ < li > < a href ="https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3379r0.html " target ="_blank "> P3379R0 Constrain < code > std::expected</ code > equality operators</ a > < ul >
295+ < li > C++26で「< a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる "> 適格要件</ a > 」を「< a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Constraints。関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件 "> テンプレートパラメータ制約</ a > 」に変更</ li >
296+ </ ul >
297+ </ li >
294298</ ul > </ div >
295299
296300 </ div >
Original file line number Diff line number Diff line change 200200
201201 < p class ="text-right "> < small >
202202 最終更新日時(UTC):
203- < span itemprop ="datePublished " content ="2024-06-11T13:45:38 ">
204- 2024年06月11日 13時45分38秒
203+ < span itemprop ="datePublished " content ="2025-02-28T01:18:32 ">
204+ 2025年02月28日 01時18分32秒
205205 </ span >
206206 < br />
207207 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
@@ -247,7 +247,7 @@ <h2>概要</h2>
247247< li > (2), (3) : < code > expected</ code > オブジェクトと正常値の等値比較を行う。</ li >
248248< li > (4), (5) : < code > expected</ code > オブジェクトとエラー値の等値比較を行う。</ li >
249249</ ul >
250- < h2 > < a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる " > 適格要件 </ a > </ h2 >
250+ < h2 > < a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Constraints。関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件 " > テンプレートパラメータ制約 </ a > </ h2 >
251251< ul >
252252< li > (1) : 式< code > < a href ="op_deref.html "> *x</ a > == < a href ="op_deref.html "> *y</ a > </ code > および式< code > x.< a href ="error.html "> error()</ a > == y.< a href ="error.html "> error()</ a > </ code > が< a class ="cpprefjp-defined-word " data-desc ="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと " href ="../../../implementation-compliance.html#dfn-well-formed "> 適格</ a > であり、各式の結果を< code > bool</ code > へ変換可能であること。</ li >
253253< li > (2), (3) : 式< code > < a href ="op_deref.html "> *x</ a > == v</ code > が< a class ="cpprefjp-defined-word " data-desc ="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと " href ="../../../implementation-compliance.html#dfn-well-formed "> 適格</ a > であり、その結果を< code > bool</ code > へ変換可能であること。</ li >
@@ -308,6 +308,10 @@ <h3>処理系</h3>
308308< h2 > 参照</ h2 >
309309< ul >
310310< li > < a href ="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html " target ="_blank "> P0323R12 std::expected</ a > </ li >
311+ < li > < a href ="https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3379r0.html " target ="_blank "> P3379R0 Constrain < code > std::expected</ code > equality operators</ a > < ul >
312+ < li > C++26で「< a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる "> 適格要件</ a > 」を「< a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Constraints。関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件 "> テンプレートパラメータ制約</ a > 」に変更</ li >
313+ </ ul >
314+ </ li >
311315</ ul > </ div >
312316
313317 </ div >
Original file line number Diff line number Diff line change 200200
201201 < p class ="text-right "> < small >
202202 最終更新日時(UTC):
203- < span itemprop ="datePublished " content ="2024-06-11T13:45:38 ">
204- 2024年06月11日 13時45分38秒
203+ < span itemprop ="datePublished " content ="2025-02-28T01:18:32 ">
204+ 2025年02月28日 01時18分32秒
205205 </ span >
206206 < br />
207207 < span itemprop ="author " itemscope itemtype ="http://schema.org/Person ">
@@ -246,7 +246,7 @@ <h2>概要</h2>
246246< li > (2), (3) : < code > expected</ code > オブジェクトと正常値の非等値比較を行う。</ li >
247247< li > (4), (5) : < code > expected</ code > オブジェクトとエラー値の非等値比較を行う。</ li >
248248</ ul >
249- < h2 > < a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる " > 適格要件 </ a > </ h2 >
249+ < h2 > < a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Constraints。関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件 " > テンプレートパラメータ制約 </ a > </ h2 >
250250< ul >
251251< li > (1) : 式< code > < a href ="op_deref.html "> *x</ a > == < a href ="op_deref.html "> *y</ a > </ code > および式< code > x.< a href ="error.html "> error()</ a > == y.< a href ="error.html "> error()</ a > </ code > が< a class ="cpprefjp-defined-word " data-desc ="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと " href ="../../../implementation-compliance.html#dfn-well-formed "> 適格</ a > であり、各式の結果を< code > bool</ code > へ変換可能であること。</ li >
252252< li > (2), (3) : 式< code > < a href ="op_deref.html "> *x</ a > == v</ code > が< a class ="cpprefjp-defined-word " data-desc ="プログラムが文法規則・診断対象の意味規則・単一定義規則を満たすこと " href ="../../../implementation-compliance.html#dfn-well-formed "> 適格</ a > であり、その結果を< code > bool</ code > へ変換可能であること。</ li >
@@ -302,6 +302,10 @@ <h3>処理系</h3>
302302< h2 > 参照</ h2 >
303303< ul >
304304< li > < a href ="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html " target ="_blank "> P0323R12 std::expected</ a > </ li >
305+ < li > < a href ="https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3379r0.html " target ="_blank "> P3379R0 Constrain < code > std::expected</ code > equality operators</ a > < ul >
306+ < li > C++26で「< a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる "> 適格要件</ a > 」を「< a class ="cpprefjp-defined-word " data-desc ="関数等の意味論を構成する要素の1つ。Constraints。関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件 "> テンプレートパラメータ制約</ a > 」に変更</ li >
307+ </ ul >
308+ </ li >
305309</ ul > </ div >
306310
307311 </ div >
You can’t perform that action at this time.
0 commit comments