Re: [boost] [type_traits] has_member_function_callable_with

2011/9/18 Ion Gaztañaga <igaztanaga@gmail.com>:

Thanks for the info, I didn't know about the existence of SFINAE expressions with sizeof. One of the shortcomings of my proposal is supporting 0 argument functions, I haven't found yet a way to reliably detect them.

I think that for those cases in allocator_traits ('has_select_on_container_copy_construction' and 'max_size'), just checking that a member exists would be sufficient and is probably better than what I've currently got. If there's a member function with the wrong signature or a variable, a compile error wouldn't be particularly problematic.