That looks really good to me.  (I particularly like giving teeth to the pseudo-destructor calls.)


Where is says:

        Within the implementation of vector, some storage is allocated to hold an array of up to 5 ints.

should that be “4 ints” (or did you mean to call vi.reserve(5))?  Or am I completely misunderstanding?

        Daveed



> On Feb 9, 2018, at 2:52 PM, Richard Smith <richardsmith@google.com> wrote:
>
> Hi all,
>
> Please find attached a revised version of P0593 based on the excellent discussion and feedback at the Albuquerque meeting. Please let me know if you have any comments; I believe our plan was to discuss this again at Jacksonville, and all being well, to forward it to EWG at that meeting.
>
> Best regards,
> Richard
> <d0593r2.html>_______________________________________________
> ub mailing list
> ub@isocpp.open-std.org
> http://www.open-std.org/mailman/listinfo/ub

_______________________________________________
ub mailing list
ub@isocpp.open-std.org
http://www.open-std.org/mailman/listinfo/ub