C++ named requirements: MoveConstructible (since C++11)

Указывает, что экземпляр типа может быть сконструирован из rvalue аргумента.

Требования

Тип T удовлетворяет требованиям MoveConstructible если

Дано

• rv , rvalue -выражение типа T ,
• u , произвольный идентификатор.

Следующие выражения должны быть корректными и иметь указанные эффекты.

Примечания

Классу не обязательно реализовывать move constructor для удовлетворения этому требованию типа: copy constructor принимающий аргумент const T& может связывать rvalue выражения.

Если класс MoveConstructible реализует перемещающий конструктор, он также может реализовать семантику перемещения , чтобы воспользоваться тем фактом, что значение rv после конструирования не определено.

#include <iostream>
struct S
{
    int n;
    S(int in) : n{in} {}
    S(S&& other) { n = other.n + 1; }
};
static_assert(std::is_move_constructible_v<S>);
int main()
{
    S v{1};
    std::cout << "v.n = " << v.n << '\n';
    S u = std::move(v);
    // Class `S` doesn't satisfy a MoveConstructible requirement
    // The value of `u` is NOT equivalent to the value of `v` before the `u` initialization
    std::cout << "u.n = " << u.n << '\n';
}

v.n = 1
u.n = 2

Ссылки

Смотрите также