插入 c++ map STL 容器失败

Question

请查看以下代码以更好地理解我的问题。

class compareByValue {                                                                             
  public:                                                                                          
    bool operator()(const string* s1, const string* s2) const                                      
    {                                                                                              
      if (s1 == s2)                                                                                
        return true;                                                                               
      if ((s1==NULL) || (s2==NULL))                                                                
        return false;                                                                              
      return (0 == s1->compare(s2->c_str()));                                                      
    }                                                                                                                                                                                             
}; 

map<string*, string*, compareByValue> nodeIdToIpAddress;

for (int i = 0; i < nrec; ++i) {
  nodeIdToIpAddress[ptr1[i]] = ptr2[i];                                              
  cout << "Added " << *(ptr1[i]) << " , " << *(ptr2[i]) << endl;
}

cout << "map has " << nodeIdToIpAddress.size() << " elements!" << endl;

我有一个映射，它维护键值对，它们是指向字符串对象的指针。我确定键和值都不是 NULL 指针。当我运行上面的程序时（好吧，我跳过了周围的代码以便更容易理解），“Added ... ...”被打印了 49 次。 ptr1[i], ptr2[i] 是指向字符串对象的指针，不是 NULL 指针，因为我的程序没有段错误。

我遇到的问题是，当我最后打印地图的大小时，它说地图中只有 1 个元素。

如果有人可以指导我找到解决方法，我将不胜感激。提前致谢。

编辑：@Mark 解决方案对我来说很有魅力。谢谢

EDIT2：在看到来自@Mark 和@James 的宝贵反馈后，我认为我不需要在我的地图中存储指向字符串的指针。我将更改我的代码以将字符串存储为键/值，这意味着我不需要自定义比较器仿函数。非常感谢。

Answer 1

您的比较器错误：if (s1 == s2)必须返回false，并且比较器必须产生strict weak ordering。

[对于它的价值，使用指针类型作为std::map 的键充其量是不寻常的。]

Answer 2

您的比较运算符不正确。只要您可以假设没有添加任何空值，如果检测到任何空值，您就可以抛出：

bool operator()(const string* s1, const string* s2) const                                      
{                                                                                              
  if (!s1 || !s2) throw std::runtime_error("Whatever");

  return *s1 < *s2;
}                                                                                 

编辑：我应该详细说明这里的推理。传入std::map（或set 或sort 例如）的比较操作必须满足严格的弱排序。这基本上意味着x OP x 是false，如果x OP y 是true 那么y OP x 是false，并且x OP y、y OP z 暗示x OP z（以及关于项目的其他规则无法比较）。

您的函数在几个方面不满足这一点：if (s1 == s2) 需要返回 false。 if ((s1==NULL) || (s2==NULL)) 不能返回 false，因为它暗示 null < anything 和 anything < null。您必须将其拆分并为s1 null 返回true，为s2 null 返回false。 return (0 == s1->compare(s2->c_str())); 不正确，因为它是三向结果而不是 < 关系。

由于您指定永远不会插入空值，因此最简单的解决方案似乎是在这种情况下抛出异常（如果其中一个为空），然后使用字符串内置运算符。

现在说了这么多，除非您有实际证据证明这是性能瓶颈，否则我强烈考虑不要在容器中按指针存储字符串。更简单的设计更容易维护和保持正确，这往往会带来更好的长期程序。