From: Gennadiy Rozental (rogeeff_at_[hidden])
Date: 2002-03-21 13:46:06
I would be very interested in such tool. I am looking for all kings of compilability checks for Test library.
--- Douglas Gregor <gregod_at_[hidden]> wrote:
>On Wednesday 20 March 2002 12:44 pm, you wrote:
>> I did some more thinking about that this morning, including reading the
>> relevant part of the standard. It seems to me that we're still missing
>> some very important predicates which we could get from a legality
>> checker, like is_copyable<T>.
>FWIW, I wrote a quick GCC hack a short while ago to add a compiler-supported
>'can_instantiate' trait. 'can_instantiate<T>::value' is an ICE that will be
>true if T can be instantiated (T is implicitly instantiated by the check) and
>false otherwise (no errors will be emitted - compilation can continue on its
>merry way). Along with the ability to format and emit warning and error
>messages from a template metaprogram, the problems with nasty error messages
>in template code can be solved more easily. I'll post more information once
>I've got a good, nontrivial example.
>Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
A free email account your friends will never forget!
Get YOURNAME_at_[hidden] at http://www.emailaccount.com/
Run a small business? Then you need professional email like you_at_[hidden] from Everyone.net http://www.everyone.net?tag
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk