C++26: 「空の無限ループは未定義動作ではないと規定」を追加 (close #1326)

Author: faithandbrave

implementation-status.md

@@ -305,7 +305,7 @@
 | P3106R1: [要素数不明の配列を集成体初期化する規則を明確化](/lang/cpp26/clarifying_rules_for_brace_elision_in_aggregate_initialization.md.nolink) | 配列要素の集成体初期化で`{}`が省略された場合の矛盾していた規定を修正 | yes | 17 | | |
 | P0609R3: [構造化束縛への属性を許可](/lang/cpp26/attributes_for_structured_bindings.md) | `auto [a, b [[maybe_unused]], c] = f();`のように構造化束縛の要素に対して属性を付加できるようにする | 15 | 19 | | |
 | P3034R1: [モジュール宣言でのモジュール名のマクロ展開を禁止する](/lang/cpp26/module_declarations_shouldnt_be_macros.md.nolink) | `export module MACRO_NAME;`を禁止 | | | | |
-| P2809R3: [自明な無限ループは未定義動作ではないと規定](/lang/cpp26/trivial_infinite_loops_are_not_undefined_behavior.md.nolink) | 並行プログラムの進行保証などを考慮して無限ループを未定義動作ではないものとする | 14 | 19 | | |
+| P2809R3: [空の無限ループは未定義動作ではないと規定](/lang/cpp26/trivial_infinite_loops_are_not_undefined_behavior.md) | 並行プログラムの進行保証などを考慮して空の無限ループを未定義動作ではないものとする | 14 | 19 | | |
 | P2795R5: [未初期化変数の読み取りをエラー性動作とする](/lang/cpp26/erroneous_behavior_for_uninitialized_reads.md) | 初期化されていない自動変数の読み取りの安全性を規定する | | | | |
 | P2573R2: [関数宣言を削除する理由を指定できるようにする](/lang/cpp26/delete_reason.md) | `f() = delete("reason");` | 15 | 19 | | |
 | P2893R3: [可変引数テンプレートで`friend`宣言をできるようにする](/lang/cpp26/variadic_friends.md.nolink) | クラステンプレートの可変引数テンプレートでまとめて`friend`宣言できるようにする | 15 | | | |

lang/cpp26.md

@@ -34,7 +34,7 @@ C++26とは、2026年中に改訂される予定の、C++バージョンの通
 | 言語機能 | 説明 |
 |----------|------|
 | [条件式での構造化束縛の使用を許可](/lang/cpp26/structured_binding_declaration_as_a_condition.md) | 式全体を`bool`値に変換できる場合に条件式で構造化束縛を使用できることとする |
-| [自明な無限ループは未定義動作ではないと規定](/lang/cpp26/trivial_infinite_loops_are_not_undefined_behavior.md.nolink) | 並行プログラムの進行保証などを考慮して無限ループを未定義動作ではないものとする |
+| [空の無限ループは未定義動作ではないと規定](/lang/cpp26/trivial_infinite_loops_are_not_undefined_behavior.md) | 並行プログラムの進行保証などを考慮して空の無限ループを未定義動作ではないものとする |
 
 
 ### 関数

lang/cpp26/trivial_infinite_loops_are_not_undefined_behavior.md

@@ -0,0 +1,47 @@
+# 空の無限ループは未定義動作ではないと規定 [P2809R3]
+* cpp26[meta cpp]
+
+<!-- start lang caution -->
+
+このページはC++26に採用される見込みの言語機能の変更を解説しています。
+
+のちのC++規格でさらに変更される場合があるため関連項目を参照してください。
+
+<!-- last lang caution -->
+
+## 概要
+C++23までは、以下のような「条件式が定数式で`true`となる空の無限ループ」が未定義動作と規定されていた。
+
+```cpp
+while (true)
+  ;
+```
+
+C++26ではこのような無限ループは以下のように展開され、並行プログラムの進行保証をした上で未定義動作ではないと規定される。
+
+```cpp
+while (true)
+  std::this_thread::yield();
+```
+* std::this_thread[link /reference/thread/this_thread.md]
+* yield()[link /reference/thread/this_thread/yield.md]
+
+
+## 仕様
+以下の形式になっている文を、「トリビアルで空のイテレーション文」であると定義する。
+
+- `while (条件式) ;`
+- `while (条件式) { }`
+- `do ; while (条件式) ;`
+- `do { } while (条件式) ;`
+- `for ( 初期化式 ; 条件式(省略可) ; ) ;`
+- `for ( 初期化式 ; 条件式(省略可) ; ) { }`
+
+また、「トリビアルで空のイテレーション文」のうち、条件式が定数式として`true`に展開される文を「トリビアルな無限ループ」であると定義する。トリビアルな無限ループ内の文は、[`std::this_thread`](/reference/thread/this_thread.md)`::`[`yield()`](/reference/thread/this_thread/yield.md)の呼び出しに置き換えられる。
+
+注：フリースタンディング環境においては、並行進行保証はされない。そのようなシステムにおいては明示的な協調操作が必要となる。
+
+
+## 参照
+- [P2809R3 Trivial infinite loops are not Undefined Behavior](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2809r3.html)
+