std::max_element

Posted 2020-09-23 Wider Gao

// <algorithm>
// 默认（1）
template 
    ForwardIterator max_element (
        ForwardIterator first,
        ForwardIterator last);
// 自定义（2）
template 
    ForwardIterator max_element (
        ForwardIterator first,
        ForwardIterator last,
        Compare comp);

返回给定范围中值最大的元素。

该函数等价于：

template inline
    _FwdIt _Max_element(_FwdIt _First, _FwdIt _Last, _Pr _Pred)
{	// find largest element, using _Pred
    _FwdIt _Found = _First;
    if (_First != _Last)
        for (; ++_First != _Last;)
            if (_DEBUG_LT_PRED(_Pred, *_Found, *_First))
                _Found = _First;
    return (_Found);
}

• 参数

  first，last

  分别指向序列中初始及末尾位置的正向迭代器（Forward Iterators）。这个范围即 [first,last) ，包括 first 到 last 间的所有元素，包括 first 指向的元素，但不包括 last 指向的元素。

  comp

  二元谓词（Binary）函数，以范围中的两个元素为参数，然后返回一个可转换成 bool 类型的值。

  其返回值表明按所指定的严格弱序排序（Strict weak ordering）时，第一个参数所传进来的元素是否在第二个参数所传进来的元素前面。

  该函数不能修改其参数。

  可以是函数指针（Function pointer）类型或函数对象（Function object）类型。

• 返回值

  返回一个迭代器，该迭代器指向范围中值最大的元素。

  如果范围为空，则返回 last。

• 代码示例

  参照 std::sort 以获得与自定义函数谓词、函数对象谓词、对象数组、lambda 表达式 C++11、初始化列表 std::initializer_list C++11 等相关的例子。

  例 1

  
  #include 
  #include 
  #include 
  #include 
   
  #define CLASSFOO_VECTOR(type, name, ...) static const type name##_a[] = __VA_ARGS__; std::vector name(name##_a, name##_a + sizeof(name##_a) / sizeof(*name##_a))
   
  namespace ClassFoo{
      void MaxElement_1() {
          CLASSFOO_VECTOR(int, foo, { 8, 23, -5, 7, 29, 0, 7, 7, -7, 1, -1 });
          std::cout << *std::max_element(foo.begin(), foo.end()) << std::endl;
      }
  }
  int main()
  {
      ClassFoo::MaxElement_1();
      return 0;
  }
  

• 扩展信息

  复杂度

  O(N)，N 等值于 std::distance(first,last)。

  数据争用相关

  范围 [first,last) 中的所有元素都被访问过。

  异常安全性相关

  如果元素比较（Compare）或操作某个迭代器抛异常，该函数才会抛异常。

  注意 无效参数将导致未定义行为（Undefined behavior）。