由于比较功能导致的分段错误

Question

我尝试在 spoj 上解决这个问题。 http://www.spoj.com/problems/BUSYMAN/

虽然我能够解决它，但我遇到了一个非常奇怪的错误。我试图了解它的原因，但失败了。我有两个代码。

/////////////////////////////////////// ////

#include<iostream>
#include<vector>
#include<algorithm>

using namespace std;

class activity
{
    public:
    int start,end;
};

bool comp(activity p, activity q)
{
    if(p.end<q.end)return true;
    if(p.end==q.end&&p.start<=q.start)return true;
    return false;
}

int main()
{
    int t;
    cin>>t;
    vector<activity> v;
    for(int i=0;i<t;i++)
    {
        int n;
        cin>>n;

        v.resize(n);
        for(int j=0;j<n;j++)cin>>v[j].start>>v[j].end;
        sort(v.begin(),v.end(),comp);
        int ans=0,currend=0;
        for(int j=0;j<n;j++)
        {
            if(v[j].start>=currend){ans++;currend=v[j].end;
        }

    }
    cout<<ans<<endl;
    }
}

/////////////////////////////////////// p>

#include<iostream>
#include<vector>
#include<algorithm>

using namespace std;

class activity
{
    public:
    int start,end;
};

bool comp(activity p, activity q)
{
    if(p.end<q.end)return true;
    if(p.end==q.end&&p.start>=q.start)return true;
    return false;
}

int main()
{
    int t;
    cin>>t;
    int n;
    vector<activity> v;
    for(int i=0;i<t;i++)
    {
        cin>>n;
        v.resize(n);
        for(int j=0;j<n;j++)
            cin>>v[j].start>>v[j].end;
        sort(v.begin(),v.end(),comp);
        int ans=0,currend=0;
        for(int j=0;j<n;j++)
        {
            if(v[j].start>=currend)
            {
                ans++;currend=v[j].end;
            }
        }
        cout<<ans<<endl;
    }
}

//////////////////////////

我的问题是第一个在 spoj 上给出了分段错误，而第二个没有。两者之间的唯一区别是比较功能。我只是碰巧以两种相似的方式定义了比较函数的第二条语句。但它在第一种情况下给了我分段错误，但在第二种情况下没有。

在此处输入图像描述

在上面的两个图像中，有两个代码具有各自的提交 ID，在第三个中，它显示了一个段错误，而另一个则没有。您也可以使用我的 spoj 个人资料上的提交 ID 进行验证。

Answer 1

因为bool comp(activity p, activity q) 不符合Compare 的要求，请参阅std::sort

应该是这样的：

bool comp(const activity& p, const activity& q)
{
    return p.end < q.end || (p.end ==q.end && p.start < q.start);
}

或

struct comp {
    bool operator()(const activity& p, const activity& q) const
    {
        return p.end < q.end || (p.end ==q.end && p.start < q.start);
    }
};

或

struct comp {
    bool operator()(const activity& p, const activity& q) const
    {
        return std::tie(p.end, p.start) < std::tie(q.end, q.start);
    }
};

Answer 2

C++ 的规则是std::sort 的比较器必须给出strict weak ordering。

因此，对于相等的元素，比较器必须返回 false。但是这个测试：

if(p.end<q.end)return true;
if(p.end==q.end&&p.start<=q.start)return true;
return false;

如果元素相等则返回true，因此这是一个无效的比较器。

在您的第二次尝试中：

if(p.end<q.end)return true;
if(p.end==q.end&&p.start>=q.start)return true;
return false;

这有同样的问题，也会导致未定义的行为。

当代码具有未定义的行为时，您无法从观察到的行为中推断出任何东西，您得到什么行为只是机会（可能取决于有关编译器特定排序算法选择的一些细节）。

在第一个比较器中将 <= 更改为 < 将产生一个有效的比较器，其排序顺序为结束和开始升序。