vectơ, di chuyển ngữ nghĩa, nothrow và g ++ 4.7

Question

Tôi đã viết đoạn mã sau để hiểu ngữ nghĩa di chuyển. Nó hoạt động như mong đợi (ví dụ: không có bản sao và chỉ di chuyển) trong g ++ - 4.6 nhưng không phải trong g ++ - 4.7.0. Tôi nghĩ rằng đó là một lỗi trong liên kết trong g ++ - 4.7.0 nhưng điều này link nói rằng nó không phải là một lỗi trong g ++ - 4.7. Vì vậy, như tôi đã hiểu từ liên kết trên, tôi đã tạo ra hàm khởi tạo di chuyển nhưng vẫn chỉ có bản sao. Tuy nhiên, nếu tôi tạo bản sao của hàm khởi tạo, chỉ di chuyển các địa điểm. Bất kỳ ai có thể giải thích điều này?

#include <iostream> 
#include <vector> 
using namespace std; 

struct S{ 
int v; 
static int ccount, mcount; 
S(){} 
    //no throw constructor 
    //S(nothrow)(const S & x){ 
S(const S & x){ 
    v = x.v; 
    S::ccount++; 
} 
S(S&& x){ 
    v = x.v; 
    S::mcount++; 
} 
}; 

int S::ccount = 0; 
int S::mcount = 0; 
int main(){ 

vector<S> v; 
S s; 

for(int i = 0; i < 10; i++) { 
    v.push_back(std::move(s)); 
} 

cout << "no of moves = " << s.mcount << endl; 
cout << "no of copies = " << s.ccount << endl; 
return 0; 
} 

Answer 1

Làm thế nào để bạn "chuyển nhà xây dựng di chuyển"? Với g ++ 4.7, nếu tôi chú thích hàm khởi tạo di chuyển với noexcept thì ví dụ của bạn chỉ di chuyển:

S(S&& x) noexcept{ ... } 

no of moves = 25 
no of copies = 0