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.
-- http://www.informatik.tu-darmstadt.de/TI/Mitarbeiter/cludwig.html LiDIA: http://www.informatik.tu-darmstadt.de/TI/LiDIA/Welcome.html
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk