The additional copy used by push back can be observable (because the copy constructor is just a function, which is very much allowed to have side effects). That

The additional copy used by push back can be observable (because the copy constructor is just a function, which is very much allowed to have side effects). That means the compiler isn't allowed to optimize out the copy.