Nên std :: mảng có di chuyển constructor?

Question

Di chuyển không thể được triển khai hiệu quả (O (1)) trên std :: array, vậy tại sao nó lại có hàm khởi tạo?

Answer 1

std::array có trình biên dịch di chuyển được tạo bởi trình biên dịch, cho phép tất cả các phần tử của một thể hiện được di chuyển sang một trường hợp khác. Đây là thuận tiện nếu các yếu tố này là một cách hiệu quả di chuyển hoặc nếu chúng chỉ là di chuyển:

#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); 
} 

Vì vậy, tôi sẽ nói std::array nên có một constructor di chuyển sao chép, đặc biệt kể từ khi nó đi kèm miễn phí. Không có ai yêu cầu nó bị vô hiệu hóa, và tôi không thể thấy bất kỳ lợi ích nào trong đó.

Answer 2

Có một cái nhìn tại các tiêu chuẩn: nhà xây dựng

23.3.2.2 mảng, sao chép và phân [array.cons]

Các điều kiện cho một số tổng hợp (8.5.1) sẽ được đáp ứng. Mảng lớp dựa vào các hàm thành viên đặc biệt được khai báo ngầm định (12.1, 12.4 và 12.8) để phù hợp với bảng yêu cầu vùng chứa trong 23.2. Ngoài các yêu cầu được chỉ định trong bảng yêu cầu vùng chứa, hàm khởi tạo ẩn và di chuyển gán cho toán tử cho mảng yêu cầu T là MoveConstructible hoặc MoveAssignable, tương ứng.

Nhà điều hành di chuyển và toán tử gán không được miễn phí, chúng có thể không được cung cấp.

Answer 3

Để tóm tắt và mở rộng câu trả lời khác, array<T> nên di chuyển (khi T chính nó là di chuyển) vì:

• T có thể có hiệu quả di chuyển.
• T có thể di chuyển- chỉ.