std::vector<double,std::allocator<double>>::vector(std::vector<double,std::allocator<double>> const&)