Re: [Boost-users] [FunctionTypes] Testing for a general callable type.

On 25 March 2013 20:48, Jeffrey Lee Hellrung, Jr. < jeffrey.hellrung@gmail.com> wrote:

That's because the type of DefaultVal is void ( int ). Function types cannot encode the default'ness of parameters.

How about this example? This fails to compile for me, with a template instantiation ambiguity. Any thoughts? Thx, Rob. #include "boost/type_traits/has_call.hpp" #include <cassert> template bool HasCall(F const&) { return boost::has_call::value; } void DefaultVal(int) {} int main() { assert(HasCallboost::dont_care(int)(DefaultVal)); } -- ACCU - Professionalism in programming - http://www.accu.org