Daniel Walker a écrit :
Of course, I think there is a need to package SFINAE techniques as a nice library for compile-time class-based type introspection - something beyond MPL's HAS_XXX. I've done some work on this myself, actually, and I once submitted a patch implementing HAS_XXX for member templates, but I believe it got lost in the SVN migration. This is another topic that doesn't relate to is_range, but yeah, sure, if you have something along these lines, by all means, share it! ;-)
Yeah we kinda miscommunicated on this topic. I'll gather what I have and see what is worth sharing. basically, what I tried to do was a generic BOOST_HAS_METHOD_NAMED(foo, (int,int)) that check for presence of a given method with a given prototypes in types with variations to catch or not to catch const version of a named methods etc. The code is rather simple IIRC as it's roaming the internet since ages but never put into a proper usable macro I think. I also think we can check what's needed for this and how to put it properly. If you think it's worth, maybe we should start a new topic and work over this. -- ___________________________________________ Joel Falcou - Assistant Professor PARALL Team - LRI - Universite Paris Sud XI Tel : (+33)1 69 15 66 35