初探C++数组的size可以是变量

手册/FAQ (396) 2016-04-19 13:44:31

       在教材中,关于数组的声明,格式要求是“类型标识符 数组名[常量表达式]”,是的数组的大小,数组的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对象,这种影响可移植性的代码,还是少写。

THE END