Re: [fixed_string] Designing the contract

From: Zach Laine (whatwasthataddress_at_[hidden])
Date: 2019-12-16 17:12:47

On Mon, Dec 16, 2019 at 8:50 AM Vinnie Falco via Boost <
boost_at_[hidden]> wrote:

> On Mon, Dec 16, 2019 at 12:44 AM Andrzej Krzemienski via Boost
> <boost_at_[hidden]> wrote:
> > I wanted to indicate that this would in fact still be a controversial
> move.
>
> You bring up very good points, and I didn't really think much about
> the Policy approach, because Boost.Container uses it and I simply
> assume that most Boost libraries are correct as written. Every problem
> that you pointed out is also surely a problem with Boost.Container
> then, does static_vector do the wrong thing here?
>
>
> https://github.com/boostorg/container/blob/dd158987e6bfbb83f82f35d6e34c93577bcb160b/include/boost/container/static_vector.hpp#L38

I think so, yes.  This is a case of not being generic, but instead being
vague.  As Andrej points out, in many contexts I may not even know what the
contract is.

Zach