Re: [boost] [contract] toward N3351 concepts

Subject: Re: [boost] [contract] toward N3351 concepts
From: Andrzej Krzemienski (akrzemi1_at_[hidden])
Date: 2012-10-10 03:57:17

>
> P.S. I just have wild idea - what about axioms for function's arguments?
> i.e. not on types, but on values.
> Maybe some kind of axiomatic_assert.
> For instance that can be used to prevent pointers aliasing ("restrict"
> keyword in C99):
> void* memcpy( void* dest, const void* src, size_t count )
> {
>     axiomatic_assert( do_not_overlap(dest,src,count) );
>     // ...
> }
>

Is this not the same thing as preconditions in contract programming and
Lorenzo's Boost.Contract library?

Regards,
&rzej