C++23 : 「定数式の文脈でのboolへの縮小変換を許可」を追加 (close #1037)

Author: faithandbrave

implementation-status.md

@@ -266,7 +266,7 @@
 | P2096R2: [部分特殊化の汎用化仕様](/lang/cpp23/generalized_wording_for_partial_specializations.md.nolink) | 変数テンプレートの部分特殊化を許可するために部分特殊化の仕様を汎用化 | - | - | - | - |
 | P2582R1: [継承コンストラクタからのクラステンプレート引数の推論](/lang/cpp23/class_template_argument_deduction_from_inherited.md) | 継承コンストラクタからもクラステンプレート引数を推論できるようにする | - | - | - | - |
 | P1938R3: [`if consteval`](/lang/cpp23/if_consteval.md.nolink) | コンパイル時の文脈かどうかで分岐させる | 12 | 14 | - | - |
-| P1401R5: [定数式の文脈での`bool`への縮小変換を許可](/lang/cpp23/narrowing_contextual_conversions_to_bool.md.nolink) | `if constexpr(flags & Flags::Exec)`や`static_assert(N);`を許可 | 9 | 13 | 2022.2 | - |
+| P1401R5: [定数式の文脈での`bool`への縮小変換を許可](/lang/cpp23/narrowing_contextual_conversions_to_bool.md) | `if constexpr(flags & Flags::Exec)`や`static_assert(N);`を許可 | 9 | 13 | 2022.2 | - |
 | P2242R3: [定数式内での非リテラル変数、静的変数・スレッドローカル変数およびgotoとラベルの存在を許可する](/lang/cpp23/non_literal_variables_in_constexpr_functions.md) | コンパイル時に評価されない限り、定数式内に静的変数・スレッドローカル変数およびgoto文とラベルを含むことを許可する | 12 | 15 | 2022.2 | - |
 | P2246R1: [静的な診断メッセージの文字エンコーディング](/lang/cpp23/character_encoding_of_diagnostic_text.md) | `static_assert`や`[[deprecated]]`などの診断メッセージの文字集合に関する要件をなくす | - | yes | - | 2022 |
 | P2448R2: [`constexpr`関数が定数実行できない場合でも適格とする](/lang/cpp23/relaxing_some_constexpr_restrictions.md) | | 13 | 17 (partial) | 2024.0 (partial) | - |

lang/cpp11/static_assert.md

@@ -78,8 +78,8 @@ Boost Static Assertion Libraryが開発されたときに、コンパイル時
 
 
 ## 関連項目
-- [C++17 `static_assert`](/lang/cpp17/extending_static_assert.md) — 第2引数の診断メッセージを省略できるようになった
-
+- [C++17 `static_assert`のメッセージ省略を許可](/lang/cpp17/extending_static_assert.md)
+- [C++23 定数式の文脈での`bool`への縮小変換を許可](/lang/cpp23/narrowing_contextual_conversions_to_bool.md)
 
 
 ## 参照

lang/cpp17/if_constexpr.md

@@ -412,6 +412,7 @@ template <int arg, typename ... Args> int do_something(Args... args) {
 ## 関連項目
 
 - [`std::conditional`](/reference/type_traits/conditional.md)
+- [C++23 定数式の文脈での`bool`への縮小変換を許可](/lang/cpp23/narrowing_contextual_conversions_to_bool.md)
 
 ## 参照
 

lang/cpp23.md

@@ -68,7 +68,7 @@ C++23とは、2023年中に改訂される予定の、C++バージョンの通
 | 言語機能 | 説明 |
 |----------|------|
 | [`if consteval`](cpp23/if_consteval.md.nolink) | コンパイル時の文脈かどうかで分岐させる |
-| [定数式の文脈での`bool`への縮小変換を許可](cpp23/narrowing_contextual_conversions_to_bool.md.nolink) | `if constexpr(flags & Flags::Exec)`や`static_assert(N);`を許可 |
+| [定数式の文脈での`bool`への縮小変換を許可](cpp23/narrowing_contextual_conversions_to_bool.md) | `if constexpr(flags & Flags::Exec)`や`static_assert(N);`を許可 |
 | [定数式内での非リテラル変数、静的変数・スレッドローカル変数およびgotoとラベルの存在を許可する](cpp23/non_literal_variables_in_constexpr_functions.md) | コンパイル時に評価されない限り、定数式内に静的変数・スレッドローカル変数およびgoto文とラベルを含むことを許可する |
 | [静的な診断メッセージの文字エンコーディング](cpp23/character_encoding_of_diagnostic_text.md) | `static_assert`や`[[deprecated]]`などの診断メッセージの文字集合に関する要件をなくす |
 | [`constexpr`関数が定数実行できない場合でも適格とする](cpp23/relaxing_some_constexpr_restrictions.md) | 定数式実行できない関数であっても、実際にコンパイル時に評価されない限り`constexpr`指定することを許可する |

lang/cpp23/narrowing_contextual_conversions_to_bool.md

@@ -0,0 +1,40 @@
+# 定数式の文脈でのboolへの縮小変換を許可
+* cpp23[meta cpp]
+
+## 概要
+C++23では、以下の定数式文脈での`bool`への縮小変換を許可する：
+
+- `static_assert`
+- `if constexpr`
+
+これにより、整数値から`bool`への変換 (ビットフラグの判定などで使われる)、スコープをもたない列挙値型から`bool`への変換ができる定数式の条件式内でできるようになる。
+
+ただし`explicit(bool)`および`noexcept(bool)`のパラメータについては縮小変換が許可されないため、整数値として値`1`か`0`のどちらかしか指定できず、`noexcept(sizeof(char[2]))`のようなコードはコンパイルエラーとなる。
+
+
+### `static_assert`の例
+
+```cpp
+// 整数値が0でなければtrue、そうでなければfalse
+static_assert(bool(N)); // これまでの書き方
+static_assert(N);       // C++23以降
+
+static_assert(sizeof(int[2])); // C++23:OK 縮小変換
+```
+
+### `if constexpr`の例
+```cpp
+if constexpr(bool(flags & Flags::Exec)) { … }  // これまでの書き方
+if constexpr((flags & Flags::Exec) != 0) { … } // これまでの書き方
+if constexpr(flags & Flags::Exec) { … }        // C++23以降
+
+if constexpr (sizeof(int[2])) { … } // C++23:OK 縮小変換
+```
+
+## 関連項目
+- [C++11 コンパイル時アサート](/lang/cpp11/static_assert.md)
+- [C++17 `constexpr if`文](/lang/cpp17/if_constexpr.md)
+
+
+## 参照
+- [P1401R5 Narrowing contextual conversions to `bool`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p1401r5.html)