在教材中,关于数组的声明,格式要求是“类型标识符 数组名[常量表达式]”,是的数组的大小,数组的size,强调一定是变量。看过不少的书,都在强调一定要用常量,或者用成const定义的常变量,总之,在声明数组,分配存储空间的时候,size一定是确定的,并且保证以后再不改动。
在辅导学生时,他编的程序中,声明数组居然用变量作size,且错误不在此处。怎么可能?可这是事实。
用下面的简单示例说明,这种程序在CodeBlocks中是可以通过编译的(但在VC++6.0中错误):
- #include <iostream>
- using namespace std;
- int main()
- {
- int n;
- cin>>n;
- int a[n];
- for(int i=0; i<n; i++)
- cin>>a[i];
- for(int i=0; i<n; i++)
- cout<<a[i]<<" ";
- cout<<endl;
- return 0;
- }
回家后查各种书,《C++ Primer》还在强调一定是常量表达式,其他书上要么也这么说,要么不强调是常量还是变量。WalterSavitch的《C++程序设计(第8版)》中讲到“数组长度使用变量,对大多数编译器是非法的。”在举例中提到“有的编译(但并非全部)允许用变量指定数组长度。但是为了移植性,不应该这样做,即使目前所用的编译器允许。”
从网上,有人谈到这是从C++99开始增加的新定义。是新的语法特性,多数编译器根本不支持。
作为更新很快的CodeBlocks,支持新标准很正常。
对于这种新语法,试图掌握些规律。用下面的一段程序作为调试,考查变量的值发生变化之后,以及再发生内存分配之后会不会覆盖之类的问题。
- #include <iostream>
- using namespace std;
- int main()
- {
- int n;
- n=3;
- int a[n];
- for(int i=0; i<n; i++)
- cin>>a[i];
- for(int i=0; i<n+5; i++)
- cout<<a[i]<<" ";
- cout<<endl;
- n=6;
- for(int i=3; i<n; i++)
- cin>>a[i];
- for(int i=0; i<n+2; i++)
- cout<<a[i]<<" ";
- cout<<endl;
- int b[n];
- for(int i=0; i<n; i++)
- cin>>b[i];
- for(int i=0; i<n+2; i++)
- cout<<a[i]<<" ";
- cout<<endl;
- cout<<endl;
- return 0;
- }
程序运行,总体没有发现什么异常,但这并不足以说明程序没有问题,这样做不会出问题。而且,CodeBlocks中对于越界访问也没有加限制,似乎是件好事,但可能就是坏事。这倒是提醒我们,在利用数组时,更加多几份小心了。现在政府职能转变是个热点话题,权力意味着责任,限制少了,不会老卡在编译错误上,但为了保证程序能够安全运行,编程者应该把关更多。
还没有完全搞明白这件事情。但变量作数组声明中的长度,还是少用。如果要使用动态调整大小的数组,明着来,用动态数组或者C++中提供的Array对象,这种影响可移植性的代码,还是少写。