C ++ рекурсивная инициализация векторов с использованием итераторов приводит к противоречивым результатам - PullRequest
1 голос
/ 24 июня 2019

Я пытался практиковать итераторы C ++, определяя очень распространенный алгоритм сортировки слиянием, когда сталкивался с непоследовательным поведением программы.У меня вопрос не в том, как реализовать сортировку слиянием (о которой я и знаю, и у которой есть много примеров ответов), а в том, что касается создания рекурсивных векторов с использованием итераторов, которые я получаю противоречивые конечные результаты.

Я знаю, что могурешить проблему, скопировав значения в массивы L и R через цикл for, но я хотел бы понять, почему использование итераторов не работает.Это работает на CLION с C ++ 14. Этот пост Лучший способ извлечь подвектор из вектора? не ответил на мой вопрос, так как я создаю вектор, аналогичный предписанным методам.

void merge2(vector<int> &arr, int l, int m, int r)
{
    vector<int> L{arr.begin()+l, arr.begin()+m+1};
    vector<int> R{arr.begin()+m+1,arr.begin()+r+1};
    int i = 0, j = 0, k = l;
    int n1 = m - l + 1;
    int n2 =  r - m;
    while (i < (n1) && j < (n2)){
        if (L[i]<=R[i]){ //R[i] is replaced by R[j]
            arr[k] = L[i++];
        }
        else {
            arr[k] = R[j++];
        }
        k++;
    }
    while  (i < n1)
    {
        arr[k] = L[i];
        i++;
        k++;
    }
    while(j < n2){
        arr[k] = R[j];
        j++;
        k++;
    }
}

/* l is for left index and r is right index of the
   sub-array of arr to be sorted */
void merge2Sort(vector<int> &arr, int l, int r)
{
    if (l < r)
    {
        // Same as (l+r)/2, but avoids overflow for
        // large l and h
//        int m = (l+r-l)/2;
//        int m = l+(r-l)/2;
            int m = (l+r)/2;
        // Sort first and second halves
        merge2Sort(arr, l, m);
        merge2Sort(arr, m+1, r);
        merge2(arr, l, m, r);
    }
}

int main(int argc, char **argv){
    vector<int> arr = {12, 11, 13, 5, 6, 7};
    merge2Sort(arr, 0, arr.size()-1);
    for(auto i = arr.begin(); i != arr.end(); i++){
        cout << *i << " ";
    }
    return 0;
}

Иногда я получаю правильный ответ 5 6 7 11 12 13, а иногда и неправильный ответ 5 6 7 11 13 12. Ответ не должен меняться при попытке.

Правильный ответ для отражения ответа и комментариев.Ответ исправляет ошибку индексации и опирается на итераторы.Также отмечая из комментариев, что векторы при инициализации из итераторов должны использовать (), а не {}.

template <class It>
void merge(It left, It middle, It right)
{
    // Beeing generic, you need to retrieve the type.
    using value_type = typename std::iterator_traits<It>::value_type;
    // You can copy only the first half 
    std::vector<value_type> left_side_copy(left, middle);
    It L = left_side_copy.begin();
    It R = middle;
    while (L != left_side_copy.end()  &&  R != right)
    {
        if ( *L <= *R )
        { 
            *left = *L;
            ++L;
        }
        else {
            *left = *R;
            ++R;
        }
        ++left;
    }
    // Copy only the leftovers, if there are any
    std::copy(L, left_side_copy.end(), left);
}

template <class It> 
void merge_sort(It left, It right)
{
    if (auto dist = std::distance(left, right); dist > 1)
    {
        It middle = left + dist / 2;
        merge_sort(left, middle);
        merge_sort(middle, right);
        merge(left, middle, right);
    }
}

int main(void)
{
    std::vector<int> arr {
        5, 12, 11, 13, 5, 4, 7, 13, 6
    };

    merge_sort(arr.begin(), arr.end());

    for(auto const &i : arr) {
        std::cout << ' ' << i;
    }
    std::cout << '\n';
}

Ответы [ 2 ]

5 голосов
/ 24 июня 2019

Вы используете индекс i вместо j в векторе R.Заменить R[i] на R[j] см. Ниже

  void merge2(vector<int> &arr, int l, int m, int r)
    {
        //..
        while (i < (n1) && j < (n2)){
            if (L[i]<=R[j]){ //R[i] is replaced by R[j]
                arr[k] = L[i++];
            }
            else {
                arr[k] = R[j++];
            }
            k++;
        }

   //...
}
0 голосов
/ 24 июня 2019

Неверная строка int m = l+(r-l)/2;.Вы, вероятно, имели в виду int m = (l+r-l)/2;, хотя я думаю, что было бы лучше оставить int m = (l+r)/2;.

...