John Maddock wrote: > > Those of you that have been discussing the type traits library recently > might be interested in: http://www.regex.fsnet.co.uk/n1424dft.htm > > Which contains the latest draft of my type traits standardisation proposal, > as ever comments are always very welcome - but please remember that there is > only a week before this has to be submitted for the pre-Oxford mailing.
Looks very good, especially given the fact that compile-failures are replaced by returning the unmodified type (IIUC :) One thing that may lead to a slight problem is in the last part: "If there is no means by which the implentation can differentiate between class and union types, then the class templates is_class and is_union need not be provided." I think it is much more useful to provide is_class and treat unions as classes in this case. Optionally we could add 'is_class_or_union' as most compilers are able to implement this even when they cannot provide is_class and is_union - and it would IMHO be a shame not to have this trait. And for the unimportant part: Is "boolian" correct or should it be "boolean"? Regards, Daniel -- Daniel Frey aixigo AG - financial training, research and technology Schloß-Rahe-Straße 15, 52072 Aachen, Germany fon: +49 (0)241 936737-42, fax: +49 (0)241 936737-99 eMail: [EMAIL PROTECTED], web: http://www.aixigo.de _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost