通过引用传递向量：分段错误 [重复]答案

【问题标题】：Passing vector by reference: Segmentation fault [duplicate]通过引用传递向量：分段错误 [重复]
【发布时间】：2017-03-14 17:56:43
【问题描述】：

我正在尝试获取以下代码，用于使用向量而不是 C 样式数组进行合并排序，我很难弄清楚为什么它会因分段错误而崩溃。有人可以帮我理解这里的问题吗？

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

void merge(vector<int>& a, int l, int m, int r) {
    vector<int> L;
    vector<int> R;

    for (int i = 0; i <= m; i++)
        L.push_back(a[i]);
    for (int i = m+1; i <= r; i++)
        R.push_back(a[i]);

    int i = 0, j = 0; // Initial index of first and second subarray
    int k = l;  // Initial index of merged subarray
    while (i < L.size() && j < R.size()) {
        if (L[i] <= R[j]) {
            a[k] = L[i];
            i++;
        }
        else {
            a[k] = R[j];
            j++;
        }
        k++;
    }

    // Filling leftovers
    while (i < L.size()) {
        a[k] = L[i];
        k++;
        i++;
    }
    while (j < R.size()) {
        a[k] = R[j];
        k++;
        j++;
    }
}

void merge_sort(vector<int>& a, int l, int r) {
    if (l < r) {
        int m = l + (r-l) / 2; // Avoids integer overflow.
        merge_sort(a, l, m);
        merge_sort(a, m+1, r);
        merge(a, l, m, r);
    }
}

int main()
{
    vector<int> a = {2, 4, 1, 5, 3, 9};
    int size = a.size();    
    merge_sort(a, 0, size-1);
    for (int i = 0; i < size; i++)
        cout << a[i] << ' ';
    cout << endl;
    return 0;
}

【问题讨论】：

调试器是解决此类问题的正确工具。在询问 Stack Overflow 之前，您应该逐行逐行检查您的代码。如需更多帮助，请阅读How to debug small programs (by Eric Lippert)。至少，您应该 [编辑] 您的问题，以包含一个重现您的问题的 Minimal, Complete, and Verifiable 示例，以及您在调试器中所做的观察。
L 过长 - 您将 m+1 元素放入其中，而不是 m-l。因此，k 可能会离开a 的末尾。因此，您的程序通过缓冲区溢出表现出未定义的行为。
ππάντα ῥεῖ 我已经尝试过你的建议，但由于我无法通过它，我怀疑我错过了使用向量的一些细节点，这可能是这里的问题。我会在一分钟内将 valgrind 消息添加到问题中。很抱歉错过了他们。感谢您指出这一点。
不，这个错误与使用向量的细节无关。这是一个简单的逻辑错误，非常适合使用调试器进行调查。
@IgorTandetnik 确实。

标签： c++ c++11 stl segmentation-fault

【解决方案1】：

填充向量L时需要从l转到m：

void merge(vector<int>& a, int l, int m, int r) {
    vector<int> L;
    vector<int> R;

    for (int i = l; i <= m; i++)
        L.push_back(a[i]);
    ...
}

否则L 包含感兴趣范围之外的其他元素。然后，当迭代L 的大小时，索引k 会离开向量a 的末尾。

【讨论】：

感谢您指出这一点。我不敢相信我忽略了这一点。
您也不需要编写循环来执行此操作：vector<int> L(a.begin() + l, a.begin() + m + 1);