关于 C++数组提出几点问题：
预备
先看下这两段代码
变量作为数组的长度可行吗？
#include <iostream>using namespace std;
void func(int num) { int array[num]; // num > 0 cout << "num " << num << endl; cout << "sizeof array " << sizeof(array) << endl; array[0] = 20; cout << "array[0] " << array[0] << endl;}
int main() { func(6); return 0;}
复制代码
输出：
num 6sizeof array 24array[0] 20
复制代码
访问超过长度的数组下标的值会发生什么？
#include <iostream>using namespace std;
void func() { int array[10]; array[3] = 1; array[20] = 3; cout << "sizeof array " << sizeof(array) << endl; cout << "array[3] " << array[3] << endl; cout << "array[20] " << array[20] << endl;}
int main() { func(); return 0;}
复制代码
输出：
sizeof array 40array[3] 1array[20] 3
复制代码
分析
首先分析问题 1，我们平时看书学习过程中总看见说 C++的数组长度一定要是常量且不能是变量，很多资料需要在编译期确定栈帧的大小，如果是变量就不能在编译器确定栈帧大小，但上述代码为什么可以正常运行呢？光看不如实践，先看这样一段代码：
#include <iostream>using namespace std;
void func2() { int a; int b[4]; int c; cout << "func2a address " << &a << endl; cout << "func2b address " << &b << endl; cout << "func2c address " << &c << endl; // func1();}
void func3(int num) { int a; int b[4]; int c; cout << "func3a address " << &a << endl; cout << "func3b address " << &b << endl; cout << "func3c address " << &c << endl; func2();}
void func4(int num) { int a; int b[4]; int c; cout << "func4a address " << &a << endl; cout << "func4b address " << &b << endl; cout << "func4c address " << &c << endl; func3(num);}
int main() { func4(5); return 0;}
复制代码
输出：
func4a address 0x7ffeb675f418func4b address 0x7ffeb675f420func4c address 0x7ffeb675f41cfunc3a address 0x7ffeb675f3c8func3b address 0x7ffeb675f3d0func3c address 0x7ffeb675f3ccfunc2a address 0x7ffeb675f378func2b address 0x7ffeb675f380func2c address 0x7ffeb675f37c
复制代码
再看这段代码：
void func2() { int a; int b[4]; int c; cout << "func2a address " << &a << endl; cout << "func2b address " << &b << endl; cout << "func2c address " << &c << endl; // func1();}
void func3(int num) { int a; int b[num]; int c; cout << "func3a address " << &a << endl; cout << "func3b address " << &b << endl; cout << "func3c address " << &c << endl; func2();}
void func4(int num) { int a; int b[4]; int c; cout << "func4a address " << &a << endl; cout << "func4b address " << &b << endl; cout << "func4c address " << &c << endl; func3(num);}
int main() { func4(100); return 0;}
复制代码
输出：
func4a address 0x7ffff2c76568func4b address 0x7ffff2c76570func4c address 0x7ffff2c7656cfunc3a address 0x7ffff2c76510func3b address 0x7ffff2c76360func3c address 0x7ffff2c76514func2a address 0x7ffff2c76328func2b address 0x7ffff2c76330func2c address 0x7ffff2c7632c
复制代码
func4a - func3a = 88
func3a - func2a = 488
从上面两段代码其实可以看出 C++是支持变量长度的数组的，说不支持的那是很古老的编译器，在如下链接中也可以找到答案。
https://c-for-dummies.com/blog/?p=3488
https://www.drdobbs.com/the-new-cwhy-variable-length-arrays/184401444
https://stackoverflow.com/questions/1887097/why-arent-variable-length-arrays-part-of-the-c-standard
备注：尽管 C++目前支持变量长度的数组，但是不建议使用，因为数组使用的是栈内存，栈内存是有大小限制的，一般是 8192 字节，既然长度是变量，那就可能是任何值，就有可能超过 8192，这样就会 stack overflow，所以动态内存最好使用堆内存。
再分析问题 2：操作超过数组长度的内存会发生什么？看下面这段代码：
#include <iostream>using namespace std;
void func() { int array[10]; array[3] = 1; array[40] = 3; cout << "sizeof array " << sizeof(array) << endl; cout << "array[3] " << array[3] << endl; cout << "array[40] " << array[40] << endl;}
int main() { int a[200]; for (int i = 0; i < 200; ++i) { a[i] = 100; } for (int i = 0; i < 200; ++i) { cout << a[i] << " "; } cout << endl << "=====================" << endl;
func(); cout << "=====================" << endl; for (int i = 0; i < 200; ++i) { cout << a[i] << " "; } cout << endl << "=====================" << endl; return 0;}
复制代码
输出：
root@3eaa9392a3d9:/ubuntu/test_dir# ./a.out100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100=====================sizeof array 40array[3] 1array[40] 3=====================100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 3 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100=====================
复制代码
看代码输出，在函数内操作超过数组长度的内存没有什么影响，但是它却导致了上一级的数组 a[200]里的内容被改变，因为数组使用的是栈内存，经过问题 1 的代码输出以及分析可以看出，栈帧内存是向下增长的，代码中操作了超过数组长度的内存地址，就影响到了之前栈帧的内存数据，导致之前栈内存数据出现错误，可能就会引发大 bug。
总结
C++中数组长度可以是变量，但是不建议使用，因为数组使用的是栈内存，变量可以是个比较大的数，这样会导致 stack overflow，建议使用堆内存。
操作超过数组长度的内存可以编译通过且表面上看不出来问题，但是会导致栈内存出现脏写，最终可能会引发难以排查的 bug，建议数组使用 std::array，操作超过长度的下标会抛异常有利于开发者及时发现错误。
评论