stdexcept関係のconstexpr対応 (#1433)

Author: faithandbrave

lang/cpp26/allowing_exception_throwing_in_constant-evaluation.md

@@ -54,6 +54,8 @@ const auto d = hello("Adolph Blaine Charles David Earl Frederick Gerald Hubert I
 - [`std::bad_array_new_length`](/reference/new/bad_array_new_length.md)
 - [`std::bad_cast`](/reference/typeinfo/bad_cast.md)
 - [`std::bad_typeid`](/reference/typeinfo/bad_typeid.md)
+- [`<stdexcept>`](/reference/stdexcept.md)
+- [`std::bad_expected_access`](/reference/expected/bad_expected_access.md)
 
 
 ## 参照

reference/expected/bad_expected_access/error.md

@@ -6,10 +6,17 @@
 * cpp23[meta cpp]
 
 ```cpp
-constexpr const E& error() const & noexcept;   // (1)
-constexpr E& error() & noexcept;               // (2)
-constexpr const E&& error() const && noexcept; // (3)
-constexpr E&& error() && noexcept;             // (4)
+const E& error() const & noexcept;             // (1) C++23
+constexpr const E& error() const & noexcept;   // (1) C++26
+
+E& error() & noexcept;                         // (2) C++23
+constexpr E& error() & noexcept;               // (2) C++26
+
+const E&& error() const && noexcept;           // (3) C++23
+constexpr const E&& error() const && noexcept; // (3) C++26
+
+E&& error() && noexcept;                       // (4) C++23
+constexpr E&& error() && noexcept;             // (4) C++26
 ```
 
 ## 概要
@@ -66,6 +73,12 @@ throw:ERR
 - [Visual C++](/implementation.md#visual_cpp): ??
 
 
+## 関連項目
+- [C++26 定数評価での例外送出を許可](/lang/cpp26/allowing_exception_throwing_in_constant-evaluation.md)
+
+
 ## 参照
 - [P0323R12 std::expected](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html)
 - [P2549R1 `std::unexpected<E>` should have `error()` as member accessor](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2549r1.html)
+- [P3378R2 `constexpr` exception types](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3378r2.html)
+    - C++26で`constexpr`対応した

reference/expected/bad_expected_access/op_constructor.md

@@ -6,9 +6,14 @@
 * cpp23[meta cpp]
 
 ```cpp
-explicit bad_expected_access(E e);                // (1)
-bad_expected_access(const bad_expected_access&);  // (2)
-bad_expected_access(bad_expected_access&&);       // (3)
+explicit bad_expected_access(E e);           // (1) C++23
+constexpr explicit bad_expected_access(E e); // (1) C++26
+
+bad_expected_access(const bad_expected_access&);           // (2) C++23
+constexpr bad_expected_access(const bad_expected_access&); // (2) C++26
+
+bad_expected_access(bad_expected_access&&);           // (3) C++23
+constexpr bad_expected_access(bad_expected_access&&); // (3) C++26
 ```
 * bad_expected_access[link ../bad_expected_access.md]
 
@@ -48,5 +53,11 @@ int main()
 - [Visual C++](/implementation.md#visual_cpp): ??
 
 
+## 関連項目
+- [C++26 定数評価での例外送出を許可](/lang/cpp26/allowing_exception_throwing_in_constant-evaluation.md)
+
+
 ## 参照
 - [P0323R12 std::expected](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html)
+- [P3378R2 `constexpr` exception types](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3378r2.html)
+    - C++26で`constexpr`対応した

reference/expected/bad_expected_access/what.md

@@ -6,7 +6,8 @@
 * cpp23[meta cpp]
 
 ```cpp
-const char* what() const noexcept override;
+const char* what() const noexcept override;           // (1) C++23
+constexpr const char* what() const noexcept override; // (1) C++26
 ```
 
 ## 概要
@@ -60,5 +61,11 @@ bad access to std::expected without expected value
 - [Visual C++](/implementation.md#visual_cpp): ??
 
 
+## 関連項目
+- [C++26 定数評価での例外送出を許可](/lang/cpp26/allowing_exception_throwing_in_constant-evaluation.md)
+
+
 ## 参照
 - [P0323R12 std::expected](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html)
+- [P3378R2 `constexpr` exception types](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3378r2.html)
+    - C++26で`constexpr`対応した

reference/format/format_error.md

@@ -6,24 +6,23 @@
 
 ```cpp
 namespace std {
-  class format_error : public runtime_error {
-  public:
-    explicit format_error(const string& what_arg);
-    explicit format_error(const char* what_arg);
-  };
+  class format_error : public runtime_error;
 }
 ```
-* string[link /reference/string/basic_string.md]
 
 ## 概要
 `<format>`の各機能の失敗を表す例外クラス。ユーザー定義フォーマッターもこの例外を投げることができる。
 
 ## メンバ関数
 ### 構築・破棄
 
-| 名前            | 説明           | 対応バージョン |
-|-----------------|----------------|----------------|
-| `(constructor)` | コンストラクタ | C++20          |
+| 名前 | 説明 | 対応バージョン |
+|------|------|----------------|
+| [(constructor)](format_error/op_constructor.md) | コンストラクタ | C++20 |
+| [(destructor)](format_error/op_destructor.md) | デストラクタ | C++20 |
+| [`operator=`](format_error/op_assign.md) | 代入演算子 | C++20 |
+| [`what`](format_error/what.md) | エラー理由を取得する | C++20 |
+
 
 ## バージョン
 ### 言語

reference/format/format_error/op_assign.md

@@ -0,0 +1,29 @@
+# operator=
+* format[meta header]
+* std[meta namespace]
+* format_error[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+format_error& operator=(const format_error&) noexcept;           // (1) C++20
+constexpr format_error& operator=(const format_error&) noexcept; // (1) C++26
+```
+
+## 概要
+`format_error`オブジェクトを代入する
+
+- (1) : コピー代入
+
+
+## 例外
+投げない
+
+
+## 関連項目
+- [C++26 定数評価での例外送出を許可](/lang/cpp26/allowing_exception_throwing_in_constant-evaluation.md)
+
+
+## 参照
+- [P3378R2 `constexpr` exception types](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3378r2.html)
+    - C++26で`constexpr`対応した

reference/format/format_error/op_constructor.md

@@ -0,0 +1,35 @@
+# コンストラクタ
+* format[meta header]
+* std[meta namespace]
+* format_error[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+explicit format_error(const string& what_arg);           // (1) C++20
+constexpr explicit format_error(const string& what_arg); // (1) C++26
+
+explicit format_error(const char* what_arg);           // (2) C++20
+constexpr explicit format_error(const char* what_arg); // (2) C++26
+```
+
+## 概要
+`format_error`オブジェクトを構築する。
+
+- (1) : `std::string`オブジェクトでエラー理由を受け取る
+- (2) : `const char*`でエラー理由を受け取る
+
+
+## 事後条件
+
+- (1) : `strcmp(what(), what_arg.c_str()) == 0`
+- (2) : `strcmp(what(), what_arg) == 0`
+
+
+## 関連項目
+- [C++26 定数評価での例外送出を許可](/lang/cpp26/allowing_exception_throwing_in_constant-evaluation.md)
+
+
+## 参照
+- [P3378R2 `constexpr` exception types](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3378r2.html)
+    - C++26で`constexpr`対応した

reference/format/format_error/op_destructor.md

@@ -0,0 +1,23 @@
+# デストラクタ
+* format[meta header]
+* std[meta namespace]
+* format_error[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+virtual ~format_error();           // (1) C++20
+constexpr virtual ~format_error(); // (1) C++26
+```
+
+## 概要
+`format_error`オブジェクトを破棄する。
+
+
+## 例外
+投げない
+
+
+## 関連項目
+- [C++26 定数評価での例外送出を許可](/lang/cpp26/allowing_exception_throwing_in_constant-evaluation.md)
+

reference/format/format_error/what.md

@@ -0,0 +1,27 @@
+# what
+* format[meta header]
+* std[meta namespace]
+* format_error[meta class]
+* function[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+const char* what() const noexcept override;           // (1) C++20
+constexpr const char* what() const noexcept override; // (1) C++26
+```
+
+## 概要
+エラー理由となる実装依存文字列を取得する。
+
+
+## 例外
+投げない
+
+
+## 関連項目
+- [C++26 定数評価での例外送出を許可](/lang/cpp26/allowing_exception_throwing_in_constant-evaluation.md)
+
+
+## 参照
+- [P3378R2 `constexpr` exception types](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3378r2.html)
+    - C++26で`constexpr`対応した

reference/new/bad_array_new_length/op_destructor.md

@@ -6,7 +6,7 @@
 * cpp11[meta cpp]
 
 ```cpp
-virtual ~bad_array_new_length();           // (1) C++03
+virtual ~bad_array_new_length();           // (1) C++11
 constexpr virtual ~bad_array_new_length(); // (1) C++26
 ```
 

reference/optional/bad_optional_access.md

@@ -19,8 +19,10 @@ namespace std {
 
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|
-| `bad_optional_access();` | デフォルトコンストラクタ | C++17 |
-| `virtual const char* what() const noexcept;` | エラー理由となる実装依存文字列 | C++17 |
+| [(constructor)](bad_optional_access/op_constructor.md) | コンストラクタ | C++17 |
+| [(destructor)](bad_optional_access/op_destructor.md) | デストラクタ | C++17 |
+| [`operator=`](bad_optional_access/op_assign.md) | 代入演算子 | C++17 |
+| [`what`](bad_optional_access/what.md) | エラー理由を取得する | C++17 |
 
 
 ## 例

reference/optional/bad_optional_access/op_assign.md

@@ -0,0 +1,29 @@
+# operator=
+* optional[meta header]
+* std[meta namespace]
+* bad_optional_access[meta class]
+* function[meta id-type]
+* cpp17[meta cpp]
+
+```cpp
+bad_optional_access& operator=(const bad_optional_access&) noexcept;           // (1) C++17
+constexpr bad_optional_access& operator=(const bad_optional_access&) noexcept; // (1) C++26
+```
+
+## 概要
+`bad_optional_access`オブジェクトを代入する
+
+- (1) : コピー代入
+
+
+## 例外
+投げない
+
+
+## 関連項目
+- [C++26 定数評価での例外送出を許可](/lang/cpp26/allowing_exception_throwing_in_constant-evaluation.md)
+
+
+## 参照
+- [P3378R2 `constexpr` exception types](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3378r2.html)
+    - C++26で`constexpr`対応した

reference/optional/bad_optional_access/op_constructor.md

@@ -0,0 +1,33 @@
+# コンストラクタ
+* optional[meta header]
+* std[meta namespace]
+* bad_optional_access[meta class]
+* function[meta id-type]
+* cpp17[meta cpp]
+
+```cpp
+bad_optional_access() noexcept;           // (1) C++17
+constexpr bad_optional_access() noexcept; // (1) C++26
+
+bad_optional_access(const bad_optional_access&) noexcept;           // (2) C++17
+constexpr bad_optional_access(const bad_optional_access&) noexcept; // (2) C++26
+```
+
+## 概要
+`bad_optional_access`オブジェクトを構築する。
+
+- (1) : デフォルトコンストラクタ
+- (2) : コピーコンストラクタ
+
+
+## 例外
+投げない
+
+
+## 関連項目
+- [C++26 定数評価での例外送出を許可](/lang/cpp26/allowing_exception_throwing_in_constant-evaluation.md)
+
+
+## 参照
+- [P3378R2 `constexpr` exception types](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3378r2.html)
+    - C++26で`constexpr`対応した

reference/optional/bad_optional_access/op_destructor.md

@@ -0,0 +1,23 @@
+# デストラクタ
+* optional[meta header]
+* std[meta namespace]
+* bad_optional_access[meta class]
+* function[meta id-type]
+* cpp17[meta cpp]
+
+```cpp
+virtual ~bad_optional_access();           // (1) C++17
+constexpr virtual ~bad_optional_access(); // (1) C++26
+```
+
+## 概要
+`bad_array_new_length`オブジェクトを破棄する。
+
+
+## 例外
+投げない
+
+
+## 関連項目
+- [C++26 定数評価での例外送出を許可](/lang/cpp26/allowing_exception_throwing_in_constant-evaluation.md)
+

reference/optional/bad_optional_access/what.md

@@ -0,0 +1,27 @@
+# what
+* optional[meta header]
+* std[meta namespace]
+* bad_optional_access[meta class]
+* function[meta id-type]
+* cpp17[meta cpp]
+
+```cpp
+const char* what() const noexcept override;           // (1) C++17
+constexpr const char* what() const noexcept override; // (1) C++26
+```
+
+## 概要
+エラー理由となる実装依存文字列を取得する。
+
+
+## 例外
+投げない
+
+
+## 関連項目
+- [C++26 定数評価での例外送出を許可](/lang/cpp26/allowing_exception_throwing_in_constant-evaluation.md)
+
+
+## 参照
+- [P3378R2 `constexpr` exception types](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3378r2.html)
+    - C++26で`constexpr`対応した