自定義字符串排序會導致分段錯誤

Question

我正在解決一個問題，在該問題中，您會收到一堆字符串格式的數字，您必須以這樣的方式將它們連接起來，以便結果是可能的最大數字。 例如：

輸入：6 61 68

輸出：68661

因此，我使用帶有std::sort的自定義排序器對字符串進行排序，並且在使用.at()訪問字符串時出現奇怪的隨機分段錯誤

我正在使用此命令來運行代碼

g++ -Wextra -Wall -pipe -O2 -std=c++14 largest_number_problem.cpp -lm && ./a.out

g++ --version輸出

g++ (Ubuntu 7.5.0-3ubuntu1~18.04) 7.5.0

輸出是：

terminate called after throwing an instance of 'std::out_of_range'
  what():  basic_string::at: __n (which is 0) >= this->size() (which is 0)
Aborted (core dumped)

注意：數組中沒有長度為零的字符串。 看一下代碼。

有時我得到：無法訪問位置 0x0 的內存。

我的代碼：

#include "bits/stdc++.h"
using namespace std;

bool sortNos(const string &s1, const string &s2)
{
    int i1 = 0, i2 = 0;
    int n1 = s1.size(), n2 = s2.size();
    bool result = 0;
    
    while (i1 < n1 && i2 < n2)
    {
        if (s1.at(i1) != s2.at(i2))
        {
            result = s1.at(i1) > s2.at(i2);
            return result;
        }
        i1++;
        i2++;
    }
    if (i1 == n1 && i2 == n2)
    {
        // strings are equal
        return 1;
    }
    if (i1 == n1)
    {
        result = s1.at(0) > s2.at(i2);
    }
    else if (i2 == n2)
    {
        result = s2.at(0) < s1.at(i1);
    }
    return result;
}
string largest_number(vector<string> &a)
{
    sort(a.begin(), a.end(), &sortNos);
    std::stringstream ret;
    for (size_t i = 0; i < a.size(); i++)
    {
        ret << a[i];
    }
    string result;
    ret >> result;
    return result;
}
void test()
{
    vector<string> a;
    a.push_back("2");
    a.push_back("8");
    a.push_back("2");
    a.push_back("3");
    a.push_back("6");
    a.push_back("4");
    a.push_back("1");
    a.push_back("1");
    a.push_back("10");
    a.push_back("6");
    a.push_back("3");
    a.push_back("3");
    a.push_back("6");
    a.push_back("1");
    a.push_back("3");
    a.push_back("8");
    a.push_back("4");
    a.push_back("6");
    a.push_back("1");
    a.push_back("10");
    a.push_back("8");
    a.push_back("4");
    a.push_back("10");
    a.push_back("4");
    a.push_back("1");
    a.push_back("3");
    a.push_back("2");
    a.push_back("3");
    a.push_back("2");
    a.push_back("6");
    a.push_back("1");
    a.push_back("5");
    a.push_back("2");
    a.push_back("9");
    a.push_back("8");
    a.push_back("5");
    a.push_back("10");
    a.push_back("8");
    a.push_back("7");
    a.push_back("9");
    a.push_back("6");
    a.push_back("4");
    a.push_back("2");
    a.push_back("6");
    a.push_back("3");
    a.push_back("8");
    a.push_back("8");
    a.push_back("9");
    a.push_back("8");
    a.push_back("2");
    a.push_back("9");
    a.push_back("10");
    a.push_back("3");
    a.push_back("10");
    a.push_back("7");
    a.push_back("5");
    a.push_back("7");
    a.push_back("1");
    a.push_back("7");
    a.push_back("5");
    a.push_back("1");
    a.push_back("4");
    a.push_back("7");
    a.push_back("6");
    a.push_back("1");
    a.push_back("10");
    a.push_back("5");
    a.push_back("4");
    a.push_back("8");
    a.push_back("4");
    a.push_back("2");
    a.push_back("7");
    a.push_back("8");
    a.push_back("1");
    a.push_back("1");
    a.push_back("7");
    a.push_back("4");
    a.push_back("1");
    a.push_back("1");
    a.push_back("9");
    a.push_back("8");
    a.push_back("6");
    a.push_back("5");
    a.push_back("9");
    a.push_back("9");
    a.push_back("3");
    a.push_back("7");
    a.push_back("6");
    a.push_back("3");
    a.push_back("10");
    a.push_back("8");
    a.push_back("10");
    a.push_back("7");
    a.push_back("2");
    a.push_back("5");
    a.push_back("1");
    a.push_back("1");
    a.push_back("9");
    a.push_back("9");
    a.push_back("5");
    largest_number(a);
}
int main()
{
    test();
    return 0;
}

Answer 1

據我所知，主要問題是這段代碼：

if (i1 == n1 && i2 == n2)
{
    // strings are equal
    return 1;
}

這應該是

if (i1 == n1 && i2 == n2)
{
    // strings are equal
    return false;
}

第一個版本意味着兩個相同的字符串應該在彼此之前排序，即您無法決定哪個在前。 您違反了比較器的要求並遇到了未定義的行為。 一個特定要求是，對於任何a和b當sortNos(a, b) == true sortNos(b, a)必須為false 。 但是，如果a == b則不成立。

當您返回 0 （或更好的false ）而不是 1 時，它應該可以工作。