This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Using incomplete types to instantiate STL-Templates?
- From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
- To: Wolfgang Bangerth <bangerth at ices dot utexas dot edu>
- Cc: gcc at gcc dot gnu dot org, Christian Ehrhardt <ehrhardt at mathematik dot uni-ulm dot de>
- Date: 30 Apr 2003 19:19:28 +0200
- Subject: Re: Using incomplete types to instantiate STL-Templates?
- Organization: Integrable Solutions
- References: <Pine.LNX.4.44.0304301128050.22220-100000@gandalf.ices.utexas.edu>
Wolfgang Bangerth <bangerth@ices.utexas.edu> writes:
| Note that libstdc++ _does_ actually accept the code Christian showed. It
| only rejects it if concepts checking is on.
Yes, that is what I was referring to when I said that accepting the
code puts severe restrictings on the implementations.
I don't think there is much we can do about it -- we all know the code
is violating a specific clause, e.g. constructing a list of incomplete
type.
| I think that's weird, and
| personally consider it a defect in the way the concepts checks are
| implemented.
STL concepts checking in pure C++ is a tough task. I would be pleased to
read your implementations :-)
[ I do know for sure that como + libcomo and concept checking does
reject some well-formed programs ]
-- Gaby