C++26対応としてstringとstring_viewを連結する演算子オーバーロードを追加 #1338

Author: faithandbrave

reference/string/basic_string/op_plus.md

@@ -113,12 +113,40 @@ namespace std {
   constexpr basic_string<charT, traits, Allocator>
     operator+(basic_string<charT, traits, Allocator>&& lhs,
               charT rhs);                                         // (12) C++20
+
+  template <class charT, class traits, class Allocator>
+  constexpr basic_string<charT, traits, Allocator>
+    operator+(const basic_string<charT, traits, Allocator>& lhs,
+              type_identity_t<basic_string_view<charT, traits>> rhs); // (13) C++26
+
+  template <class charT, class traits, class Allocator>
+  constexpr basic_string<charT, traits, Allocator>
+    operator+(basic_string<charT, traits, Allocator>&& lhs,
+              type_identity_t<basic_string_view<charT, traits>> rhs); // (14) C++26
 }
 ```
 
+* type_identity_t[link /reference/type_traits/type_identity.md]
+* basic_string_view[link /reference/string_view/basic_string_view.md]
+
 ## 概要
 `basic_string` オブジェクトの連結を行う。
 
+- (1) : `basic_string`オブジェクト同士を連結する
+- (2) : 右辺値の`basic_string`オブジェクトと`basic_string`オブジェクトを連結する
+- (3) : `basic_string`オブジェクトと右辺値の`basic_string`オブジェクトを連結する
+- (4) : 右辺値の`basic_string`オブジェクト同士を連結する
+- (5) : 文字配列と`basic_string`オブジェクトを連結する
+- (6) : 文字配列と右辺値の`basic_string`オブジェクトを連結する
+- (7) : 文字と`basic_string`オブジェクトを連結する
+- (8) : 文字と右辺値の`basic_string`オブジェクトを連結する
+- (9) : `basic_string`オブジェクトと文字配列を連結する
+- (10) : 右辺値の`basic_string`オブジェクトと文字配列を連結する
+- (11) : `basic_string`オブジェクトと文字を連結する
+- (12) : 右辺値の`basic_string`オブジェクトと文字を連結する
+- (13) : `basic_string`オブジェクトと[`basic_string_view`](/reference/string_view/basic_string_view.md)オブジェクトを連結する
+- (14) : 右辺値の`basic_string`オブジェクトと[`basic_string_view`](/reference/string_view/basic_string_view.md)オブジェクトを連結する
+
 
 ## 戻り値
 
@@ -220,6 +248,21 @@ namespace std {
     ```
     * push_back[link push_back.md]
 
+- (13) : 以下と等価
+    ```cpp
+    basic_string<charT, traits, Allocator> r = lhs;
+    r.append(rhs);
+    return r;
+    ```
+    * append[link append.md]
+
+- (14) : 以下と等価
+    ```cpp
+    lhs.append(rhs);
+    return std::move(lhs);
+    ```
+    * append[link append.md]
+
 
 ## 備考
 (5), (6) の形式の `lhs`、および、(9), (10) の形式の `rhs` の文字列長算出のために `traits::length()` が使用される
@@ -242,11 +285,14 @@ C++20からこの演算子による文字列連結時にアロケータがどの
 |(10) : `std::move(lhs) + "rhs"`|`lhs`|`lhs`|`lhs`|`lhs`|`lhs`|
 |(11) : `lhs + 'r'`|新規にデフォルト構築|`lhs`からのSOCCC|`lhs`|新規にデフォルト構築|`lhs`からのSOCCC|
 |(12) : `std::move(lhs) + 'r'`|`lhs`|`lhs`|`lhs`|`lhs`|`lhs`|
+|(13) : `lhs + sv`| | | | |`lhs`からのSOCCC|
+|(14) : `std::move(lhs) + sv`| | | | |`lhs`|
 
 
 表にあるように、C++17までの仕様に完全に準拠している実装は無かった上に各実装によって伝播仕様がバラバラだったため、この変更によって影響を受けるコードはほぼ無いと思われる。
 
 ## 例
+### 基本的な使い方
 ```cpp example
 #include <iostream>
 #include <string>
@@ -263,11 +309,39 @@ int main()
 ```
 * +[color ff0000]
 
-### 出力
+#### 出力
 ```
 Hello, world!
 ```
 
