今天遇到了一个奇怪的问题,因为c++中数组是可以越界访问的,在运行以下程序时发生了如下结果
#include <bits/stdc++.h>
using namespace std;
int a[100005];
int n,m;
int main() {
freopen("test6.in","r",stdin);//设置 cin scanf 这些输入流都从 test.in中读取
freopen("test676.out","w",stdout);//设置 cout printf 这些输出流都输出到 test.out里面去
scanf("%d %d",&n,&m);
cout<<n<<" "<<m<<endl;
for(int i=0;i<n;i++)
{
scanf("%d",&a[i]);
if(n!=200000)cout<<i<<endl;
}
cout<<n<<" "<<m<<endl;
sort(a,a+n);
long long ans=1;
for(int i=0;i<n;i++)
{
for(int j=i+1;j<n;j++)
{
ans=ans*(a[j]-a[i]);
ans%=m;
}
}
cout << ans << endl;
return 0;
}
它的输出是
200000 999
100005
426 999
0
我们发现在i等于100005时n的结果变成了426,我非常诧异,因为根本没有调用关于n的任何数据,于是我继续实验
发现了
#include <bits/stdc++.h>
using namespace std;
int a[100005];
int n,m;
int main() {
freopen("test6.in","r",stdin);//设置 cin scanf 这些输入流都从 test.in中读取
freopen("test676.out","w",stdout);//设置 cout printf 这些输出流都输出到 test.out里面去
scanf("%d %d",&n,&m);
cout<<n<<" "<<m<<endl;
for(int i=0;i<n;i++)
{
scanf("%d",&a[i]);
if(n!=200000)cout<<i<<endl;
}cout<<a[100005]<<endl;
cout<<n<<" "<<m<<endl;
sort(a,a+n);
long long ans=1;
for(int i=0;i<n;i++)
{
for(int j=i+1;j<n;j++)
{
ans=ans*(a[j]-a[i]);
ans%=m;
}
}
cout << ans << endl;
return 0;
}
访问a[100005]这一越界位置是,程序非但没有报错,而且返回了和n一样的值
200000 999
100005
426
426 999
0
我猜测数组往后访问时的代价是占用紧接着定义的n的内存,为了验证我的猜想,我继续实验
#include <bits/stdc++.h>
using namespace std;
int a[100005],b[105];
int n,m;
int main() {
freopen("test6.in","r",stdin);//设置 cin scanf 这些输入流都从 test.in中读取
freopen("test676.out","w",stdout);//设置 cout printf 这些输出流都输出到 test.out里面去
scanf("%d %d",&n,&m);
cout<<n<<" "<<m<<endl;
for(int i=0;i<n;i++)
{
scanf("%d",&a[i]);
if(n!=200000)cout<<i<<endl;
}
cout<<n<<" "<<m<<endl;
sort(a,a+n);
long long ans=1;
for(int i=0;i<n;i++)
{
for(int j=i+1;j<n;j++)
{
ans=ans*(a[j]-a[i]);
ans%=m;
}
}
cout << ans << endl;
return 0;
}
结果是
200000 999
100121
8076 999
0
很明显,由于我在a后面紧接着定义了b的位置,所以n值改变的时间延迟了105位。也就是说c++的数组在越界访问时不但不会报错,还会重定义你的数组值导致严重的后果,所以在遇到类似问题时,多思考,多试验,才能解决问题。