c++ - 为什么 std::binary_search 返回 bool？

Question

根据草案N4431 , 函数 std::binary_search在算法库中返回 bool , [binary.search]:

  template<class ForwardIterator, class T>
  bool binary_search(ForwardIterator first, ForwardIterator last,
                     const T& value);

  template<class ForwardIterator, class T, class Compare>
  bool binary_search(ForwardIterator first, ForwardIterator last,
                     const T& value, Compare comp);

Requires: The elements e of [first,last) are partitioned with respect to the expressions e < value and !(value < e) or comp(e, value) and !comp(value, e). Also, for all elements e of [first,last), e < value implies !(value < e) or comp(e, value) implies !comp(value, e).

Returns: true if there is an iterator i in the range [first,last) that satisfies the corresponding conditions: !(*i < value) && !(value < *i) or comp(*i, value) == false && comp(value, *i) ==
false.

Complexity: At most log₂(last - first) + O(1) comparisons.

有人知道为什么会这样吗？

大多数其他通用算法要么返回元素的迭代器，要么返回与表示元素序列结束的迭代器等效的迭代器(即序列中要考虑的最后一个元素之后的一个)，这就是我早就料到了。

Answer 1

这个函数在 1994 版 STL 中的名字是 isMember。我认为您会同意具有该名称的函数应返回 bool

http://www.stepanovpapers.com/Stepanov-The_Standard_Template_Library-1994.pdf