Move assignment operator

Материал из cppreference.com

This page has been machine-translated from the English version of the wiki using Google Translate.

The translation may contain errors and awkward wording. Hover over text to see the original version. You can help to fix errors and improve the translation. For instructions click here.

Click here for the English version of this page

Оператор ход присвоения класса T не является шаблоном не статические функции-члены с именем operator=, которая принимает один параметр типа T&&, const T&&, volatile T&&, или const volatile T&&. Типа с общественностью оператора присваивания шаг MoveAssignable.

Содержание

1 Синтаксис
2 Объяснение
3 Неявно объявил оператор ход назначения
4 Удаленные неявно объявлен оператором ход назначения
5 Тривиальные оператор присваивания ход
6 Неявно определенный оператор ход назначения
7 Notes
8 Пример

[править] Синтаксис


class_name `&` class_name `:: operator=` ( class_name `&&` )	(1)	(начиная с C++11)

class_name `&` class_name `:: operator=` ( class_name `&&` ) = default;	(2)	(начиная с C++11)

class_name `&` class_name `:: operator=` ( class_name `&&` ) = delete;	(3)	(начиная с C++11)

[править] Объяснение

# Типичное объявление оператора присваивания ход

# Принудительная оператора ходу назначения, которые будут созданы с помощью компилятора

# Как избежать неявного назначения ход

Оператор ход назначения называется всякий раз, когда он выбран по Разрешение перегрузки, например, когда объект появляется на левой стороне выражения присваивания, где правая сторона RValue того же или неявно преобразуются типа.

Перемещение операторов присваивания обычно "украсть" ресурсы, удерживаемые аргумент (например, указатели на динамически выделяемых объектов, дескрипторов файлов, TCP сокеты, потоки ввода / вывода, выполняемых потоков и т.д.), а не сделать их копии, и оставить аргумент В некоторых действительна, но в противном случае неопределенном состоянии. Например, перемещение назначения из std::string или std::vector оставляет за собой право стороны аргумент пустым.

[править] Неявно объявил оператор ход назначения

Если не операторы, определяемые пользователем ход назначения предназначены для классового типа (struct, class, или union), и все из следующих условий:

нет пользователем объявленный конструктор копии
Original:
there are no user-declared copy constructors
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
нет пользователем объявленных конструкторов ход
Original:
there are no user-declared move constructors
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
нет пользователей заявили операторы копия задания
Original:
there are no user-declared copy assignment operators
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
нет пользователем объявленной деструкторов
Original:
there are no user-declared destructors
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
неявно объявлен оператором ход назначения не будут определены как удаленные
Original:
the implicitly-declared move assignment operator would not be defined as deleted
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

то компилятор будет объявить оператору ход назначение как inline public членом своего класса с подписью

Класс может иметь несколько ходу операторов присваивания, например, как T& T::operator=(const T&&) и T& T::operator=(T&&). Если некоторые операторы, определяемые пользователем ход назначения присутствует, пользователь все еще может заставить поколения неявно объявляется оператором ход назначения с ключевым словом default.

Потому что некоторые оператор присваивания (перемещение или копирование) всегда объявляется для любого класса, назначение базового класса оператор всегда скрыты. Если использование декларации используется для приведения в операторе присваивания из базового класса, и его аргумент типа может быть такой же, как аргумент типа неявного оператора присвоения производного класса, использование декларации также скрытые неявные Декларация.

[править] Удаленные неявно объявлен оператором ход назначения

Неявно объявлен дефолт или оператора ходу назначения для класса T определяется как' удалены в любом из следующих условий:
Original:
The implicitly-declared or defaulted move assignment operator for class T is defined as deleted in any of the following is true:
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

T имеет не статические данные член, const
Original:
T has a non-static data member that is const
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
T имеет не статические данные члены ссылочного типа.
Original:
T has a non-static data member of a reference type.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
T имеет не статические данные члены, которые не могут двигаться назначенный (удалил, недоступными или неоднозначных оператор присваивания ход)
Original:
T has a non-static data member that cannot be move-assigned (has deleted, inaccessible, or ambiguous move assignment operator)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
T имеет прямое или виртуальный базовый класс, который не может двигаться назначенный (удалил, недоступными или неоднозначных оператор присваивания ход)
Original:
T has direct or virtual base class that cannot be move-assigned (has deleted, inaccessible, or ambiguous move assignment operator)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
T имеет не статические данные члена или прямой или виртуальной базы без оператора ходу назначения, которые не тривиально копируемой.
Original:
T has a non-static data member or a direct or virtual base without a move assignment operator that is not trivially copyable.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
T имеет прямое или косвенное виртуального базового класса
Original:
T has a direct or indirect virtual base class
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

[править] Тривиальные оператор присваивания ход

