Re: libstdc++/10505

[Wolfgang Bangerth <bangerth@ices.utexas.edu>]

The following reply was made to PR libstdc++/10505; it has been noted by GNATS.

From: Wolfgang Bangerth <bangerth@ices.utexas.edu>
To: Christian Ehrhardt <ehrhardt@mathematik.uni-ulm.de>
Cc: gcc-gnats@gcc.gnu.org
Subject: Re: libstdc++/10505
Date: Tue, 29 Apr 2003 09:25:19 -0500 (CDT)

 [I guess we should continue in English and add this to the audit trail.]
 
 > Hm, ja. Scheint so. Allerdings lassen sich IMHO die praeprozessierten
 > Sourcen auf folgendes Problem reduzieren, was IMHO legalerweise abgelehnt
 > wird:
 > 
 > template <class A>
 > class Bar {
 > 	A barelem;
 > };
 > 
 > class Foo {
 > 	Bar<Foo> fooelem;
 > };
 
 Correct, this code is illegal.
 
 
 > Bleibt die Frage, ob das urspruengliche Konstrukt irgendwie legal ist:
 > 
 > class   Foo
 > {
 > public:
 > 	int             x;
 > 	std::list<Foo>  children;
 > };
 
 I think this should be legal code. It would only be illegal if 
 std::list<T> would have member variable of type _T_, rather than _T*_. I 
 am not aware of any wording in the standard, but I would guess that the 
 intent certainly is _not_ to have such members, but store the data in a 
 linked list and have pointers to it.
 
 
 > Auch hier wird std::list<> mit Foo instanziiert. Bei der normalen
 > Implementierung wird dabei offenbar nur ein Zeiger auf Foo irgendwo
 > angelegt, mit --enable-concept-checks dagegen ein echtes Element
 > vom Typ Foo, was nicht gehen kann. Wenn std::list in der Beziehung
 > irgendwelche Zugestaendnisse macht, dann koennte es sein, dass der
 > concept checks code buggy ist, ansonsten wuerde ich das bei naeherer
 > Betrachtung als user error ablehnen. Was meinst Du?
 
 Given the above, I would claim that the concepts check is in error. It 
 checks a requirement at the time of instantiation of the class that is 
 only needed at the time where actual member functions are instantiated. I 
 see no reason why the given code should be illegal.
 
 W.
 
 -------------------------------------------------------------------------
 Wolfgang Bangerth              email:            bangerth@ices.utexas.edu
                                www: http://www.ices.utexas.edu/~bangerth/