C++ Reference: Standard C++ Library reference: Containers: map: map: value_comp

C++官网参考链接：https://cplusplus.com/reference/map/map/value_comp/

公有成员函数
<map>
std::map::value_comp
value_compare value_comp() const;
返回值比较对象
返回一个比较对象，该对象可用于比较两个元素，以获得第一个元素的键是否在第二个元素之前。
此函数对象所接受的实参的成员类型为value_type（在map中定义为pair<const key_type,mapped_type>的别名），但是在此比较中不考虑值的mapped_type部分。
返回的比较对象是一个成员类型map::value_compare的对象，它是一个嵌套类，使用内部比较对象（comparison object）生成适当的比较函数类。它的定义与以下行为相同：
template <class Key, class T, class Compare, class Alloc>
class map<Key,T,Compare,Alloc>::value_compare
{   // in C++98, it is required to inherit binary_function<value_type,value_type,bool>
  friend class map;
protected:
  Compare comp;
  value_compare (Compare c) : comp(c) {}  // constructed with map's comparison object
public:
  typedef bool result_type;
  typedef value_type first_argument_type;
  typedef value_type second_argument_type;
  bool operator() (const value_type& x, const value_type& y) const
  {
    return comp(x.first, y.first);
  }
}
如果第一个实参的键被认为在第二个实参的键之前（根据容器的比较对象（comparison object）key_comp指定的严格弱排序），则该比较类的public成员返回true，否则返回false。
注意，value_compare没有public构造函数，因此不能直接从这个嵌套类在map成员之外创建对象。

形参 
没有形参。 

返回值
元素值的比较对象。
成员类型value_compare是一个嵌套类类型（如上所述）。

用例
// map::value_comp
#include <iostream>
#include <map>

int main ()
{
  std::map<char,int> mymap;

  mymap['x']=1001;
  mymap['y']=2002;
  mymap['z']=3003;

  std::cout << "mymap contains:\n";

  std::pair<char,int> highest = *mymap.rbegin();          // last element

  std::map<char,int>::iterator it = mymap.begin();
  do {
    std::cout << it->first << " => " << it->second << '\n';
  } while ( mymap.value_comp()(*it++, highest) );

  return 0;
}
输出：

复杂度
常量。

iterator的有效性
没有变化。

数据竞争
访问容器。
不访问包含的元素：同时访问或修改它们是安全的。

异常安全
强保证：如果抛出异常，则容器中不会有任何更改。