1 如何理解一个二维数组 int a[m][n]?
我觉得有两种很自然的想法。
- 由m个一维数组组成
- 二维数组其实就是一个一维数组。
上面两种方式并不矛盾,展现了二维数组在内存中的组织形式。下面分析我们经常看到的两种写法。
2 由m个一维数组组成
我相信这个代码,大家都经常用,尤其在使用C语言(malloc/free
)的时候。
下面简要的分析下流程。
- 分配:先创建数组名
array
(分配多少行),在for循环中分配列。 - 释放:先释放每行数组,最后释放array
备注:这种反向操作的是很常见的,比如栈就符合,构造/析构
。从逻辑上、物理上符合栈,可以找到很多例子。
// 创建二维数组 array[2][3]
int** array = new int*[2]; // 先分配行--2行
for (size_t i = 0; i < 2; i++)
array[i] = new int[3]; // 后分配列--3列
int i = 0;
for (int r = 0; r < 2; r++) // 访问
for (int c = 0; c < 3; c++)
array[r][c] = i++;
// 释放 array[2][3]
for (int i = 0; i < 2; ++i) // 释放和分配是反着的,先释放每行数组
if (array[i] != nullptr)
delete[] array[i];
if (array == nullptr) // 释放数组名--第一步分配的
delete[] array; // 这里要用delete[]
为什么说由m个一维数组组成?
从感觉上就知道,每一次for循环创建一个一维数组,大部分情况下,这2个数组都不是挨着的
。
- 当然,数组内是相邻的
- 数组间不相邻
3 二维数组其实就是一个一维数组
咋一看,这份代码比上面清晰,简洁很多,不需要用for分配数组,也不需要用for释放内存
。
当然,也有人会怀疑这代码释放内存有问题
?
其实,这份代码没有问题,此时你会有一个疑问,delete释放当个元素,delete[]释放一维数组
,
难道delete[]也可以释放多维数组,可以肯定的是教科书上从来没有这么讲,也没有有人敢这么说,这本就是错的。
但是,有一种情况下是对的,二维数组本就是连续的(内存),它本就是一维数组。同时对于三维数组,或者高维数组也是对的!!!
// 创建二维数组 array[2][3]
int (*array)[3] = new int[2][3];
if (array == nullptr)
return 0;
int i = 0;
for (int r = 0; r < 2; r++) // 访问
for (int c = 0; c < 3; c++)
array[r][c] = i++;
// 释放 array[2][3]
if (array != nullptr) // 能理解为什么delete[]可以用在二维数组上了把,本质是一个一维数组
delete[] array;
从感觉上就知道,一次性分配好,很可能是连续的(一维数组)。
- 当然,数组内是相邻的
- 数组间也是相邻的!!!
3 如何选择这两种方式?
总结:这两种分配的最本质的区别,就是连续与否(各一维数组是否连续)
这里就引出一个问题,如果数组总数量很大,比如几W个
,第二种就会多次寻找符合这样大的连续内存的空间,当然对于内存较小的单片机,微机这是很不现实,也很难实现。反之,使用第一种分配方式就把压力减少到1/m。
一些建议
- 对于第一种方式,适合在内存资源要求严格的地方,当然C语言
malloc/free
也是这一梯队。比如单片机等。这里给出一个概念,1M能存可以存 2 16 = 65536 2^{16}=65536 216=65536个int,刚好是windows栈爆。缺点:分配和释放需要for,繁杂
- 第二种方式,
代码简洁,易懂,更加贴近人的思维
。但是由于分配的数组是连续的,在找这个大内存块造成了压力。如果你的内存很大,当然可以忽略,如果你是C++选手,可以写的更加简单
// 创建二维数组 array[2][3]
auto array = new int[2][3];
int i = 0;
for (int r = 0; r < 2; r++) // 访问
for (int c = 0; c < 3; c++)
array[r][c] = i++;
// 释放 array[2][3]
delete[] array;
当然,这种方式还可以适合三维数组,高维数组
,优势就来了。
// 创建三维数组 array[2][3][4]
auto array = new int[2][3][4]; // (*array)[3][4]
int i = 0;
for (int r = 0; r < 2; r++) // 访问
for (int c = 0; c < 3; c++)
for (int h = 0; h < 4; h++)
array[r][c][h] = i++;
delete[] array;
4 关于(*array)[2]
这就是典型的数组指针,它的本质是数组,而数组元素存的是指针。
其实数组指针非常常见,里面还可以存函数,也就是函数指针,比如array是function Name;当然有时候还省略名字(*)[2],看到把*用括号包起来绝对是函数指针,,,
这里分享如何记住数组指针和指针数组
?
谁在前,本质就是谁
数组指针:数组在前,本质是数组,而数组元素存的是指针
指针数组:指针在前,本质是指针,指向的是数组