Làm thế nào để thực thi ngữ nghĩa di chuyển khi một vectơ lớn lên?

Question 1

Tôi có một std::vectortrong các đối tượng của một lớp nhất định A. Lớp này không tầm thường và có các hàm tạo sao chép và các hàm tạo di chuyển được xác định.

std::vector<A>  myvec;

Nếu tôi lấp đầy vectơ với Acác đối tượng (sử dụng ví dụ myvec.push_back(a)), vectơ sẽ tăng kích thước, sử dụng hàm tạo bản sao A( const A&)để khởi tạo các bản sao mới của các phần tử trong vectơ.

Tôi có thể thực thi bằng cách nào đó rằng phương thức khởi tạo di chuyển của lớp Ađang được rèn được sử dụng thay thế không?

Question 2

Bạn cần thông báo cho C ++ (cụ thể std::vector) rằng hàm tạo và hủy di chuyển của bạn không ném, sử dụng noexcept. Sau đó hàm tạo chuyển động sẽ được gọi khi véc tơ lớn lên.

Đây là cách khai báo và triển khai một hằng số di chuyển được tôn trọng bởi std::vector:

A(A && rhs) noexcept { 
  std::cout << "i am the move constr" <<std::endl;
  ... some code doing the move ...  
  m_value=std::move(rhs.m_value) ; // etc...
}

Nếu phương thức khởi tạo không phải noexcept, std::vectorkhông thể sử dụng nó, vì nó không thể đảm bảo các bảo đảm ngoại lệ theo yêu cầu của tiêu chuẩn.

Để biết thêm về những gì được nói trong tiêu chuẩn, hãy đọc ngữ nghĩa và ngoại lệ của C ++ Move

Tín dụng cho Bo, người ám chỉ rằng nó có thể phải làm với các trường hợp ngoại lệ. Cũng nên xem xét lời khuyên của Kerrek SB và sử dụng emplace_backkhi có thể. Nó có thể nhanh hơn (nhưng thường thì không), nó có thể rõ ràng và nhỏ gọn hơn, nhưng cũng có một số cạm bẫy (đặc biệt là với các hàm tạo không rõ ràng).

Chỉnh sửa , thường mặc định là những gì bạn muốn: di chuyển mọi thứ có thể di chuyển, sao chép phần còn lại. Để yêu cầu rõ ràng điều đó, hãy viết

A(A && rhs) = default;

Làm điều đó, bạn sẽ nhận được noexcept khi có thể: Phương thức khởi tạo Move mặc định có được định nghĩa là noexcept không?

Lưu ý rằng các phiên bản đầu tiên của Visual Studio 2015 trở lên không hỗ trợ điều đó, mặc dù nó hỗ trợ ngữ nghĩa chuyển động.

Question 3

Điều thú vị là, vectơ của gcc 4.7.2 chỉ sử dụng hàm tạo di chuyển nếu cả hàm tạo di chuyển và hàm hủy đều như vậy noexcept. Một ví dụ đơn giản:

struct foo {
    foo() {}
    foo( const foo & ) noexcept { std::cout << "copy\n"; }
    foo( foo && ) noexcept { std::cout << "move\n"; }
    ~foo() noexcept {}
};

int main() {
    std::vector< foo > v;
    for ( int i = 0; i < 3; ++i ) v.emplace_back();
}

Điều này cho kết quả mong đợi:

move
move
move

Tuy nhiên, khi tôi xóa noexceptkhỏi ~foo(), kết quả sẽ khác:

copy
copy
copy

Tôi đoán điều này cũng trả lời câu hỏi này .

Question 4

Có vẻ như, cách duy nhất (đối với C ++ 17 trở về trước), để thực thi std::vectorsử dụng ngữ nghĩa di chuyển trên phân bổ lại là xóa phương thức tạo bản sao :). Theo cách này, nó sẽ sử dụng các hàm tạo di chuyển của bạn hoặc cố gắng chết, tại thời điểm biên dịch :).

Có nhiều quy tắc std::vectorKHÔNG PHẢI sử dụng hàm tạo di chuyển khi phân bổ lại, nhưng không có gì về nơi PHẢI SỬ DỤNG nó.

template<class T>
class move_only : public T{
public:
   move_only(){}
   move_only(const move_only&) = delete;
   move_only(move_only&&) noexcept {};
   ~move_only() noexcept {};

   using T::T;   
};

Trực tiếp

hoặc là

template<class T>
struct move_only{
   T value;

   template<class Arg, class ...Args, typename = std::enable_if_t<
            !std::is_same_v<move_only<T>&&, Arg >
            && !std::is_same_v<const move_only<T>&, Arg >
    >>
   move_only(Arg&& arg, Args&&... args)
      :value(std::forward<Arg>(arg), std::forward<Args>(args)...)
   {}

   move_only(){}
   move_only(const move_only&) = delete;   
   move_only(move_only&& other) noexcept : value(std::move(other.value)) {};    
   ~move_only() noexcept {};   
};

Mã trực tiếp

TLớp của bạn phải có noexcepttoán tử khởi tạo / gán di chuyển và hàm noexcepthủy. Nếu không, bạn sẽ gặp lỗi biên dịch.

std::vector<move_only<MyClass>> vec;