Re: [boost] Re: Re: Re: Collection Concept

From: Pavol Droba (droba_at_[hidden])
Date: 2003-11-19 04:50:10

On Wed, Nov 19, 2003 at 08:16:51PM +1100, Thorsten Ottosen wrote:
> "Pavol Droba" <droba_at_[hidden]> wrote in message
> news:20031119063920.GR25988_at_lenin.felcer.sk...
> 
> > Actualy it is already a part of main Boost repository
> (<boost>/libs/utility/Collection.html).
> > I wonder, why it is not under libs/concept_check, because that's the place
> where it belongs.
> 
> Aha :-)
> 
> > Another open issue is, how to express the collection concept requirements
> in the means of
> > container(collection)_traits.
> > Maybe some kind of "IndirectCollection" could be specified, where all
> requirements are
> > specified in the means of traits, instead of member functions/typdefs.
> 
> yeah, or maybe just a freestanding implementation of the XXConcept, so we
> could simply say
> "collection traits is a freestanding implementation of the Collection
> concept which gives uniform access to the
> Collection concept for many unrelated types."
> 

Problem is that there is a need for a precise specification of such a concept.
Simple wording is not enough, because it is not clear what operations
must be provided and what are the traits names.

collection_traits can be seen as an implementation of such a concept for some
specific types.

Pavol