std :: sort可以使用不严格的弱排序比较器作为拓扑排序吗？

Question

我确实知道我应该遵循c ++比较器的严格弱排序。 主要原因是!(a > b) && !(b > a)应该充当等价运算符。

但是问题只是排序，不需要像std::set这样的等价运算符。

例如，存在集合的向量，并且如果集合A是B的适当子集，则在排序之后，集合A的索引应小于集合B的索引。

因此，假设您这样编写比较器

bool comparator(vector<int> &A, vector<int> &B) const {
    // if A is proper subset of B, return true
    // otherwise, return false
}

那么使用此比较器的std::sort总是像拓扑排序一样工作吗？

加）

感谢奥利弗·查尔斯沃思（Oliver Charlesworth）丢失的信息。

我真的很想知道这样的比较器可以像快速排序或插入排序（某些著名的基于比较的排序算法）一样进行拓扑排序。

Answer 1

不，它可能无法正常工作。 std::sort合约要求严格的弱比较器； 违反它会导致不确定的行为。 顺便说一句，我已经多次看到libstdc ++ std::sort为这种比较器“松弛”而崩溃（读取容器外部的元素，IIRC）。