分析boost::function识别输入参数类型

能识别四种类型：函数指针，函数对象，成员指针，函数对象的reference
主要在这个 get_function_tag类中。

 1
 2
 3 //  Tags used to decide between different types of functions
 4        struct  function_ptr_tag  {} ;
 5        struct  function_obj_tag  {} ;
 6        struct  member_ptr_tag  {} ;
 7        struct  function_obj_ref_tag  {} ;
 8
 9       template < typename F >
10        class  get_function_tag
11        {
12        typedef typename mpl::if_c<(is_pointer<F>::value),
13                                   function_ptr_tag,
14                                   function_obj_tag>::type ptr_or_obj_tag;
15
16        typedef typename mpl::if_c<(is_member_pointer<F>::value),
17                                   member_ptr_tag,
18                                   ptr_or_obj_tag>::type ptr_or_obj_or_mem_tag;
19
20        typedef typename mpl::if_c<(is_reference_wrapper<F>::value),
21                                   function_obj_ref_tag,
22                                   ptr_or_obj_or_mem_tag>::type or_ref_tag;
23
24      public:
25        typedef or_ref_tag type;
26      } ;
27

首先用L20 is_reference_wrapper识别出是否 function_obj_ref_tag。如果不是，则到L16，看是否member_ptr判断是否 member_ptr_tag,如果不是，则到L12，再看看是否 is_pointer,如果是则为 function_ptr,否则为 function_obj

至于这些判断如何实现的，似乎比较复杂，暂时还没有分析清楚。。。