Skip to content

Commit 5cf93d7

Browse files
author
cpprefjp-autoupdate
committed
update automatically
1 parent 2c1b6d4 commit 5cf93d7

File tree

4 files changed

+42
-35
lines changed

4 files changed

+42
-35
lines changed

‎reference/chrono/make24.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff 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">1l</span><span class="n">gbBvJsNifoDaLaBabWesPjzLwKYvCaj</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>

‎reference/concepts/invocable.html‎

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -188,12 +188,12 @@
188188

189189
<p class="text-right"><small>
190190
最終更新日時(UTC):
191-
<span itemprop="datePublished" content="2025-10-20T07:34:57">
192-
2025年10月20日 07時34分57秒
191+
<span itemprop="datePublished" content="2025-12-21T10:10:56">
192+
2025年12月21日 10時10分56秒
193193
</span>
194194
<br/>
195195
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
196-
<span itemprop="name">Raclamusi</span>
196+
<span itemprop="name">onihusube</span>
197197
</span>
198198
が更新
199199
</small></p>
@@ -226,9 +226,10 @@
226226
</p>
227227
<h2>概要</h2>
228228
<p><code>invocable</code>及び<code>regular_invocable</code>は、任意の関数呼び出し可能な型<code>F</code>が引数<code>Args...</code>によって関数呼び出し可能であることを表すコンセプトである。</p>
229+
<p>加えて、<code>regular_invocable</code>はその呼び出しが等しさを保持し、なおかつ関数オブジェクト（<code>F</code>のオブジェクト）も引数（<code>Args</code>オブジェクト）も変更しないものである必要がある。</p>
229230
<h2>等しさの保持</h2>
230231
<p><code>invocable</code>コンセプトでは<code>F</code>の<code>Args...</code>による関数呼び出しが<a href="../concepts.html">等しさを保持</a>することを要求しない。従って、<code>invocable</code>コンセプトのモデルとなる型<code>F, Args...</code>は関数呼び出しに際して副作用があっても良く、その出力が内部状態や外部状態に依存していても構わない。</p>
231-
<p>対して、<code>regular_invocable</code>コンセプトのモデルとなる<code>F</code>の<code>Args...</code>による関数呼び出しには<a href="../concepts.html">等しさを保持</a>することが要求される。従って、<code>regular_invocable</code>コンセプトのモデルとなる型<code>F, Args...</code>は関数呼び出しに際して副作用を持ってはならず、出力は何かしらの状態に依存してはならない。ただし、このことは構文的に（コンパイル時に）チェックされるものではなく、純粋に意味論的な制約として要求・表明される。</p>
232+
<p>対して、<code>regular_invocable</code>コンセプトのモデルとなる<code>F</code>の<code>Args...</code>による関数呼び出しには<a href="../concepts.html">等しさを保持</a>することと引数を変更しないことが要求される。従って、<code>regular_invocable</code>コンセプトのモデルとなる型<code>F, Args...</code>は関数呼び出しに際して副作用を持ってはならず、出力は何かしらの状態に依存してはならない。ただし、このことは構文的に（コンパイル時に）チェックされるものではなく、純粋に意味論的な制約として要求・表明される。</p>
232233
<p>例えば、<a href="../random.html">乱数・分布生成器</a>はその呼び出しに際して等しさを保持しない（内部に状態を保ち、出力はそれに依存する）ため、<code>regular_invocable</code>コンセプトのモデルにはならないが<code>invocable</code>コンセプトのモデルとなる。</p>
233234
<h2>例</h2>
234235
<h3>invocable</h3>

‎rss.xml‎

Lines changed: 35 additions & 29 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,43 @@
22
<feed xmlns="http://www.w3.org/2005/Atom">
33
<title>cpprefjp - C++日本語リファレンス</title>
44
<link href="https://cpprefjp.github.io" />
5-
<updated>2025-12-20T14:43:58.644510</updated>
6-
<id>e27d1cea-65ba-4492-8e98-6ebeddb845d6</id>
5+
<updated>2025-12-21T10:15:03.641028</updated>
6+
<id>02db26bc-fcfd-4bf1-bd1c-dcdd421ce5f3</id>
77

88

