使用std :: sort稳定对向量进行排序

Question

所以我有这样的代码，我想根据id对向量进行排序，然后将最后一个覆盖的元素放在第一位：

struct Data {
  int64_t id;
  double value;
};
std::vector<Data> v;

// add some Datas to v
// add some 'override' Datas with duplicated `id`s

std::sort(v.begin(), v.end(),
  [](const Data& a, const Data& b) {
    if (a.id < b.id) {
      return true;
    } else if (b.id < a.id) {
      return false;
    }
    return &a > &b;
});

由于向量是连续的，因此&a > &b应该可以将附加的替代项首先放在已排序的向量中，这等效于使用std::stable_sort ，但是我不确定std::sort实现中是否存在状态，其中相等的值将被交换，以使出现在原始向量后面的元素的地址现在更早。 我不想使用stable_sort因为对于我的用例而言，它的速度明显慢。 我还考虑过在结构中添加一个字段，以跟踪原始索引，但是我需要为此复制向量。

似乎在这里工作： https : //onlinegdb.com/Hk8z1giqX

Answer 1

std::sort在比较元素时不提供任何保证，在实践中，我强烈怀疑大多数实现都会对您的比较器产生不良影响。

常见的std::sort实现是普通的快速排序或混合排序（对于小范围，快速排序切换到其他排序），它们是就地实现的，以避免使用额外的内存。 这样，随着排序的进行，比较器将在不同的存储器地址处使用相同的元素来调用； 您不能使用内存地址来实现稳定的排序。

添加必要的信息以使排序固有稳定（例如，建议的初始索引值），或使用std::stable_sort 。 使用内存地址来稳定排序将不起作用。

作为记录，经过一些试验，我怀疑您的测试用例太小而无法触发问题。 猜测一下，混合排序策略对较小的vector s会同时起作用，但是在vector量变大到足以发生实际的快速排序时分解。 一旦添加更多填充物来增加vector大小，稳定性就会消失， 请在线尝试！