来源:https://stackoverflow.com/questions/313432/c-extend-a-vector-with-another-vector
// reserve() is optional - just to improve performance
v.reserve(v.size() + distance(v_prime.begin(),v_prime.end()));
v.insert(v.end(),v_prime.begin(),v_prime.end());