function object研究之七 is_placeholder

这里看一下is_placehoder模板

在is_placeholder.hpp中，有如下定义：

namespace boost
{

template< class T > struct is_placeholder
{
    enum _vt { value = 0 };
};

} 

在arg.hpp中，还有几个偏特化版本的定义：

#if !defined( BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION )

template< int I > struct is_placeholder< arg<I> >
{
    enum _vt { value = I };
};

template< int I > struct is_placeholder< arg<I> (*) () >
{
    enum _vt { value = I };
};

#endif

is_placeholder的第一个特化版本接受arg<I>作为模板参数，并且将I的值赋值给内部成员value，

第二个特化版本接受函数指针作为模板参数，返回arg<I>, 没有参数。

如果模板参数T不是arg<I>类型或者函数指针，则使用is_placeholder.hpp中的普通模板定义，将value设置为0.

看下面的代码演示了如何使用

  int z = boost::is_placeholder<boost::arg<9> >::value;
  int q = boost::is_placeholder<string >::value;

z变量的值就是9.而q变量的值就是0,因为string不是arg<I>类型

boost::arg<1> F() {
    return _1;
}

typedef boost::arg<1> (*FPointer)();

....


cout << boost::is_placeholder<FPointer>::value << endl;

上面的代码演示了函数指针作为模板参数使用的方法。

总结，is_placeholder模板的作用是：

1.接受模板参数，判断是否是boost::arg<N>类型或者返回该类型的函数指针

2.如果不是，则value为0

3.如果是，则value为N