function object研究之五-优快云博客

本文介绍Boost库中占位符的实现细节，展示了如何利用编译器特性进行类型检查，并通过示例代码解释了编译期检测的工作原理。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

巧妙的检测占位符

boost提供了从_1到_9的占位符。具体定义如下：

boost::arg<1> _1; boost::arg<2> _2; boost::arg<3> _3; boost::arg<4> _4; boost::arg<5> _5; boost::arg<6> _6; boost::arg<7> _7; boost::arg<8> _8; boost::arg<9> _9; template< int I > struct arg { arg() { } template< class T > arg( T const & /* t */ ) { // static assert I == is_placeholder<T>::value typedef char T_must_be_placeholder[ I == is_placeholder<T>::value? 1: -1 ]; } }; template< int I > bool operator==( arg const &, arg const & ) { return true; } template< int I > struct is_placeholder< arg > { enum _vt { value = I }; }; template< int I > struct is_placeholder< arg (*) () > { enum _vt { value = I }; }; template< class T > struct is_placeholder { enum _vt { value = 0 }; };
说明：
1.is_placeholder模板函数主要用来设置value值，如果模板参数T不是arg类型，则设置为0.下面的代码是z变量的值就是9.而q变量的值就是0,因为string不是arg类型。
2.利用数组的初始化长度不能小于0，来做编译期检测。比如：如果表达式计算结果为-1，也就是char a[-1],则编译器会报错。上面代码的typedef就采用了这种机制。这也说明==，？：操作符都是可以在编译期间求值的。

int z = boost::is_placeholder<boost::arg<9> >::value; int q = boost::is_placeholder<string >::value; boost::arg<1> arg1(_1);//编译通过，因为_1是占位符 string str; boost::arg<1> arg2(str);//编译不通过，因为str不是占位符 /usr/src/boost_1_47_0/boost/bind/arg.hpp: In constructor ‘boost::arg::arg(const T&) [with T = std::basic_string<char>, int I = 1]’: In file included from /usr/src/boost_1_47_0/boost/bind/bind.hpp:29:0, from /usr/src/boost_1_47_0/boost/bind.hpp:22, from main.cpp:12: main.cpp:59:27: instantiated from here /usr/src/boost_1_47_0/boost/bind/arg.hpp:37:22: error: size of array is negative