Difference between revisions of "cpp/string/basic string/operator="

Revision as of 08:55, 2 June 2023

	(1)
basic_string& operator=( const basic_string& str );			(until C++20)
constexpr basic_string& operator=( const basic_string& str );			(since C++20)
		(2)
basic_string& operator=( basic_string&& str );				(since C++11) (until C++17)
basic_string& operator=( basic_string&& str ) noexcept(/* see below */);				(since C++17) (until C++20)
constexpr basic_string& operator=( basic_string&& str ) noexcept(/* see below */);				(since C++20)
			(3)
basic_string& operator=( const CharT* s );					(until C++20)
constexpr basic_string& operator=( const CharT* s );					(since C++20)
				(4)
basic_string& operator=( CharT ch );						(until C++20)
constexpr basic_string& operator=( CharT ch );						(since C++20)
					(5)
basic_string& operator=( std::initializer_list<CharT> ilist );							(since C++11) (until C++20)
constexpr basic_string& operator=( std::initializer_list<CharT> ilist );							(since C++20)
						(6)
template<class StringViewLike> basic_string& operator=( const StringViewLike& t );								(since C++17) (until C++20)
template<class StringViewLike> constexpr basic_string& operator=( const StringViewLike& t );								(since C++20)
constexpr basic_string& operator=( std::nullptr_t ) = delete;							(7)	(since C++23)

Replaces the contents of the string.

1) Replaces the contents with a copy of str. If *this and str are the same object, this function has no effect.

2) Replaces the contents with those of str using move semantics. str is in a valid but unspecified state afterwards. If std::allocator_traits<Allocator>::
propagate_on_container_move_assignment::value is true, the allocator of *this is replaced by a copy of that of str. If it is false and the allocators of *this and str do not compare equal, *this cannot take ownership of the memory owned by str and must assign each character individually, allocating additional memory using its own allocator as needed. Unlike other container move assignments, references, pointers, and iterators to str may be invalidated.

3) Replaces the contents with those of null-terminated character string pointed to by s as if by assign(s, Traits::length(s)).

4) Replaces the contents with character ch as if by assign(std::addressof(ch), 1).

5) Replaces the contents with those of the initializer list ilist as if by assign(ilist.begin(), ilist.size()).

6) Implicitly converts t to a string view sv as if by std::basic_string_view<CharT, Traits> sv = t;, then replaces the contents with those of the sv as if by assign(sv).

This overload participates in overload resolution only if std::is_convertible_v<const StringViewLike&,
std::basic_string_view<CharT, Traits>> is true and std::is_convertible_v<const StringViewLike&, const CharT*> is false.

7) std::basic_string cannot be assigned from nullptr.

ch	-	value to initialize characters of the string with
str	-	string to be used as source to initialize the string with
s	-	pointer to a null-terminated character string to use as source to initialize the string with
ilist	-	std::initializer_list to initialize the string with
t	-	object convertible to std::basic_string_view to initialize the string with

Return value

*this

Complexity

1) Linear in size of str.

2) Linear in the size of *this (formally, each CharT has to be destroyed). If allocators do not compare equal and do not propagate, then also linear in the size of str (copy must be made).

3) Linear in size of s.

4) Constant.

5) Linear in size of ilist.

Exceptions

2)

noexcept specification:

noexcept(std::allocator_traits<Allocator>::

propagate_on_container_move_assignment::value ||

std::allocator_traits<Allocator>::is_always_equal::value)

(since C++17)

If the operation would result in size() > max_size(), throws std::length_error.

If an exception is thrown for any reason, this function has no effect (strong exception safety guarantee).

Example

Run this code

#include <iomanip>
#include <iostream>
#include <string>
 
int main()
{
    std::string str1;
    std::string str2{"alpha"};
 
    // (1) operator=(const basic_string&);
    str1 = str2;
    std::cout << std::quoted(str1) << ' '   // "alpha"
              << std::quoted(str2) << '\n'; // "alpha"
 
    // (2) operator=(basic_string&&);
    str1 = std::move(str2);
    std::cout << std::quoted(str1) << ' '   // "alpha"
              << std::quoted(str2) << '\n'; // "" or "alpha" (unspecified)
 
    // (3) operator=(const CharT*);
    str1 = "beta";
    std::cout << std::quoted(str1) << '\n'; // "beta"
 
    // (4) operator=(CharT);
    str1 = '!'; 
    std::cout << std::quoted(str1) << '\n'; // "!"
 
    // (5) operator=(std::initializer_list<CharT>);
    str1 = {'g', 'a', 'm', 'm', 'a'};
    std::cout << std::quoted(str1) << '\n'; // "gamma"
 
    // (6) operator=(const T&);
    str1 = 35U; // equivalent to str1 = static_cast<char>(35U);
    std::cout << std::quoted(str1) << '\n'; // "#" (ASCII = 35)
}

Possible output:

"alpha" "alpha"
"alpha" ""
"beta"
"!"
"gamma"
"#"

Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

DR	Applied to	Behavior as published	Correct behavior
LWG 847	C++98	there was no exception safety guarantee	added strong exception safety guarantee
LWG 2063	C++11	a non-normative note stated that swap is a valid implementation of move assignment	corrected to support allocators
LWG 2946	C++17	overload (6) caused ambiguity in some cases	avoided by making it a template

