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: Fergus Henderson <fjh at cs dot mu dot OZ dot AU>
- To: Wolfgang Bangerth <bangerth at ices dot utexas dot edu>
- Cc: gcc at gcc dot gnu dot org, gdr at integrable-solutions dot net, Christian Ehrhardt <ehrhardt at mathematik dot uni-ulm dot de>
- Date: Thu, 1 May 2003 12:04:14 +1000
- Subject: Re: Using incomplete types to instantiate STL-Templates?
- References: <Pine.LNX.4.44.0304301128050.22220-100000@gandalf.ices.utexas.edu>
On 30-Apr-2003, Wolfgang Bangerth <bangerth@ices.utexas.edu> wrote:
>
> Note that libstdc++ _does_ actually accept the code Christian showed. It
> only rejects it if concepts checking is on. I think that's weird, and
> personally consider it a defect in the way the concepts checks are
> implemented.
The point of concept checking is to check that the class used to
instantiated a template meets (the checkable subset of) the standard's
requirements. One of the requirements that the standard imposes is that
the class must be complete. So it is surely right for the concept checking
to reject such classes!
--
Fergus Henderson <fjh@cs.mu.oz.au> | "I have always known that the pursuit
The University of Melbourne | of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.