c++ - 对 map<> 使用自己的 Comparator operator()。如果找不到 KEY 则给出错误

Question

我尝试实现自己的运算符并在 map<> 中使用，代码如下:

#include <iostream>
#include <map>
#include <string>

using namespace std;

struct keyInfo
{
  string Key1; 
  string Key2; 

  /*bool keyInfo::operator()(keyInfo const& Left,keyInfo const& Right) const{
      return ((Left.Key1<Right.Key1)&&(Left.Key2<Right.Key2));
  }*/
};

struct LessComparer{
    bool operator()(keyInfo const& Left,keyInfo const& Right) const{
        return !(Left.Key1==Right.Key1 && Left.Key2==Right.Key2);
    }
};

struct valueInfo
{ 
  int value1; 
  int value2; 
  int value3; 

  valueInfo(const int A,const int B,const int C) : 
    value1(A),value2(B),value3(C) {}
};
typedef std::map<keyInfo, valueInfo, LessComparer> MapTYPE;

int main()
{
  MapTYPE TMap;
  keyInfo K;
  K.Key1="main";
  K.Key2="i";
  valueInfo V(-2,-3322,9000);

  TMap.insert(MapTYPE::value_type(K,V));
  MapTYPE::iterator It1=TMap.find(K);
  It1=TMap.find(K);
  if(It1!=TMap.end())
    std::cout<<"Success(K): "<<It1->second.value2<<std::endl;

  keyInfo E;
  E.Key1="main";
  E.Key2="j";
  //TMap.insert(std::pair<keyInfo,valueInfo>(E,V));
  MapTYPE::iterator It2=TMap.find(E);
  if (It2!=TMap.end())
     std::cout<<"Success(E): "<<(It2->second).value3<<std::endl;

  cin.get();
  return 0;
 }

这里我使用 operator() 返回 0 当且仅当 Left 和 Right 的 Key1 和 Key2 都相等。我认为这与 map::less 的工作方式相同，我的意思是它仅在满足相等条件时才返回 false。

它在第一种情况下工作正常，即 TMap.find(K) 找到相同的键。但是在第二种情况下调用期间，即 TMap.find(E) 它会弹出一条错误消息:

"Debug assertion failed"
Expression: Invalid operator <

Answer 1

比较运算符必须定义严格的弱排序。您通常可以通过词典比较为可比较类型的复合编写这样的比较:

define "(a1, b1) < (a2, b2)" if and only if

   (a1 < a2) OR (a1 == a2 AND b1 < b2)

这概括为任意元组 (a1, b1, c1, ...)以显而易见的方式。

在C++中，应该这样写:

return (Left.key1 < Right.key1) ||
       (!(Left.key1 > Right.key1) && (Left.key1 < Right.key1));

这样，您可以仅使用现有的 < 来定义任何类型元组的字典顺序。 - 每种成分类型的运算符。 (请注意，此排序认为两个元素 x 和 y 等同于 !(x < y) && !(y < x)。)