This is the mail archive of the
libstdc++@gcc.gnu.org
mailing list for the libstdc++ project.
Re: Concept-check bug ?
- From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
- To: Jonathan Wakely <cow at compsoc dot man dot ac dot uk>
- Cc: libstdc++ at gcc dot gnu dot org
- Date: 17 Jun 2005 14:21:00 +0200
- Subject: Re: Concept-check bug ?
- References: <20050617115348.GA51111@compsoc.man.ac.uk>
Jonathan Wakely <cow@compsoc.man.ac.uk> writes:
| 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 ?
I think it is invalid (how can T be CopyConstructible if it is not
complete?), which annoys me more often than not. I always
forget to raise the issue with LWG. It is ridiculous.
-- Gaby