c++ - GCC 的 std::sort 与 lambda 的不稳定行为

Question

以下代码在使用 GCC 6.1.0 编译时会生成段错误。奇怪的是，错误是一致的，但不会发生在较小的尺寸或略有不同的比较表达式上。你们知道为什么吗？

#include <vector>
#include <algorithm>
#include <iostream>
int main() {
    int n = 1000;   
    std::vector<std::pair<double, double>> vec;
    for(int i = 0; i < n; i++) {
        vec.push_back(std::make_pair<double, double>((7*i)%3, (3*i)%5));
    }
    std::sort(vec.begin(), vec.end(), [](std::pair<double, double> const & p1, std::pair<double, double> const & p2) {return (p1.first < p2.first) || ((p1.first==p2.first)&& (p1.second <= p2.second));}); 
    return 0;
}

Answer 1

尝试改变

(p1.second <= p2.second)

与

(p1.second < p2.second)

我的意思是... std::sort() 需要一个返回 true 的比较器 iff(当且仅当)第一个参数 (p1) 严格低于第二个 (p2)。即:当p1等于p2时，必须返回false。

如果你的测试是

   (p1.first < p2.first)
|| ((p1.first==p2.first)&& (p1.second <= p2.second))

当 p1 等于 p2 时，您也获得 true。

当 p1 等于 p2 时，使用返回 true 的比较器...如果我没记错，那么行为是未定义的“不稳定的行为”(以及段错误)是绝对可以理解的。