Re: Concept-check bug ?

["Peter Dimov" <pdimov at mmltd dot net>]

Gabriel Dos Reis wrote:
> Jonathan Wakely <cow@compsoc.man.ac.uk> writes:
>
> > On Fri, Jun 17, 2005 at 03:12:40PM +0300, Peter Dimov wrote:
> >
> > > Jonathan Wakely wrote:
> > > > Hi y'all,
> > > >
> > > >   #define _GLIBCXX_CONCEPT_CHECKS
> > > >   #include <vector>
> > > >
> > > >   struct A {
> > > >       std::vector<A> v;
> > > >   };
> > > >
> > > > This produces concept-check errors because A is incomplete at the
> > > > point of declaring v.
> > > >
> > > > Is this code really illegal, or just a flaw in the concept-checks ?
> > >
> > > It's illegal (17.4.3.6/2 last bullet), but useful.
> >
> > Thanks, Peter (I should have known that).
> >
> > Presumably the truly legal way to do it is with a (smart) pointer to
> > the
>
> Probably "legal", but surely overkill and obfuscatory.

We all believe that this is a defect; no need to argue. Just submit that 
issue already. ;-)