Re: [boost] Re: OOPSLA 2004 Boost workshop proposal

From: Christoph Ludwig (cludwig_at_[hidden])
Date: 2004-09-12 04:11:29

On Sun, Sep 12, 2004 at 07:27:53AM +0200, Pavel Vozenilek wrote:
> 
> "PORKOLAB Zoltan" wrote:
> 
> > The [concept checking] proposal and the corresponding
> > source is downloadable from
> > http://gsd.web.elte.hu/Publications/GPCE_04/concept.pdf
> >
> Small note to chapter 3 intro: it is possible to check
> whether type is abstract.
> 
> The technique was invented by Rani Sharoni
> and it will be included in Boost 1.32 as
> is_abstract<> type trait.
> 
> It works only with newest compilers
> (e.g GCC3.4, VC7.1, Intel 7).

Unfortunately, due to a compiler bug, it works with gcc 3.4 only if
the class is _not_ a template specialization. See
<URL:http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17232> for details.
This bug probably won't be fixed in the gcc 3.4.x release series.

Unless I misunderstood Giovanno Bajo's reply to my problem report then
EDG based compilers also fail my testcase.

Regards

Christoph
-- 
http://www.informatik.tu-darmstadt.de/TI/Mitarbeiter/cludwig.html
LiDIA: http://www.informatik.tu-darmstadt.de/TI/LiDIA/Welcome.html