我的向量已排序，但我收到“序列未排序”错误

是否存在以下情况：std::sort fails?

我有一个std::vector<KeyValPair<T>> queue我用它来做以下事情

std::sort(queue.begin(), queue.end());
std::pair<iterator, iterator> match =
    std::equal_range(queue.begin(), queue.end(), cost);

正是如此。有时，并非总是如此，我会收到“序列未排序”错误。

文档描述了sort http://www.cplusplus.com/reference/algorithm/sort/ and equal_range http://www.cplusplus.com/reference/algorithm/equal_range/由于使用相同的比较函数，所以我很困惑向量如何变得无序。

The vectortype 是带有自定义比较运算符的以下类。

template<typename T>
class KeyValPair: public std::pair<double, T>
{
public:
    KeyValPair(double d, T t): std::pair<double, T>(d, t){};

    bool operator<(const KeyValPair<T>& rhs) const 
    { 
        return first < rhs.first;
    }

    bool operator==(const KeyValPair<T>& rhs) const 
    { 
        return second == rhs.second;
    }
};

template<typename T>
bool operator< (const KeyValPair<T>& lhs, const double& rhs) {return lhs.first < rhs;};
template<typename T>
bool operator< (const double& lhs, const KeyValPair<T>& rhs) {return lhs < rhs.first;};

比较功能是否会以某种方式失败？还有什么可能导致此错误？

正如@ecatmur 首先在心理上检测到的那样，你的问题是你正在使用< on doubles，以及您的一个或多个doubles is a NaN.

A safe double订购如下：

struct safe_double_order {
  bool operator()(double lhs, double rhs) const {
    if ((lhs != lhs) || (rhs != rhs)) // NaN detector
      return (lhs!=lhs)>(rhs!=rhs); // order NaN less than everything, including -infinity
    return lhs < rhs;
  }
};

接下来，我们可以编写一个键排序器：

template<class K, class O=std::less<K>>
struct key_sorter {
  struct helper {
    K const& k;
    helper( K const& o ):k(o) {}
    template<typename V>
    helper( std::pair<K, V> const& o ):k(o.first) {}
    bool operator<( helper const& o ) const {
      return O{}( k, k.o );
    }
  };
  bool operator()( helper lhs, helper rhs ) const {
    return lhs < rhs;
  }
};

它传递了一个键类型和一个可选的排序函子，让您可以搜索/排序std::pair<Key,?> with Key直接输入。

std::vector< std::pair<double, X> > vec;
std::sort( vec.begin(), vec.end(), key_sorter<double, safe_double_order>{} );
auto match = std::equal_range( vec.begin(), vec.end(), value, key_sorter<double, safe_double_order>{} );

上面有一些 C++11ism，但是如果您使用 C++03，总体设计应该很清楚。