9+
<entry>
10+
<title>invocable -- regular_invocable: 意味論要件について追加と調整</title>
11+
<link href="https://cpprefjp.github.io/reference/concepts/invocable.html"/>
12+
<id>baadf1ba8cbbf82fc7ece96596d119e0949b6b96:reference/concepts/invocable.md</id>
13+
<updated>2025-12-21T19:10:56+09:00</updated>
14+
15+
<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/concepts/invocable.md b/reference/concepts/invocable.md
16+
index a19bbae04..7fa1ed181 100644
17+
--- a/reference/concepts/invocable.md
18+
+++ b/reference/concepts/invocable.md
19+
@@ -21,11 +21,13 @@ namespace std {
20+
21+
`invocable`及び`regular_invocable`は、任意の関数呼び出し可能な型`F`が引数`Args...`によって関数呼び出し可能であることを表すコンセプトである。
22+
23+
+加えて、`regular_invocable`はその呼び出しが等しさを保持し、なおかつ関数オブジェクト（`F`のオブジェクト）も引数（`Args`オブジェクト）も変更しないものである必要がある。
24+
+
25+
## 等しさの保持
26+
27+
`invocable`コンセプトでは`F`の`Args...`による関数呼び出しが[等しさを保持](/reference/concepts.md)することを要求しない。従って、`invocable`コンセプトのモデルとなる型`F, Args...`は関数呼び出しに際して副作用があっても良く、その出力が内部状態や外部状態に依存していても構わない。
28+
29+
-対して、`regular_invocable`コンセプトのモデルとなる`F`の`Args...`による関数呼び出しには[等しさを保持](/reference/concepts.md)することが要求される。従って、`regular_invocable`コンセプトのモデルとなる型`F, Args...`は関数呼び出しに際して副作用を持ってはならず、出力は何かしらの状態に依存してはならない。ただし、このことは構文的に（コンパイル時に）チェックされるものではなく、純粋に意味論的な制約として要求・表明される。
30+
+対して、`regular_invocable`コンセプトのモデルとなる`F`の`Args...`による関数呼び出しには[等しさを保持](/reference/concepts.md)することと引数を変更しないことが要求される。従って、`regular_invocable`コンセプトのモデルとなる型`F, Args...`は関数呼び出しに際して副作用を持ってはならず、出力は何かしらの状態に依存してはならない。ただし、このことは構文的に（コンパイル時に）チェックされるものではなく、純粋に意味論的な制約として要求・表明される。
31+
32+
例えば、[乱数・分布生成器](/reference/random.md)はその呼び出しに際して等しさを保持しない（内部に状態を保ち、出力はそれに依存する）ため、`regular_invocable`コンセプトのモデルにはならないが`invocable`コンセプトのモデルとなる。
33+
34+
&lt;/code&gt;&lt;/pre&gt;</summary>
35+
36+
<author>
37+
<name>onihusube</name>
38+
<email>44743040+onihusube@users.noreply.github.com</email>
39+
</author>
40+
</entry>
41+
942
<entry>
1043
<title>契約プログラミング [P2900R14] -- reference / lang : ですます調を、である調に修正</title>
1144
<link href="https://cpprefjp.github.io/lang/cpp26/contracts.html"/>
@@ -962,31 +995,4 @@ index f2edde4bc..b839bc566 100644
962995
</author>
963996
</entry>
964997

965-
<entry>
966-
<title>minmax_element -- fix typo in `reference/algorithm/minmax_element.md`</title>
967-
<link href="https://cpprefjp.github.io/reference/algorithm/minmax_element.html"/>
968-
<id>801c37f8708c6054ffe49561e7f02968abadc433:reference/algorithm/minmax_element.md</id>
969-
<updated>2025-12-05T03:13:26+09:00</updated>
970-
971-
<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/algorithm/minmax_element.md b/reference/algorithm/minmax_element.md
972-
index f2edde4bc..b839bc566 100644
973-
--- a/reference/algorithm/minmax_element.md
974-
+++ b/reference/algorithm/minmax_element.md
975-
@@ -109,7 +109,7 @@ minmax_element(ForwardIterator first, ForwardIterator last, Compare comp)
976-
ForwardIterator prev = first;
977-
978-
// 残りの要素が 1 個しか無かったら、.first と .second の両方の要素と比較して、
979-
- // 必要に応じで結果を更新後、ループを抜ける
980-
+ // 必要に応じて結果を更新後、ループを抜ける
981-
if (++first == last) {
982-
if (comp(*prev, *result.first))
983-
result.first = prev;
984-
&lt;/code&gt;&lt;/pre&gt;</summary>
985-
986-
<author>
987-
<name>Ryoga</name>
988-
<email>49950206+Ryoga-exe@users.noreply.github.com</email>
989-
</author>
990-
</entry>
991-
992998
</feed>

‎sitemap.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15186,7 +15186,7 @@
1518615186

1518715187
<url>
1518815188
<loc>https://cpprefjp.github.io/reference/concepts/invocable.html</loc>
15189-
<lastmod>2025-10-20T16:34:57+09:00</lastmod>
15189+
<lastmod>2025-12-21T19:10:56+09:00</lastmod>
1519015190
<changefreq>daily</changefreq>
1519115191
<priority>0.7</priority>
1519215192
</url>

0 commit comments

Comments
 (0)