@@ Line 54: / Line 54: @@
 @2@ Replaces the contents with those of {{c|str}} using move semantics. {{c|str}} is in a valid but unspecified state afterwards. If {{c multi|std::allocator_traits<Allocator>::|    propagate_on_container_move_assignment::value}} is {{c|true}}, the allocator of {{c|*this}} is replaced by a copy of that of {{c|str}}. If it is {{c|false}} and the allocators of {{c|*this}} and {{c|str}} do not compare equal, {{c|*this}} cannot take ownership of the memory owned by {{c|str}} and must assign each character individually, allocating additional memory using its own allocator as needed. Unlike other container move assignments, references, pointers, and iterators to {{c|str}} may be invalidated.
 @3@ Replaces the contents with those of null-terminated character string pointed to by {{c|s}} as if by {{c|assign(s, Traits::length(s))}}.
-@4@ Replaces the contents with character {{c|ch}} as if by {{c|assign(std::addressof(ch), 1)}}
+@4@ Replaces the contents with character {{c|ch}} as if by {{c|assign(std::addressof(ch), 1)}}.
-@5@ Replaces the contents with those of the initializer list {{c|ilist}} as if by {{c|assign(ilist.begin(), ilist.size())}}
+@5@ Replaces the contents with those of the initializer list {{c|ilist}} as if by {{c|assign(ilist.begin(), ilist.size())}}.
 @6@ {{cpp/string/sv hack|replaces the contents with those of the {{c|sv}} as if by {{c|assign(sv)}}}}
 @7@ {{tt|std::basic_string}} cannot be assigned from {{c|nullptr}}.
@@ Line 72: / Line 72: @@
 ===Complexity===
-@1@ linear in size of {{c|str}}.
+@1@ Linear in size of {{c|str}}.
-@2@ linear in the size of {{c|*this}} (formally, each {{tt|CharT}} has to be destroyed). If allocators do not compare equal and do not propagate, then also linear in the size of {{c|str}} (copy must be made).
+@2@ Linear in the size of {{c|*this}} (formally, each {{tt|CharT}} has to be destroyed). If allocators do not compare equal and do not propagate, then also linear in the size of {{c|str}} (copy must be made).
-@3@ linear in size of {{c|s}}.
+@3@ Linear in size of {{c|s}}.
-@4@ constant.
+@4@ Constant.
-@5@ linear in size of {{c|ilist}}.
+@5@ Linear in size of {{c|ilist}}.
 ===Exceptions===
@@ Line 105: / Line 105: @@
      std::string str2{"alpha"};
-     // (1) operator=( const basic_string& );
+     // (1) operator=(const basic_string&);
      str1 = str2;
      std::cout << std::quoted(str1) << ' '   // "alpha"
                << std::quoted(str2) << '\n'; // "alpha"
-     // (2) operator=( basic_string&& );
+     // (2) operator=(basic_string&&);
      str1 = std::move(str2);
      std::cout << std::quoted(str1) << ' '   // "alpha"
                << std::quoted(str2) << '\n'; // "" or "alpha" (unspecified)
-     // (3) operator=( const CharT* );
+     // (3) operator=(const CharT*);
      str1 = "beta";
      std::cout << std::quoted(str1) << '\n'; // "beta"
-     // (4) operator=( CharT );
+     // (4) operator=(CharT);
      str1 = '!';
      std::cout << std::quoted(str1) << '\n'; // "!"
-     // (5) operator=( std::initializer_list<CharT> );
+     // (5) operator=(std::initializer_list<CharT>);
      str1 = {'g', 'a', 'm', 'm', 'a'};
      std::cout << std::quoted(str1) << '\n'; // "gamma"
-     // (6) operator=( const T& );
+     // (6) operator=(const T&);
      str1 = 35U; // equivalent to str1 = static_cast<char>(35U);
      std::cout << std::quoted(str1) << '\n'; // "#" (ASCII = 35)

Compiler support
Freestanding and hosted
Language
Standard library
Standard library headers
Named requirements
Feature test macros (C++20)
Language support library
Concepts library (C++20)
Metaprogramming library (C++11)
Diagnostics library
General utilities library
Strings library
Containers library
Iterators library
Ranges library (C++20)
Algorithms library
Numerics library
Localizations library
Input/output library
Filesystem library (C++17)
Regular expressions library (C++11)
Concurrency support library (C++11)
Execution support library (C++26)
Technical specifications
Symbols index
External libraries

Null-terminated strings
Byte strings
Multibyte strings
Wide strings
Classes
basic_string
basic_string_view (C++17)
char_traits

(constructor)	constructs a `basic_string` (public member function) [edit]
assign	assign characters to a string (public member function) [edit]
operator=	assigns a view (public member function of `std::basic_string_view<CharT,Traits>`) [edit]

cppreference.com

Namespaces

Variants

Views

Actions

Difference between revisions of "cpp/string/basic string/operator="

Revision as of 08:55, 2 June 2023

Contents

Parameters

Return value

Complexity

Exceptions

Example

Defect reports

See also

Navigation

Toolbox