C++26 未初期化変数の読み取り : 今後の話を仕様から備考に移動

Author: faithandbrave

lang/cpp26/erroneous_behavior_for_uninitialized_reads.md

@@ -109,6 +109,19 @@ int main() {
 }
 ```
 
+## 備考
+- 以下のようなケースでは、erroneous behaviorではなく未定義動作を引き起こす可能性がある：
+    ```cpp
+    T* p;    // 未初期化のポインタ。erroneous value (例としてヌルポインタ) をもつ
+    bool b;  // 未初期化の真理値。
+             // bool値として妥当な値表現をもたない可能性がある
+             // (例: 値表現が8bitで{0x00(false), 0x01(true)}の
+             // 2通りのみとする処理系で0xCCをもつなど)
+
+    f(*p);   // 間接参照は未定義動作を引き起こす
+    g(b);    // bが妥当な値表現をもつ場合にerroneous behavior、そうでなければ未定義動作
+    ```
+
 ### 今後、「erroneous behavior」に分類される可能性のある操作
 
 現在、未定義動作に分類される以下の操作は、「erroneous behavior」に分類できる可能性がある。
@@ -124,19 +137,5 @@ int main() {
 | 契約違反 | 契約に関する現在の策定作業では、契約違反時になにが起こるべきかという問題に直面している。「erroneous behavior」という概念は有用な回答を与えてくれる可能性がある |
 
 
-## 備考
-- 以下のようなケースでは、erroneous behaviorではなく未定義動作を引き起こす可能性がある：
-    ```cpp
-    T* p;    // 未初期化のポインタ。erroneous value (例としてヌルポインタ) をもつ
-    bool b;  // 未初期化の真理値。
-             // bool値として妥当な値表現をもたない可能性がある
-             // (例: 値表現が8bitで{0x00(false), 0x01(true)}の
-             // 2通りのみとする処理系で0xCCをもつなど)
-
-    f(*p);   // 間接参照は未定義動作を引き起こす
-    g(b);    // bが妥当な値表現をもつ場合にerroneous behavior、そうでなければ未定義動作
-    ```
-
-
 ## 参照
 - [P2795R5 Erroneous behaviour for uninitialized reads](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2795r5.html)