+### string_viewとの連結 (C++26)
+```cpp example
+#include <iostream>
+#include <string>
+#include <string_view>
+
+int main()
+{
+  std::string s = "Hello";
+  std::string_view sv = ", World!";
+
+  // string + string_view (13)
+  std::string result1 = s + sv;
+  std::cout << result1 << '\n';
+
+  // string&& + string_view (14)
+  std::string result2 = std::string("Hello") + sv;
+  std::cout << result2 << '\n';
+}
+```
+* +[color ff0000]
+
+#### 出力
+```
+Hello, World!
+Hello, World!
+```
+
 ## 関連項目
 
 | 名前                          | 説明                   |
@@ -276,6 +350,19 @@ Hello, world!
 | [`push_back`](push_back.md) | 文字を追加する         |
 | [`insert`](insert.md)       | 文字／文字列を挿入する |
 
+## バージョン
+### 言語
+- C++03
+- C++26 : (13), (14)
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
 ## 参照
 - [P1165R1 Make stateful allocator propagation more consistent for operator+(basic_string)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1165r1.html)
 - [P0980R1 Making `std::string` constexpr](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0980r1.pdf)
+- [P2591R5 Concatenation of strings and string views](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2591r5.html)
+    - C++26で`string_view`との連結が追加された

reference/string_view/basic_string_view.md

@@ -140,6 +140,12 @@ string_view hello = sv.substr(0, 5); // 先頭5文字を抽出する
 
 
 ## 非メンバ関数
+### 文字列連結
+
+| 名前 | 説明 | 対応バージョン |
+|------|------|----------------|
+| [`operator+`](basic_string_view/op_plus.md) | 文字列の連結 | C++26 |
+
 ### 比較演算
 
 | 名前 | 説明 | 対応バージョン |

reference/string_view/basic_string_view/op_plus.md

@@ -0,0 +1,94 @@
+# operator+
+* string[meta header]
+* std[meta namespace]
+* function template[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std {
+  template <class charT, class traits, class Allocator>
+  constexpr basic_string<charT, traits, Allocator>
+    operator+(type_identity_t<basic_string_view<charT, traits>> lhs,
+              const basic_string<charT, traits, Allocator>& rhs); // (1) C++26
+
+  template <class charT, class traits, class Allocator>
+  constexpr basic_string<charT, traits, Allocator>
+    operator+(type_identity_t<basic_string_view<charT, traits>> lhs,
+              basic_string<charT, traits, Allocator>&& rhs);      // (2) C++26
+}
+```
+* type_identity_t[link /reference/type_traits/type_identity.md]
+* basic_string[link /reference/string/basic_string.md]
+
+## 概要
+[`basic_string_view`](../basic_string_view.md)オブジェクトと[`basic_string`](/reference/string/basic_string.md)オブジェクトを連結する。
+
+- (1) : [`basic_string_view`](../basic_string_view.md)オブジェクトと`basic_string`オブジェクトを連結する
+- (2) : [`basic_string_view`](../basic_string_view.md)オブジェクトと右辺値の`basic_string`オブジェクトを連結する
+
+`basic_string_view`側の引数に[`type_identity_t`](/reference/type_traits/type_identity.md)を使用することで非推論コンテキストとし、`basic_string_view`に暗黙変換可能な型からの連結を可能にしている。
+
+
+## 戻り値
+- (1) : 以下と等価
+    ```cpp
+    basic_string<charT, traits, Allocator> r = rhs;
+    r.insert(0, lhs);
+    return r;
+    ```
+    * insert[link /reference/string/basic_string/insert.md]
+
+- (2) : 以下と等価
+    ```cpp
+    rhs.insert(0, lhs);
+    return std::move(rhs);
+    ```
+    * insert[link /reference/string/basic_string/insert.md]
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <string>
+#include <string_view>
+
+int main()
+{
+  std::string_view sv = "Hello, ";
+  std::string s = "World!";
+
+  // string_view + string (1)
+  std::string result1 = sv + s;
+  std::cout << result1 << '\n';
+
+  // string_view + string&& (2)
+  std::string result2 = sv + std::string("World!");
+  std::cout << result2 << '\n';
+}
+```
+* +[color ff0000]
+
+### 出力
+```
+Hello, World!
+Hello, World!
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+## 関連項目
+
+| 名前                          | 説明                   |
+|-------------------------------|------------------------|
+| [`basic_string::operator+`](/reference/string/basic_string/op_plus.md) | 文字列の連結 |
+
+## 参照
+- [P2591R5 Concatenation of strings and string views](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2591r5.html)