enable_if是用来(可以用来)控制重载函数的是否可用,这一点没有直观感受,比如,我写了一个形式的重载函数,但是我需要在某种条件下取消它,这时候它就可以派上用场,当然这里是模板函数.

function的构造函数有类似下面的形式:

    template<typename Functor>
    BOOST_FUNCTION_FUNCTION(Functor BOOST_FUNCTION_TARGET_FIX(const &) f
#ifndef BOOST_NO_SFINAE
                            ,typename enable_if_c<
                            (boost::type_traits::ice_not<
                             (is_integral<Functor>::value)>::value),
                                        int>::type = 0
#endif // BOOST_NO_SFINAE
                            ) :
      function_base()
    {
      this->assign_to(f);
    }

#ifndef BOOST_NO_SFINAE
    BOOST_FUNCTION_FUNCTION(clear_type*) : function_base() { }
#else
    BOOST_FUNCTION_FUNCTION(int zero) : function_base()
    {
      BOOST_ASSERT(zero == 0);
    }

我还不知道如何分析和理解这些宏,这个BOOST_FUNCTION_FUNCTION会替换成你外面的名字function,这两个构造函数有些奇怪,比如:

function<int(int)> f=0;

对于第一个模板形式,虽然你知道那里的Functor表示仿函数,但是事实上编译器只能当成'某种类型',并且不会排除int,它会被选中嘛,当然啦,int也是一种typename.这是我们不想看到的,愚蠢地把0当成了函数对象初始化下面的内容.

这个时候,那句enable_if_c起作用了,它里面的意思是说,如果Functor不是内部类型,那第二个参数就是int型,且有默认参数0,否则,将产生参数推导错误,而这并不会引发编译错误,只是将这个推导错误的重载形式函数从候选集中去掉.

可以在boost/utility里找到enable_if.hpp,看到enable_if_c的定义很简单:

template <bool B, class T = void>
  struct enable_if_c {
    typedef T type;
  };

  template <class T>
  struct enable_if_c<false, T> {};

如果第一个参数是true,则内嵌型别type就是第二个参数,否则,没有type的定义.第二个参数会被选中的原因是,0可以转型成clear_type*.

评论