" // this copy constructor is an optimization: we do not need to copy the storage_ member," . . . .