[boost] Re: Re: Re: Re: [Formal review] Collection Traits library

From: Thorsten Ottosen (nesotto_at_[hidden])
Date: 2004-05-06 19:45:58

"Peter Dimov" <pdimov_at_[hidden]> wrote in message news:003b01c4337c$83b49df0$1d00a8c0_at_pdimov2...
| Thorsten Ottosen wrote:
[snip]
 > because I assume it will also have member functions that makes it a
| > Range, ie, begin(), end(), empty(), size(). So it merges ranges with
| > iterators.
|
| Range is begin(), end();

So you want size() and empty() to be removed from the Range Traits?

|Iterator is ++ and *, and ConvertibleToBool is
| if( x ). A concept only specifies the minimal requirements.

Couldn't a concept also specify functions that can be built on top of that minimal set?

| If we had to
| invent new concepts for every combination, we wouldn't be able to get
| anything else done, combinatorial explosion and all. ;-)

well, in general we agree.

br

Thorsten