Question: resize versus push_back in std::vector : does it avoid an unnecessary copy assignment?