mergesort不能在c ++中工作

Question

使用三个功能的“返回”值有什么问题吗？ 打印出的值是垃圾值，看似随机数作为输出。我还想补充一点，我还没有使它递归，因为我想检查这是否有效。

我见过的大多数mergesort实现都几乎不包含任何返回值，这是我做错了。 如果你要进行类似的实现，你会怎么做？

#include <iostream>

using namespace std;

int* goleft(int array[], int size)
{
    int halved=size/2;
    int left[halved];

    for(int i=0;i<halved;i++)
        {
            left[i]=array[i];
        }
    return left;
}

int* goright(int array[],int size)
{
    int halved=size/2;
    int right[size-halved];

    for(int i=halved,j=0;i<size;i++,j++)
        {
            right[j]=array[i];
        }
    return right;
}

int* mergesort(int array[],int size)
{
    int *l,*r;
    l=goleft(array,size);
    r=goright(array,size);
    int merger[size];
    int halved = size/2;
    int i;
    for(i=0;i<halved;i++)
        cout<<l[i]<<endl;

    for(i=0;i<halved;i++)
        cout<<r[i]<<endl;

    int x=0,y=0,k=0;
    while(x+y!=size)
    {
        if(l[x]<r[y])
        {
            merger[k]=l[x];
            x++;k++;
        }
        else if(l[x]>=r[y])
        {
            merger[k]=r[y];
            y++;k++;
        }
    }
    return merger;
}

int main()
{
    int size;
    cin>>size;
    int array[size];

    for(int i=0;i<size;i++)
        cin>>array[i];

    int *merged=mergesort(array,size);

    cout<<"sorted array"<<endl;
    for(int i=0;i<size;i++)
        cout<<merged[i]<<endl;

    return 0;
}

当我们在循环和递归期间创建相同名称的变量时，是否为每个循环迭代或递归创建了新变量？ 或者它们会覆盖前一个变量的值。 例如，当我们写作

while(true)
{
int i=0;
}

会在每次迭代时产生一个新的变量

genericFunction()
{
 int i = SomeRandomValue
 genericFunction();
}

类似地，每次递归都会产生一个新变量吗？

Answer 1

如您所想，错误在“范围”中。 回答你的问题：

while(true)
{
int i=0;
}

过程是：

//iteration N start
create scope
allocate memory for an int variable named 'i' in the current scope
//statements done
delete current scope //deallocate the variables in the current scope
//iteration N end
//iteration N+1 start
/*...*/

所以在每次迭代中它都是一个不同的变量。 您可以使用以下代码进行测试：

while (true) {
    int i;
    std::cout << &i << std::endl; //displays the memory location of i
    system("PAUSE"); //waiting user input between each iteration
}

在具有genericfunction的示例中，该过程是：

//N call to genericFunction
create scope //scope N
    //N+1 call to generic Function
    create scope //scope N+1
        /* statements */
    delete current scope //scope N+1
    // exit of call N+1
delete current scope //scope N
//exit of call N

您可以使用以下完整代码对其进行测试：

#include <iostream>

void genericFunction(int a)
{
    int i = 0;
    std::cout << "scope " << a << " : " << &i << std::endl;
    if (a < 9) { //to prevent infinite call
        genericFunction(a + 1);
    }
    std::cout << "scope " << a << " : " << &i << std::endl;
}

int main() {
    genericFunction(0);
    system("PAUSE");
    return 0;
}

通用规则是：当您拥有{ ，创建新范围并将其选为当前范围时，如果有} ，则删除当前范围并选择上一范围。 一些范围允许访问以前的范围（例如WHILE LOOP ：在代码int a; while(true) {a++;} ，它修改前一个范围中的a的值），但是当创建函数范围时，你有无法访问以前的范围。

现在针对mergedsort的具体问题，它是函数mergesort变量merger的声明。 要查看流程：

/* ... */
int *merged=mergesort(array,size);
//Call to mergesort
    //Creation of scope A
    /* ... */
    int merger[size]; //Allocation of memory for 'merger' in scope A
    /* ... */
    return merger; //Affect the location of 'merger' to location pointed by 'merged' in previous scope
    //Deletion of scope A (including deallocation of 'merger')
// Now 'merged' points to location of 'merger' which is a deallocated variable :
//no guarantees of the data stored at this location

所以这就是你的代码中存在问题的原因。 纠正它的一种方法是手动为变量分配一些空间：手动分配的变量必须手动释放，因此在销毁范围时不会释放它们。 实际上函数内部的实现是使用c ++关键字new ： int *merger = new int[size]; 。 通过替换此声明，您的代码将运行：但要小心：这是另一条规则，如果您在某处使用关键字new ，则必须在其他地方使用delete ：手动分配后必须手动释放。 所以在你的main函数结束时，你必须添加delete[] merged; 。 这样就没有麻烦;）。