为什么需要强制转换为布尔值？

Question

template<typename InputIterator, typename Predicate>
inline InputIterator
find_if(InputIterator first, InputIterator last, Predicate pred, input_iterator_tag)
{
    while (first != last && !bool(pred(*first)))
         ++first;

    return first;
}

我在 GCC 4.7.0 附带的 C++ 标准库实现的源代码中遇到了this snippet。这是输入迭代器的find_if 的特化。我清理了前导下划线以使其更具可读性。

他们为什么在谓词上使用bool 强制转换？

Answer 1

原因是只写!pred(*first) 可能会导致调用重载的operator! 而不是调用explicit operator bool。

有趣的是，这个措施是针对pred 进行的，但是在提供的实现中仍然可以选择重载的operator&&。 first != last 需要更改为 bool(first != last) 以防止这种过载。

Answer 2

标准只要求谓词在 可以转换为bool 的上下文。想必， “谓词”对象可以有一个operator bool 函数， 做了正确的事，还有一个 operator! 函数 完全不相关的东西。 （当然，那将是可怕的 设计，但标准要求库作为 指定，不管用户代码有多糟糕。）所以 g++ 转换为bool，然后在结果上使用! 转换（只有内置运算符可以应用）。

Answer 3

在 C++ 标准中，相对于谓词

换句话说，如果一个算法将 Predicate pred 作为它的参数 首先作为它的迭代器参数，它应该在 构造 pred(*first) 上下文转换为 bool

“上下文转换为 bool”一词的意思是，即使一个类定义了一个将类的对象转换为 bool 的转换函数作为显式运算符，它也应该被应用。考虑一个上下文转换为 bool 的示例

#include <iostream>

struct A
{
   explicit operator bool () const { return true; }
};

int main()
{
   if ( A() ) 
   {
      std::cout << "Here is a contextual conversion to bool" << std::endl;
   }
}

所以在 C++ 标准引用的上下文中，我认为写表达式没有任何意义

first != last && !bool( pred(*first ) )

写就够了

first != last && !pred(*first )

这里 pred 被上下文转换为 bool。