[boost] Re: better assertion technique

From: Thorsten Ottosen (nesotto_at_[hidden])
Date: 2003-04-23 14:38:13

"Pavel Vozenilek" <pavel_vozenilek_at_[hidden]> wrote in message
news:b86mem$397$1_at_main.gmane.org...
>
> "John Torjo" <john_at_[hidden]> wrote in message
> news:005001c30a68$346c5fa0$01211bac_at_PEOPLEFIRST...
> >
> > assert( (i < j) || (i == 0) || (j == 1) ); would change into
> > SMART_ASSERT( (v_(i) < v_(j)) || (i == 0) || (j == 1) );
> >
> > The output of the above (in case the assertion fails) can look like:
> >
> > Assertion failed:
> > '(v_(i) < v_(j)) || (i < 0) || (v_(k) == -1)'
> > i= '3'
> > j= '2'
> > k= '1'
> >
> This feature looks handy. Short macro like "v_" is IMHO acceptable, it
won't
> clash with definition like:
>   int v_;

but it will clash with 'int v_(1);', right.

regards

Thorsten