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; 。 這樣就沒有麻煩;）。