Boost logo

Boost :

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?


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