Должен ли std :: array иметь конструктор перемещения?

Question

Перемещение не может быть эффективно реализовано (O (1)) на std :: array, поэтому почему он имеет конструктор перемещения?

Answer 1

std::array имеет созданный компилятором конструктор перемещения, который позволяет перемещать все элементы одного экземпляра в другой. Это удобно, если элементы эффективно движимые или, если они только движимые:

#include <array> 
#include <iostream> 

struct Foo 
{ 
    Foo()=default; 
    Foo(Foo&&) 
    { 
    std::cout << "Foo(Foo&&)\n"; 
    } 
    Foo& operator=(Foo&&) 
    { 
    std::cout << "operator=(Foo&&)\n"; 
    return *this; 
    } 
}; 

int main() 
{ 
    std::array<Foo, 10> a; 
    std::array<Foo, 10> b = std::move(a); 
} 

Так что я бы сказал, std::array должен иметь конструктор шаг копирования, специально, так как он поставляется бесплатно. Не нужно требовать, чтобы он был активно отключен, и я не вижу в этом никакой пользы.

Answer 2

Посмотри на стандарте: конструкторы

23.3.2.2 массива, копирование и присваивание [array.cons]

Условий для агрегата (8.5.1), должны быть выполнены. Класс array опирается на неявно объявленные специальные функции-члены (12.1, 12.4 и 12.8), чтобы соответствовать таблице требований к контейнеру в 23.2. В дополнение к требованиям, указанным в таблице требований к контейнеру, оператор неявного перемещения и назначение перемещения оператора для массива требуют, чтобы T был MoveConstructible или MoveAssignable, соответственно.

Конструктор перемещения и оператор присваивания, безусловно, не являются бесплатными, они не могут быть предоставлены.

Answer 3

Суммируя и расширить другие ответы, array<T> должны быть подвижны (когда T сам подвижны), потому что:

• T может быть эффективно подвижны.
• T может быть перемещение только.