Question

我在c ++中编写了一个mergesort函数。其中传递错误值（数组越界）的函数上限。

int a[]={6,5,2,4,6,78,88,76,33,44,54,212,344,56,677};
int n=sizeof(a)/sizeof(a[0]);
printf("n=%d\n",n);
merges(a,0,n);   // if should be 'merges(a,0,n-1)'
printf("n=%d\n",n);

我认为在参数中只传递变量的副本。原始值不会改变。但是在merges（）函数之前和之后检查我得到了两个不同的值。我想不通为什么？输出：

n=15
n=677

这是完整的代码：

#include<bits/stdc++.h>
using namespace std;
void mergeit(int a[],int l,int mid,int r)
{
    int n1=mid-l+1;
    int n2=r-mid;
    int ll[n1+1];ll[n1]=INT_MAX;
    for(int h=0;h<n1;h++)ll[h]=a[l+h];
    int rr[n2+1];rr[n2]=INT_MAX;
    for(int h=0;h<n2;h++)rr[h]=a[mid+1+h];
    int i=0,j=0;
    for(int k=l;k<=r;k++)
    {
        if(ll[i]<rr[j])
        {
            a[k]=ll[i];i++;
        }
        else{a[k]=rr[j];j++;}
    }
}
void merges(int a[],int l,int r)
{
    if(l<r)
    {
        int mid=(l+r)/2;
        merges(a,l,mid);
        merges(a,mid+1,r);
        mergeit(a,l,mid,r);
    }
}

int main()
{
    int a[]={6,5,2,4,6,78,88,76,33,44,54,212,344,56,677};
    int n=sizeof(a)/sizeof(a[0]);
    printf("n=%d\n",n);

    merges(a,0,n);   //array out of bound- it should be 'merges(a,0,n-1)'
    printf("n=%d\n",n);


}

Answer 1

这是因为当您向内存写入越界时，程序的行为是未定义的。可能观察到的一种可能行为是n值的变化。

该语言未指定有关程序行为的任何保证。但是从实现的角度来看，很有可能n和a[n]碰巧在堆栈上共享相同的地址。

为什么这个变量会在代码中发生变化？

1 个答案: