Re: [boost] [type_traits] has_member_function_callable_with

Subject: Re: [boost] [type_traits] has_member_function_callable_with
From: Daniel James (dnljms_at_[hidden])
Date: 2011-09-21 17:23:34

2011/9/18 Ion Gaztañaga <igaztanaga_at_[hidden]>:
>
> 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.