构造DFA(有穷自动机)的时候需要创建二维数组表示的自动机,发现二维数组的动态创建比想象中的要复杂。
查了下相关资料,并做了一些从二维数组到数组指针和指针数组等关联概念的延伸。
首先搞明白自然二维数组在内存中的存放形式,
假设声明一个二维数组array[R][C],假设行列游标分别为i j,在内存中的排放顺序是:
i = 0,j从0到C-1
i = 1,j从0到C-1
........
i = R-1,j从0到C-1
也就是以列为单位排放的。
所以对于自然二维数组中的array[i][j] = *(array + C*i + j);
同理,下面循环遍历的是连续内存
for(i = 0; i < R; ++i)
for(j = 0; j < C; ++j)
printf("array[i][j]:%d \n", array[i][j]);
这也是为什么对于二维数组的遍历先遍历以列为更小单位的原因,因为这种访问方式中内存始终是连续的,内存跳跃少,所以效率高。
对于数组指针和指针数组,首先,C语言表现形式:
数组指针 (*Ptr)[5];-->顾名思义,是指向数组的指针,可以用来表示二维数组,用作表示二维数组时,等价于 Ptr[][5]
指针数组 *Ptr[5];-->数组元素都为指针,同样可以用来表示二维数组,用来表示二维数组时,等价于Ptr[5][]
以上两个表达方式都是可逆的。
二维数组的动态分配:
1,如上所述,既然自然二维数组时以列为单位连续的一块内存,所以最简单的方式分配一块跟二维数组大小类似的内存,
覆盖给二维数组。
2,类似如下,先给指向 每列数组的的头指针组成的指针数组分配内存,array[j]是每列数组的头指针。然后给array[i]分配具体指向的内存,array[i]指向的内存可能不同,也就是内存可能不连续
int ** array = malloc( C * sizeof(int *) );
for (int j=0;j<C;j++)
array[j] = malloc( R * sizeof(int) );
3,跟上面类似,只是给每列元素分配内存时强制所有元素都连续
int ** array = malloc( C * sizeof(int *) );
array[0] = malloc( R * sizeof(int) );
for (int j=1;j<C;j++)
array[j] = array[0]+M*j;//强制内存连续