------- Comment #9 from jwakely dot gcc at gmail dot com 2008-11-05 01:09 ------- Created an attachment (id=16625) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16625&action=view) update result_of and reference_wrapper
In the current draft, reference_wrapper invocation requires Callable, which means it should not work for pointers to members. The same is true of result_of, which determines the result of an expression that isn't valid syntax for pointers to members. That said, here's a patch that updates result_of and reference_wrapper to work for pointers to members as well as callable types, using result_of in place of the Callable concept. If result_of and reference_wrapper really shouldn't work for pointers to members then this patch would be much simpler, and there's no need for __invoke() either. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24803
