ignore : C++26対応として詳細な定義を追加し、例を追加 (close #1315)

tieページのignoreに関する記述は、とくに消さなくても問題なさそうだったのでそのまま

Author: faithandbrave

lang/cpp26/nice_placeholder_with_no_name.md

@@ -86,6 +86,7 @@ int main() {
 
 ## <a id="relative-page" href="#relative-page">関連項目</a>
 - [C++17 `[[maybe_unused]]`属性](/lang/cpp17/maybe_unused.md)
+- [`std::ignore`](/reference/tuple/ignore.md)
 
 ## 参照
 - [P2169R4 A nice placeholder with no name](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2169r4.pdf)

reference/tuple/ignore.md

@@ -6,16 +6,77 @@
 
 ```cpp
 namespace std {
-  const unspecified ignore;            // C++11
-  inline constexpr unspecified ignore; // C++17
+  struct ignore-type { // 説明用の定義 (C++26)
+    constexpr const ignore-type&
+    operator=(const auto &) const noexcept
+      { return *this; }
+  };
+
+  const unspecified ignore;            // (1) C++11
+  inline constexpr unspecified ignore; // (1) C++17
+  inline constexpr ignore-type ignore; // (1) C++26
 }
 ```
 * unspecified[italic]
 
 ## 概要
 `ignore`は、[`tie()`](tie.md)を使用してタプルから値を抽出する際に、「不要な値」をマーキングするためのプレースホルダーである。
 
-使用例は[`tie()`](tie.md)を参照。
+そのほか、関数の戻り値を明示的に無視する際にも使用できる。
+
+C++26以降は、[`<utility>`](/reference/utility.md)をインクルードして使用することもできる。
+
+
+## 例
+### タプルの要素を取り出す際に一部の要素を無視する
+```cpp example
+#include <iostream>
+#include <tuple>
+#include <string>
+
+std::tuple<int, char, std::string> f()
+{
+  return {1, 'a', "hello"};
+}
+
+int main() {
+  // char要素は無視する
+  int a;
+  std::string c;
+  std::tie(a, std::ignore, c) = f();
+
+  std::cout << a << std::endl;
+  std::cout << c << std::endl;
+}
+```
+* std::ignore[color ff0000]
+
+#### 出力
+```
+1
+hello
+```
+
+### 関数の戻り値を無視する (C++17)
+```cpp example
+#include <iostream>
+#include <tuple>
+#include <string>
+
+[[nodiscard]]
+int print_string(std::string s)
+{
+  std::cout << s << std::endl;
+  return 0;
+}
+
+int main() {
+  // 自分の用途ではこの関数は必ず成功するため、
+  // 戻り値を無視する
+  std::ignore = print_string("hello");
+}
+```
+* std::ignore[color ff0000]
 
 
 ## バージョン
@@ -33,4 +94,9 @@ namespace std {
 - [`std::make_tuple`](make_tuple.md)
 - [`std::forward_as_tuple`](forward_as_tuple.md)
 - [`std::tie`](tie.md)
+- [C++17 `[[nodiscard]]`属性](/lang/cpp17/nodiscard.md)
+- [C++26 宣言のみで使用しない変数の名前として`_`をサポート](/lang/cpp26/nice_placeholder_with_no_name.md)
+
 
+## 参照
+- [P2968R2 Make `std::ignore` a first-class object](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2968r2.html)

reference/tuple/tie.md

@@ -160,4 +160,5 @@ text, b.txt
 
 ## 参照
 - [LWG2301 Why is std::tie not constexpr?](http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-active.html#2301)
+- [P2968R2 Make `std::ignore` a first-class object](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2968r2.html)