std::operator+(std::basic_string)

El asignador de memoria usado para el resutlado es:

En otras palabras, si un operando es un rvalue basic_string, se usa su asignador. De lo contrario, se usa select_on_container_copy_construction en el asignador del operando lvalue basic_string. En cada caso, se prefiere el operando izquierdo cuando ambos son tipo basic_string de la misma categoría de valor.

Para (6-12), todos los operandos rvalue basic_string se dejan en un estado válido pero sin especificar.

Notas

Deberá usarse el operador operator+ con precaución cuando se involucren asignadores con estado (como cuando se use std::pmr::string) (desde C++17). Antes de P1165R1, el asignador usado para el resultado se determinaba por un accidente histórico y puede variar de sobrecarga a sobrecarga sin una razón aparente. Aún más, para (1-5), la propagación del comportamiento del asignador varía entre las implementaciones más importantes de la biblioteca estándar y difiere del comportamiento representado en el estándar.

Ya que el asignador usado por el resultado de operator+ es susceptible a la categoría de valor, operator+ no es asociativo con respecto a la propagación del asignador:

using mi_cadena = std::basic_string<char, std::char_traits<char>, mi_asignador<char>>;
mi_cadena gato();
const mi_cadena& perro();
 
mi_cadena miau = /* ... */, guau = /* ... */;
miau + gato() + /*...*/;  // usa SOCCC en el asignador de miau
guau + perro() + /*...*/; // en su lugar, usa el asignador del valor de retorno de perro()
 
miau + guau + miau;   // usa SOCCC en el asignador de miau
miau + (guau + miau); // en su lugar usa SOCCC en el asignador de guau

Para una cadena de invocaciones de operator+, el asignador usado para el resultado final puede controlarse anteponiendo un rvalue basic_string con el asignador deseado:

// usar mi_asignador_favorito para el resultado final
mi_cadena(mi_asignador_favorito) + miau + guau + gato() + perro();

Para un mejor y portable control sobre asignadores, las funciones miembro como append(), insert(), y operator+=() deberán usarse en una cadena resultado construida con el asignador deseado.