Skip to content

Commit 6ab3596

Browse files
author
cpprefjp-autoupdate
committed
update automatically
1 parent cd0cee2 commit 6ab3596

File tree

3 files changed

+33
-116
lines changed

3 files changed

+33
-116
lines changed

lang/cpp26/contracts.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -188,8 +188,8 @@
188188

189189
<p class="text-right"><small>
190190
最終更新日時(UTC):
191-
<span itemprop="datePublished" content="2025-04-20T13:57:27">
192-
2025年04月20日 13時57分27秒
191+
<span itemprop="datePublished" content="2025-04-20T14:00:30">
192+
2025年04月20日 14時00分30秒
193193
</span>
194194
<br/>
195195
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -296,7 +296,7 @@ <h3>契約の評価モード</h3>
296296

297297
のように指定できる。</p>
298298
<h3>契約違反ハンドラ</h3>
299-
<p>契約違反が発生した場合、<code>std::contracts::contract_violation</code>型の情報(&lt;contracts&gt;ヘッダー)がハンドラに渡されます。この情報には、違反の種類、発生場所、違反した条件式などが含まれます。</p>
299+
<p>契約違反が発生した場合、<code>std::contracts::contract_violation</code>型の情報(&lt;contracts&gt;ヘッダー)がハンドラに渡されます。この情報には、違反の種類、発生場所、違反した条件式などが含まれます。</p>
300300
<h3>使用上の注意</h3>
301301
<p>以下の操作は、気をつけなければならない。</p>
302302
<ul>

rss.xml

Lines changed: 29 additions & 112 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,37 @@
22
<feed xmlns="http://www.w3.org/2005/Atom">
33
<title>cpprefjp - C++日本語リファレンス</title>
44
<link href="https://cpprefjp.github.io" />
5-
<updated>2025-04-20T14:01:07.746862</updated>
6-
<id>42194a94-c727-48ac-adc3-f0884b5ad276</id>
5+
<updated>2025-04-20T14:05:07.149842</updated>
6+
<id>4fb06250-1693-4d84-838e-194d16bc0761</id>
77

88

9+
<entry>
10+
<title>契約プログラミング [P2900R14] -- lang/cpp26/contracts.md: Removed zero-width space</title>
11+
<link href="https://cpprefjp.github.io/lang/cpp26/contracts.html"/>
12+
<id>148bb8c64c8f9f14e08b00ec1be607102c9d40d1:lang/cpp26/contracts.md</id>
13+
<updated>2025-04-20T23:00:30+09:00</updated>
14+
15+
<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/lang/cpp26/contracts.md b/lang/cpp26/contracts.md
16+
index 2681cba7d..f8af8f946 100644
17+
--- a/lang/cpp26/contracts.md
18+
+++ b/lang/cpp26/contracts.md
19+
@@ -95,7 +95,7 @@ g++ -std=c++26 -fcontracts -fcontract-semantic=observe main.cpp
20+
のように指定できる。
21+
22+
### 契約違反ハンドラ
23+
-契約違反が発生した場合、`std::contracts::contract_violation`型の情報(&amp;amp;lt;contracts&amp;amp;gt;ヘッダー)がハンドラに渡されます。​この情報には、違反の種類、発生場所、違反した条件式などが含まれます。
24+
+契約違反が発生した場合、`std::contracts::contract_violation`型の情報(&amp;amp;lt;contracts&amp;amp;gt;ヘッダー)がハンドラに渡されます。この情報には、違反の種類、発生場所、違反した条件式などが含まれます。
25+
26+
### 使用上の注意
27+
以下の操作は、気をつけなければならない。
28+
&lt;/code&gt;&lt;/pre&gt;</summary>
29+
30+
<author>
31+
<name>rotarymars</name>
32+
<email>s.goto2050@gmail.com</email>
33+
</author>
34+
</entry>
35+
936
<entry>
1037
<title>契約プログラミング [P2900R14] -- lang/cpp26/contracts.md: Fixed link</title>
1138
<link href="https://cpprefjp.github.io/lang/cpp26/contracts.html"/>
@@ -2868,114 +2895,4 @@ index 5a118885d..e4d3a09e3 100644
28682895
</author>
28692896
</entry>
28702897

