用is_*函数轻松编写通用代码

当处理通用编程时，开发者往往有需要使用一元判断来检测某个范围内的所有元素是否小于、小于或者等于、大于……某个任意值。

你可以这样写代码：

void print( int i) { std::cout << i << " "; } //for_each_if 的代码忽略了透明性；它的代码如下 int main(int argc, char* argv[]) { int aTest[] = { 3, 6, 1, 30, 4, 7, 20, 3, 34, 2, 66 }; int nCount = sizeof( aTest) / sizeof( int); for_each_if( aTest, aTest + nCount, std::bind2nd( std::less< int>(), 10), print); return 0; }

上面的代码显得很罗嗦。你总是需要以std::bind2nd( some_functor< type>(), value)为代码的结束。你可以使上面的代码自动化，如下所示：

//接近但不是最终的解决方案，如下所示！ template< class type> inline std::binder2nd< std::less< type> > is_less( type value) { return std::bind2nd( std::less< type>(), value); } // 使用is_less函数 for_each_if( aTest, aTest + nCount, is_less( 10), print);

上面的解决方案并不完全，因为它还不能处理字符串。

下面的代码将会产生一个错误。

std::string aTest[] = { "this", "will", "yield", "an error"}; int nCount = sizeof( aTest) / sizeof( aTest[ 0]); for_each_if( aTest, aTest + nCount, is_less( "test"), print);

上面的错误是因为is_less( "test")将会调用std::bind2nd( std::less< const char *>(), "test")。函数std::less< const char *>()并不知道如何比较std::strings（并没有从std::string到const char *的隐含转化）。因此，当我们调用代用参数‘const char *’的is_less函数时，我们应该内在std::bind2nd( std::less< std::string>(), . . .)。为了做到这一点，我们将用到一个帮助（helper）类。

template< class type> struct type_to_comparison_type { typedef type comparison_type; }; template<> struct type_to_comparison_type< char*> { typedef std::string comparison_type; }; template<> struct type_to_comparison_type< wchar_t *> { typedef std::string comparison_type; }; // 注意： // type_to_comparison_type< const char *> 是std::string ！！！

如果你在代码中遇到了同样的问题，你只需要特殊化type_to_camparison_type类——就像我们对‘char *’和‘wchar *’所作的那样——即可。