tour_indexes.clear();
for (int i=0; i<num_of_cities; i++)
{
tour_indexes.push_back(i);
}
mt19937 gen(random_engine());
uniform_real_distribution<> dis(0, 1);
// Sort indexes based on comparing values in tour. Choose at random if equal
sort(tour_indexes.begin(), tour_indexes.end(),
[&tour, &dis, &gen](int &i1, int &i2)
{
if (tour[i1] == tour[i2])
{
return dis(gen) < 0.5;
}
return tour[i1] < tour[i2];
});
这给了我一个tour[i1] == tour[i2]
上的段错误,当调试时,我发现这是因为i2
有时(看似不确定)比它应该的要大。F.ex 403163787(它是不同的),当tour_indexes
是F.ex 0 - 20(我已经在错误时间检查了tour_indexes
不包含i2
)。
这一切都发生在包含成员变量tour_indexes
的类的成员函数中。类对象在shared_ptr中(如果相关的话)。知道是什么问题吗?谢谢。
比较器没有提供严格的弱排序。具体来说,如果tour[i1] == tour[i2]
有50/50的机会返回真或假,并且答案不稳定(它必须是)。
如果您的比较函数没有提供严格的弱排序,则行为是未定义的,并且区段错误是一种合理的行为。
我建议使用return i1 < i2;
,这将以一种稳定的方式打破僵局。
或者,根本不需要打破领带。只需使用
[&tour](int i1, int i2)
{
return tour[i1] < tour[i2];
}
std::sort
对弱排序非常满意;这意味着cmp(i1,i2)
和cmp(i2,i1)
都可能返回false。它不能处理的是它们都返回true(或者两个具有相同参数的调用返回不同的值)
删除比较运算符中的随机化。也许排序算法失败了,因为i1
sort已经给出了相等元素的随机顺序,而stable_sort给出了数组中相等元素的确定性顺序。