2871-
<entry>
2872-
<title>execution -- execution: schedule_result_t (#1384)</title>
2873-
<link href="https://cpprefjp.github.io/reference/execution/execution.html"/>
2874-
<id>a4fbd160cb9e78a14ada6491c54dd1d9c55dfed6:reference/execution/execution.md</id>
2875-
<updated>2025-04-19T23:32:22+09:00</updated>
2876-
2877-
<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution.md b/reference/execution/execution.md
2878-
index f4b35abe5..9487a1788 100644
2879-
--- a/reference/execution/execution.md
2880-
+++ b/reference/execution/execution.md
2881-
@@ -104,7 +104,7 @@ namespace std::execution {
2882-
| [`execution::just_stopped`](execution/just_stopped.md.nolink) | 停止を送信するSender (customization point object) | C++26 |
2883-
| [`execution::read_env`](execution/read_env.md.nolink) | Receiver環境から構築されるSender (customization point object) | C++26 |
2884-
| [`execution::schedule`](execution/schedule.md) | Scheduler上で実行されるSender (customization point object) | C++26 |
2885-
-| [`execution::schedule_result_t`](execution/schedule_result_t.md.nolink) | `schedule`結果型を取得 (alias template) | C++26 |
2886-
+| [`execution::schedule_result_t`](execution/schedule_result_t.md) | [`schedule`](execution/schedule.md)結果型を取得 (alias template) | C++26 |
2887-
2888-
### Senderアダプタ
2889-
2890-
&lt;/code&gt;&lt;/pre&gt;</summary>
2891-
2892-
<author>
2893-
<name>yoh</name>
2894-
<email>kawasaki.liamg@gmail.com</email>
2895-
</author>
2896-
</entry>
2897-
2898-
<entry>
2899-
<title>schedule -- execution: schedule_result_t (#1384)</title>
2900-
<link href="https://cpprefjp.github.io/reference/execution/execution/schedule.html"/>
2901-
<id>a4fbd160cb9e78a14ada6491c54dd1d9c55dfed6:reference/execution/execution/schedule.md</id>
2902-
<updated>2025-04-19T23:32:22+09:00</updated>
2903-
2904-
<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution/schedule.md b/reference/execution/execution/schedule.md
2905-
index f7571c0e2..8bd90c80c 100644
2906-
--- a/reference/execution/execution/schedule.md
2907-
+++ b/reference/execution/execution/schedule.md
2908-
@@ -67,6 +67,8 @@ int main()
2909-
* get_scheduler()[link run_loop/get_scheduler.md.nolink]
2910-
* run()[link run_loop/run.md.nolink]
2911-
* finish()[link run_loop/finish.md.nolink]
2912-
+* std::move[link /reference/utility/move.md]
2913-
+* std::jthread[link /reference/thread/jthread.md]
2914-
* std::this_thread::get_id()[link /reference/thread/this_thread/get_id.md]
2915-
2916-
### 出力例
2917-
&lt;/code&gt;&lt;/pre&gt;</summary>
2918-
2919-
<author>
2920-
<name>yoh</name>
2921-
<email>kawasaki.liamg@gmail.com</email>
2922-
</author>
2923-
</entry>
2924-
2925-
<entry>
2926-
<title>schedule_result_t -- execution: schedule_result_t (#1384)</title>
2927-
<link href="https://cpprefjp.github.io/reference/execution/execution/schedule_result_t.html"/>
2928-
<id>a4fbd160cb9e78a14ada6491c54dd1d9c55dfed6:reference/execution/execution/schedule_result_t.md</id>
2929-
<updated>2025-04-19T23:32:22+09:00</updated>
2930-
2931-
<summary type="html">&lt;pre&gt;&lt;code&gt;diff --git a/reference/execution/execution/schedule_result_t.md b/reference/execution/execution/schedule_result_t.md
2932-
new file mode 100644
2933-
index 000000000..663de9f6e
2934-
--- /dev/null
2935-
+++ b/reference/execution/execution/schedule_result_t.md
2936-
@@ -0,0 +1,36 @@
2937-
+# schedule_result_t
2938-
+* execution[meta header]
2939-
+* std::execution[meta namespace]
2940-
+* type-alias[meta id-type]
2941-
+* cpp26[meta cpp]
2942-
+
2943-
+```cpp
2944-
+namespace std::execution {
2945-
+ template&amp;lt;scheduler Sndr&amp;gt;
2946-
+ using schedule_result_t = decltype(schedule(declval&amp;lt;Sndr&amp;gt;()));
2947-
+}
2948-
+```
2949-
+* scheduler[link scheduler.md]
2950-
+* schedule[link schedule.md]
2951-
+
2952-
+## 概要
2953-
+[Scheduler型](scheduler.md)`Sndr`の[`schedule`](schedule.md)結果型を取得する。
2954-
+
2955-
+
2956-
+## バージョン
2957-
+### 言語
2958-
+- C++26
2959-
+
2960-
+### 処理系
2961-
+- [Clang](/implementation.md#clang): ??
2962-
+- [GCC](/implementation.md#gcc): ??
2963-
+- [ICC](/implementation.md#icc): ??
2964-
+- [Visual C++](/implementation.md#visual_cpp): ??
2965-
+
2966-
+
2967-
+## 関連項目
2968-
+- [`execution::schedule`](schedule.md)
2969-
+
2970-
+
2971-
+## 参照
2972-
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)
2973-
&lt;/code&gt;&lt;/pre&gt;</summary>
2974-
2975-
<author>
2976-
<name>yoh</name>
2977-
<email>kawasaki.liamg@gmail.com</email>
2978-
</author>
2979-
</entry>
2980-
29812898
</feed>

sitemap.xml

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

3783937839
<url>
3784037840
<loc>https://cpprefjp.github.io/lang/cpp26/contracts.html</loc>
37841-
<lastmod>2025-04-20T22:57:27+09:00</lastmod>
37841+
<lastmod>2025-04-20T23:00:30+09:00</lastmod>
3784237842
<changefreq>daily</changefreq>
3784337843
<priority>0.7</priority>
3784437844
</url>

0 commit comments

Comments
 (0)