std::operator+(std::basic_string)

来自cppreference.com
< cpp‎ | string‎ | basic string
 
C++
 
字符串库
 
std::basic_string
成员函数
元素访问
(C++17)
迭代器
容量
操作
(C++20)
(C++20)
(C++23)
(C++23)  
搜索
常量
推导指引 (C++17)
非成员函数
operator+
(C++14)
(C++20)(C++20)
I/O
比较
(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20)
数值转换
(C++11)(C++11)(C++11)
(C++11)(C++11)    
(C++11)(C++11)(C++11)
(C++11)
(C++11)
辅助类
(C++11)  (C++11)(C++11)(C++11)(C++20)
(C++17)(C++17)(C++17)(C++17)(C++20)
 
在标头 <string> 定义
template< class CharT, class Traits, class Alloc >

    std::basic_string<CharT,Traits,Alloc>
        operator+( const std::basic_string<CharT,Traits,Alloc>& lhs,

                   const std::basic_string<CharT,Traits,Alloc>& rhs );
 (1) (C++20 起为 constexpr)
template< class CharT, class Traits, class Alloc >

    std::basic_string<CharT,Traits,Alloc>
        operator+( const std::basic_string<CharT,Traits,Alloc>& lhs,

                   const CharT* rhs );
 (2) (C++20 起为 constexpr)
template<class CharT, class Traits, class Alloc>

    std::basic_string<CharT,Traits,Alloc>
        operator+( const std::basic_string<CharT,Traits,Alloc>& lhs,

                   CharT rhs );
 (3) (C++20 起为 constexpr)
template< class CharT, class Traits, class Alloc >

    std::basic_string<CharT,Traits,Alloc>
        operator+( const CharT* lhs,

                   const std::basic_string<CharT,Traits,Alloc>& rhs );
 (4) (C++20 起为 constexpr)
template< class CharT, class Traits, class Alloc >

    std::basic_string<CharT,Traits,Alloc>
        operator+( CharT lhs,

                   const std::basic_string<CharT,Traits,Alloc>& rhs );
 (5) (C++20 起为 constexpr)
template< class CharT, class Traits, class Alloc >

    std::basic_string<CharT,Traits,Alloc>
        operator+( std::basic_string<CharT,Traits,Alloc>&& lhs,

                   std::basic_string<CharT,Traits,Alloc>&& rhs );
 (6) (C++11 起)
(C++20 起为 constexpr)
template< class CharT, class Traits, class Alloc >

    std::basic_string<CharT,Traits,Alloc>
        operator+( std::basic_string<CharT,Traits,Alloc>&& lhs,

                   const std::basic_string<CharT,Traits,Alloc>& rhs );
 (7) (C++11 起)
(C++20 起为 constexpr)
template< class CharT, class Traits, class Alloc >

    std::basic_string<CharT,Traits,Alloc>
        operator+( std::basic_string<CharT,Traits,Alloc>&& lhs,

                   const CharT* rhs );
 (8) (C++11 起)
(C++20 起为 constexpr)
template< class CharT, class Traits, class Alloc >

    std::basic_string<CharT,Traits,Alloc>
        operator+( std::basic_string<CharT,Traits,Alloc>&& lhs,

                   CharT rhs );
 (9) (C++11 起)
(C++20 起为 constexpr)
template< class CharT, class Traits, class Alloc >

    std::basic_string<CharT,Traits,Alloc>
        operator+( const std::basic_string<CharT,Traits,Alloc>& lhs,

                   std::basic_string<CharT,Traits,Alloc>&& rhs );
 (10) (C++11 起)
(C++20 起为 constexpr)
template< class CharT, class Traits, class Alloc >

    std::basic_string<CharT,Traits,Alloc>
        operator+( const CharT* lhs,

                   std::basic_string<CharT,Traits,Alloc>&& rhs );
 (11) (C++11 起)
(C++20 起为 constexpr)
template< class CharT, class Traits, class Alloc >

    std::basic_string<CharT,Traits,Alloc>
        operator+( CharT lhs,

                   std::basic_string<CharT,Traits,Alloc>&& rhs );
 (12) (C++11 起)
(C++20 起为 constexpr)

返回含有来自 lhs 的字符后随来自 rhs 的字符的字符串。

结果所用的分配器为：

1-3) std::allocator_traits<Alloc>::select_on_container_copy_construction(lhs.get_allocator())
4-5) std::allocator_traits<Alloc>::select_on_container_copy_construction(rhs.get_allocator())
6-9) lhs.get_allocator()
10-12) rhs.get_allocator()

换言之，若运算数之一是 basic_string 右值，则使用其分配器；否则在左值 basic_string 运算数的分配上使用 select_on_container_copy_construction 。每种情况下，当两者是拥有同一值类别的 basic_string 时，偏向左运算数。

(6-12) 将所有右值 basic_string 运算数置于合法但未指定的状态。

(C++11 起)

参数

lhs - string 、字符或指向空终止字符序列首字符的指针
rhs - string 、字符或指向空终止字符序列首字符的指针

返回值

含有来自 lhs 的字符后随来自 rhs 的字符的字符串，使用指定如上的分配器 (C++11 起)。

注解

涉及有状态分配器时（例如用 std::pmr::string 时） (C++17 起)，应该谨慎使用 operator+ 。在 P1165R1 前，确定结果所用的分配器是历史事故，而且能在重载间无显著理由地变化。另外，对于 (1-5) ，分配器传播行为在主流标准库实现间各异，且异于标准所描述的行为。

operator+ 的结果所用的分配器对值类别敏感，故 operator+ 相对于分配器传播不满足结合律： 

using my_string = std::basic_string<char, std::char_traits<char>, my_allocator<char>>;
my_string cat();
const my_string& dog();
 
my_string meow = /* ... */, woof = /* ... */;
meow + cat() + /*...*/; // 使用 meow 的分配器上的 select_on_container_copy_construction
woof + dog() + /*...*/; // 转而使用 dog() 的返回值的分配器
 
meow + woof + meow; // 使用 meow 的分配器上的 SOCCC
meow + (woof + meow); // 转而使用 woof 的分配器上的 select_on_container_copy_construction

对于 operator+ 链的调用，可通过前置拥有所欲分配器的右值 basic_string 控制最终结果所用的分配器： 

// 令最终结果使用 my_favorite_allocator
my_string(my_favorite_allocator) + meow + woof + cat() + dog();

为了在分配器上更好且可移植地控制，应该在以所欲分配器构造的结果字符串上，使用 append() 、 insert() 及 operator+=() 之类的成员函数。

(C++11 起)

示例

运行此代码
#include <iostream>
#include <string>
 
int main()
{
    std::string s1 = "Hello";
    std::string s2 = "world";
    std::cout << s1 + ' ' + s2 + "!\n";
}

输出： 

Hello world!

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
P1165R1 C++11 分配器传播混乱且不一致 使之更为一致

参阅

 后附字符到结尾
(公开成员函数)
后附字符到结尾
(公开成员函数)
插入字符
(公开成员函数)
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/string/basic_string/operator%2B&oldid=67856”