Неявно объявлен оператором ход назначения для класса T является тривиальной, если все следующие условия:

T не имеет виртуальных функций-членов
Original:
T has no virtual member functions
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
T не имеет виртуальные базовые классы
Original:
T has no virtual base classes
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
Оператор ход назначения выбран для каждого прямого базы T тривиально
Original:
The move assignment operator selected for every direct base of T is trivial
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
Оператор ход назначения выбран для каждого нестатический тип класса (или массив типа класса) Член КЛУБА T тривиально
Original:
The move assignment operator selected for every non-static class type (or array of class type) memeber of T is trivial
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

Тривиальные оператор присваивания ход выполняет те же действия, как тривиальные ОператорПрисваивания копия, которая делает копию объекта представления, как по std::memmove. Все типы данных, совместимые с языком C (POD типов) тривиально двигаться назначаемые.

[править] Неявно определенный оператор ход назначения

Если неявно объявлен оператором ход назначения не удаляется и не тривиально, оно определено (то есть, тела функции создается и компилируется) компилятором. Для union типа, неявно определен оператор ход присвоение копирует объект представления (как по std::memmove). Для не состоящих в профсоюзе типа класса (class и struct), оператор ход назначения осуществляет полноправный член-мудрый шаг назначение баз объекта и не статическим членам, по их порядка инициализации, с помощью встроенного в задание на скаляры и оператор ход назначения для класса типа.

[править] Notes

Если обе копии и операторов ход назначения предоставляются, разрешение перегрузки выбирает ход назначения, если аргумент RValue ( или prvalue, таких как безымянные временное или' xvalue таких, как результат std::move ), и выбирает копия задания, если аргумент' именующее (названный объект или функция / оператор возвращения именующее ссылка). Если только копию уступки при условии, все аргументы категории выберите ее (пока она занимает свой аргумент по значению или ссылки на константные, так как rvalues можно привязать к константные ссылки), что делает копию назначения резервной для перемещения назначения, когда двигаться остается недоступным.

Копирования и замены оператор присваивания

T& T::operator=(T arg) {
swap(arg);
return *this;
}

выполняет эквивалент движения задание на RValue аргументы за счет одного дополнительного вызова ходу конструктор T, которая часто приемлемо.

[править] Пример

#include <string>
#include <iostream>
#include <utility>
 
struct A {
    std::string s;
    A() : s("test") {}
    A(const A& o) : s(o.s) { std::cout << "move failed!\n";}
    A(A&& o) : s(std::move(o.s)) {}
    A& operator=(const A&) { std::cout << "copy assigned\n"; return *this; }
    A& operator=(A&& other) {
         s = std::move(other.s);
         std::cout << "move assigned\n";
         return *this;
    }
};
 
A f(A a) { return a; }
 
struct B : A {
     std::string s2;
     int n;
     // implicit move assignment operator B& B::operator=(B&&)
     // calls A's move assignment operator
     // calls s2's move assignment operator
     // and makes a bitwise copy of n
};
 
struct C : B {
    ~C() {}; // destructor prevents implicit move assignment
};
 
struct D : B {
    D() {}
    ~D() {}; // destructor would prevent implicit move assignment
    D& operator=(D&&) = default; // force a move assignment anyway
};
 
int main()
{
    A a1, a2;
    std::cout << "Trying to move-assign A from rvalue temporary\n";
    a1 = f(A()); // move-assignment from rvalue temporary
    std::cout << "Trying to move-assign A from xvalue\n";
    a2 = std::move(a1); // move-assignment from xvalue
 
    std::cout << "Trying to move-assign B\n";
    B b1, b2;
    std::cout << "Before move, b1.s = \"" << b1.s << "\"\n";
    b2 = std::move(b1); // calls implicit move assignment
    std::cout << "After move, b1.s = \"" << b1.s << "\"\n";
 
    std::cout << "Trying to move-assign C\n";
    C c1, c2;
    c2 = std::move(c1); // calls the copy assignment operator
 
    std::cout << "Trying to move-assign E\n";
    D d1, d2;
    d2 = std::move(d1);
}

Вывод:

Trying to move-assign A from rvalue temporary
move assigned
Trying to move-assign A from xvalue
move assigned
Trying to move-assign B
Before move, b1.s = "test"
move assigned
After move, b1.s = "" 
Trying to move-assign C
copy assigned
Trying to move-assign E
move assigned

Язык
Понятия (концепции)
Утилиты
Строки
Контейнеры
Алгоритмы
Итераторы
Работа с числами
Ввод / вывод
Локализация
Регулярные выражения (C++11)
Атомарные примитивы (C++11)
Потоки (C++11)

cppreference.com

Поиск

Пространства имён

Варианты

Просмотры

Действия