std::operator+(std::basic_string)

Аллокатор, используемый для результата:

Другими словами:

• Если один операнд является basic_string rvalue, используется его аллокатор.
• В противном случае, select_on_container_copy_construction применяется к аллокатору lvalue basic_string операнда.

В каждом случае, левый операнд предпочтительнее, когда оба являются basic_string одной и той же категории значения.

Для (8-16), все rvalue basic_string операнды остаются в допустимом, но неопределённом состоянии.

Примечания

operator+ следует использовать с большой осторожностью при работе с stateful аллокаторами (например, когда используется std::pmr::string ) (since C++17) . До принятия 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() + /* ... */; // uses select_on_container_copy_construction on meow's allocator
woof + dog() + /* ... */; // uses allocator of dog()'s return value instead
meow + woof + meow; // uses select_on_container_copy_construction on meow's allocator
meow + (woof + meow); // uses SOCCC on woof's allocator instead

Для цепочки вызовов operator+ , аллокатор для конечного результата может быть контролируемым путем добавления rvalue basic_string с желаемым аллокатором в начало:

// use my_favorite_allocator for the final result
my_string(my_favorite_allocator) + meow + woof + cat() + dog();

Для лучшего и переносимого контроля над аллокаторами следует использовать функции-члены, такие как append , insert , и operator+= , применяя их к строке-результату, сконструированной с желаемым аллокатором.

Использование std:: type_identity_t в качестве параметра в перегрузках ( 4 ) , ( 7 ) , ( 12 ) и ( 16 ) гарантирует, что объект типа std:: basic_string < CharT, Traits, Allocator > всегда может быть конкатенирован с объектом типа T с неявным преобразованием в std:: basic_string_view < CharT, Traits > , и наоборот, в соответствии с правилами разрешения перегрузки .