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