vector, move semantics, nothrow e g ++ 4.7

Question

Ho scritto il seguente codice per capire la semantica del movimento. Funziona come previsto (cioè senza copie e solo mosse) in g ++ - 4.6 ma non in g ++ - 4.7.0. Ho pensato che fosse un bug nel collegamento in g ++ - 4.7.0 ma questo link dice che non è un bug in g ++ - 4.7. Quindi, come inteso da me dal link precedente, ho fatto il movimento di costruzione del nothrow ma ancora fa solo delle copie. Tuttavia, se faccio il nothrow del costruttore di copie, solo le mosse prendono posto. Qualcuno può spiegarlo?

#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

In che modo "stai facendo la svolta al costruttore nothrow"? Con g ++ 4.7, se annoto il costruttore di move con noexcept allora il tuo esempio si sposta solo:

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

no of moves = 25 
no of copies = 0