C++26 : 「条件式での構造化束縛の使用を許可」を追加 (close #1308)

faithandbrave · faithandbrave · commit e9fb3fd6095f · 2024-09-12T13:12:48.000+09:00
diff --git a/implementation-status.md b/implementation-status.md
@@ -311,7 +311,7 @@
 | P2747R2: [`constexpr`配置`new`](/lang/cpp26/constexpr_placement_new.md.nolink) | 定数式の文脈での配置`new`を許可 | | | | |
 | P3144R2: [不完全型へのポインタに対する`delete`を不適格とする](/lang/cpp26/deleting_a_pointer_to_an_incomplete_type_should_be_ill-formed.md.nolink) | 未定義動作となる操作をコンパイルエラーとする | 15 | 19 | | |
 | P2963R3: [制約式内での畳み込み式の順序付け](/lang/cpp26/ordering_of_constraints_involving_fold_expressions.md.nolink) | 畳み込み式では全体ではなく個別の制約を原子制約式として扱う | | 19 | | |
-| P0963R3: [条件式での構造化束縛の使用を許可](/lang/cpp26/structured_binding_declaration_as_a_condition.md.nolink) | 式全体を`bool`値に変換できる場合に条件式で構造化束縛を使用できることとする | 15 | | | |
+| P0963R3: [条件式での構造化束縛の使用を許可](/lang/cpp26/structured_binding_declaration_as_a_condition.md) | 式全体を`bool`値に変換できる場合に条件式で構造化束縛を使用できることとする | 15 | | | |
 
 
 各処理系のC++26実装状況ページ：
diff --git a/lang/cpp17/selection_statements_with_initializer.md b/lang/cpp17/selection_statements_with_initializer.md
@@ -214,6 +214,7 @@ if (it != m.end()) { return it->size(); }
 ## <a id="relative-page" href="#relative-page">関連項目</a>
 - [C++20 初期化式をともなう範囲for文](/lang/cpp20/range-based_for_statements_with_initializer.md)
 - [C++23 初期化文での型の別名宣言を許可](/lang/cpp23/extend_init_statement_to_allow_alias_declaration.md)
+- [C++26 条件式での構造化束縛の使用を許可](/lang/cpp26/structured_binding_declaration_as_a_condition.md)
 
 
 ## 参照
diff --git a/lang/cpp17/structured_bindings.md b/lang/cpp17/structured_bindings.md
@@ -340,6 +340,7 @@ auto { w, {x, y}, z } = f(); // このような、tuple内にあるpairを同時
 - [C++20 構造化束縛を拡張して通常の変数宣言のように使用できるようにする](/lang/cpp20/extending_structured_bindings_to_be_more_like_variable_declarations.md)
 - [C++20 構造化束縛した変数の参照キャプチャを許可](/lang/cpp20/reference_capture_of_structured_bindings.md)
 - [C++26 構造化束縛への属性を許可](/lang/cpp26/attributes_for_structured_bindings.md)
+- [C++26 条件式での構造化束縛の使用を許可](/lang/cpp26/structured_binding_declaration_as_a_condition.md)
 
 
 ## 参照
diff --git a/lang/cpp26.md b/lang/cpp26.md
@@ -32,7 +32,7 @@ C++26とは、2026年中に改訂される予定の、C++バージョンの通
 
 | 言語機能 | 説明 |
 |----------|------|
-| [条件式での構造化束縛の使用を許可](/lang/cpp26/structured_binding_declaration_as_a_condition.md.nolink) | 式全体を`bool`値に変換できる場合に条件式で構造化束縛を使用できることとする |
+| [条件式での構造化束縛の使用を許可](/lang/cpp26/structured_binding_declaration_as_a_condition.md) | 式全体を`bool`値に変換できる場合に条件式で構造化束縛を使用できることとする |
 | [自明な無限ループは未定義動作ではないと規定](/lang/cpp26/trivial_infinite_loops_are_not_undefined_behavior.md.nolink) | 並行プログラムの進行保証などを考慮して無限ループを未定義動作ではないものとする |
 
 
diff --git a/lang/cpp26/structured_binding_declaration_as_a_condition.md b/lang/cpp26/structured_binding_declaration_as_a_condition.md
@@ -0,0 +1,68 @@
+# 条件式での構造化束縛の使用を許可 [P0963R3]
+* cpp26[meta cpp]
+
+<!-- start lang caution -->
+
+このページはC++26に採用される見込みの言語機能の変更を解説しています。
+
+のちのC++規格でさらに変更される場合があるため[関連項目](#relative-page)を参照してください。
+
+<!-- last lang caution -->
+
+## 概要
+C++26では、`if`文、`while`文、`for`文、`switch`文の条件式において構造化束縛を使用できるようになる。
+
+C++23までは、条件分岐文の初期化式で構造化束縛は使用できたが、その場合に条件式を別途指定する必要があった。C++26では構造化束縛した全体が`bool`型に変換可能であれば、条件式として構造化束縛を使用できるようになった。
+
+```
+// C++23
+if (auto [to, ec] = std::to_chars(p, last, 42); ec == std::errc{}) {
+  auto s = std::string(p, to);
+  …
+}
+
+// C++26
+// std::to_charsの戻り値型であるstd::to_chars_resultは、
+// boolへの変換演算子をもつ
+if (auto [to, ec] = std::to_chars(p, last, 42)) {
+  auto s = std::string(p, to);
+  …
+}
+```
+* std::to_chars[link /reference/charconv/to_chars.md]
+* std::to_chars_result[link /reference/charconv/to_chars_result.md]
+* std::errc[link /reference/system_error/errc.md]
+* std::to_string[link /reference/string/to_string.md]
+
+なお、条件分岐文での初期化式と、全体を`bool`変換する条件式は別で指定できる。
+
+```cpp
+#include <print>
+#include <charconv>
+#include <string_view>
+
+int f() { return 123; }
+
+int main()
+{
+  char out[50]{};
+  auto begin = std::begin(out);
+  auto end = std::end(out);
+
+  if (int value = f(); auto [ptr, ec] = std::to_chars(begin, end, value)) {
+    std::println("{}", std::string_view(begin, ptr - begin));
+  }
+  else {
+    std::println("conversion failed.");
+  }
+}
+```
+* std::to_chars[link /reference/charconv/to_chars.md]
+
+## <a id="relative-page" href="#relative-page">関連項目</a>
+- [C++17 構造化束縛](/lang/cpp17/structured_bindings.md)
+- [C++17 `if`文と`switch`文の条件式と初期化を分離](/lang/cpp17/selection_statements_with_initializer.md)
+
+
+## 参照
+- [P0963R3 Structured binding declaration as a condition](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p0963r3.html)
diff --git a/reference/charconv/to_chars.md b/reference/charconv/to_chars.md
@@ -213,7 +213,7 @@ int main()
     std::cout << "conversion failed." << std::endl;
   }
 
-  //リウヴィル数 
+  //リウヴィル数
   constexpr double l = 0.11000100000000000000000100000000000;
 
   //(3) 精度・フォーマット指定なしの浮動小数点数変換
@@ -299,77 +299,77 @@ int main()
   auto end = std::end(out);
 
   //(1) 10進数文字列へ変換
-  if (auto result = std::to_chars(begin, end, 10)) {
-    std::cout << std::string_view(begin, result.ptr - begin) << std::endl;
+  if (auto [ptr, ec] = std::to_chars(begin, end, 10)) {
+    std::cout << std::string_view(begin, ptr - begin) << std::endl;
   }
   else {
     std::cout << "conversion failed." << std::endl;
   }
   //(1) 2進数文字列へ変換
-  if (auto result = std::to_chars(begin, end, 65535, 2)) {
-    std::cout << std::string_view(begin, result.ptr - begin) << std::endl;
+  if (auto [ptr, ec] = std::to_chars(begin, end, 65535, 2)) {
+    std::cout << std::string_view(begin, ptr - begin) << std::endl;
   }
   else {
     std::cout << "conversion failed." << std::endl;
   }
   //(1) 36進数文字列へ変換
-  if (auto result = std::to_chars(begin, end, 35, 36)) {
-    std::cout << std::string_view(begin, result.ptr - begin) << std::endl;
+  if (auto [ptr, ec] = std::to_chars(begin, end, 35, 36)) {
+    std::cout << std::string_view(begin, ptr - begin) << std::endl;
   }
   else {
     std::cout << "conversion failed." << std::endl;
   }
 
-  //リウヴィル数 
+  //リウヴィル数
   constexpr double l = 0.11000100000000000000000100000000000;
 
   //(3) 精度・フォーマット指定なしの浮動小数点数変換
-  if (auto result = std::to_chars(begin, end, l)) {
-    std::cout << std::string_view(begin, result.ptr - begin) << std::endl;
+  if (auto [ptr, ec] = std::to_chars(begin, end, l)) {
+    std::cout << std::string_view(begin, ptr - begin) << std::endl;
   }
   else {
     std::cout << "conversion failed." << std::endl;
   }
 
   //(7) 精度指定なしの浮動小数点数変換、指数表記
-  if (auto result = std::to_chars(begin, end, l, std::chars_format::scientific)) {
-    std::cout << std::string_view(begin, result.ptr - begin) << std::endl;
+  if (auto [ptr, ec] = std::to_chars(begin, end, l, std::chars_format::scientific)) {
+    std::cout << std::string_view(begin, ptr - begin) << std::endl;
   }
   else {
     std::cout << "conversion failed." << std::endl;
   }
   //(7) 精度指定なしの浮動小数点数変換、固定小数表記
-  if (auto result = std::to_chars(begin, end, l, std::chars_format::fixed)) {
-    std::cout << std::string_view(begin, result.ptr - begin) << std::endl;
+  if (auto [ptr, ec] = std::to_chars(begin, end, l, std::chars_format::fixed)) {
+    std::cout << std::string_view(begin, ptr - begin) << std::endl;
   }
   else {
     std::cout << "conversion failed." << std::endl;
   }
   //(7) 精度指定なしの浮動小数点数変換、16進指数表記
-  if (auto result = std::to_chars(begin, end, l, std::chars_format::hex)) {
-    std::cout << std::string_view(begin, result.ptr - begin) << std::endl;
+  if (auto [ptr, ec] = std::to_chars(begin, end, l, std::chars_format::hex)) {
+    std::cout << std::string_view(begin, ptr - begin) << std::endl;
   }
   else {
     std::cout << "conversion failed." << std::endl;
   }
 
   //(11) 精度指定ありの浮動小数点数変換、指数表記
-  if (auto result = std::to_chars(begin, end, l, std::chars_format::scientific, 16)) {
-    std::cout << std::string_view(begin, result.ptr - begin) << std::endl;
+  if (auto [ptr, ec] = std::to_chars(begin, end, l, std::chars_format::scientific, 16)) {
+    std::cout << std::string_view(begin, ptr - begin) << std::endl;
   }
   else {
     std::cout << "conversion failed." << std::endl;
   }
   //(11) 精度指定ありの浮動小数点数変換、固定小数表記
-  if (auto result = std::to_chars(begin, end, l, std::chars_format::fixed, 16)) {
-    std::cout << std::string_view(begin, result.ptr - begin) << std::endl;
+  if (auto [ptr, ec] = std::to_chars(begin, end, l, std::chars_format::fixed, 16)) {
+    std::cout << std::string_view(begin, ptr - begin) << std::endl;
   }
   else {
     std::cout << "conversion failed." << std::endl;
   }
   //(11) 精度指定ありの浮動小数点数変換、16進指数表記
-  if (auto result = std::to_chars(begin, end, l, std::chars_format::hex, 16)) {
-    std::cout << std::string_view(begin, result.ptr - begin) << std::endl;
+  if (auto [ptr, ec] = std::to_chars(begin, end, l, std::chars_format::hex, 16)) {
+    std::cout << std::string_view(begin, ptr - begin) << std::endl;
   }
   else {
     std::cout << "conversion failed." << std::endl;
@@ -404,6 +404,8 @@ z
 - [`chars_format`](../charconv/chars_format.md)
 - [`to_chars_result`](../charconv/to_chars_result.md)
 - [`from_chars`](../charconv/from_chars.md)
+- [C++26 条件式での構造化束縛の使用を許可](/lang/cpp26/structured_binding_declaration_as_a_condition.md)
+
 
 ## 参照
 - [P0067R5: Elementary string conversions, revision 5](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0067r5.html)
