Boost logo

Boost :

Subject: Re: [boost] Feedback request for Invariant Library idea
From: Andrzej Krzemienski (akrzemi1_at_[hidden])
Date: 2017-03-17 09:08:03

2017-03-17 9:17 GMT+01:00 Attila Szenczi via Boost <boost_at_[hidden]>:

> Hello!
> I am asking for some feedback if my library idea is good enough to be part
> of boost if it will meet the requirements.
> C++20(?) contracts will be great, it will allow us to write cleaner
> interfaces, but i don't feel like it solve every issue i would like to
> solve.

No, they won't. In particular, there will be no support for invariants. But
also, it is not that clear that they will make it into C++20.

> Do you think it would be a good addition to boost? I appreciate any
> feedback!

Your library matches close to constrained_value, that has been a candidate
for Boost some time ago. Maybe you should check and compare with the author:

Your library -- it looks like it tries to specialize more for type int. A
similar functionalit is available in the recently reviewed safe_numerics
library. In documentation it even discusses the case like yours, and
similar optimizations. You may wish to check it out:


Boost list run by bdawes at, gregod at, cpdaniel at, john at