Question

我试图实现自己的运算符并在map＆lt;＆gt;中使用，代码如下：

#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，如果左和右的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)等效。）

使用自己的Comparator运算符（）作为map＆lt;＆gt ;.如果找不到KEY，则给出错误

1 个答案: