C指针的探索B

有如下代码段：

/*************************************************************************
	> File Name: pp.c
	> Author: XXDK
	> Email: v.manstein@qq.com 
	> Created Time: Fri 03 Mar 2017 12:23:10 AM PST
 ************************************************************************/

#include<stdio.h>

void output_array(int (*p)[2], int size)
{
	for(int i = 0; i < size; i++) {
		for (int j = 0; j < 2; j++) {
			printf("%d ", *(*p + j));
		}
		printf("\n");
		p++;
	}
}

int main(int argc, const char *argv[])
{
	int a[3][2] = {1, 2, 
		       3, 4, 
		       5, 6};
	int (*p)[2] = a;

	output_array(a, sizeof(a)/sizeof(a[0]));

	return 0;
}

分析：

首先定义一个二维数组a，然后定义一个指向包含两个整型元素的数组的指针对象，将二维数组的首地址用来初始化该指针。

这里重点理解：因为a[3][2]（这种写法其实是给人看的，计算机内部不存在二维数组这个东西）实际上的内存布局是：

A-> =============================

a  [ 0 ]  [ 0 ]

---------------------------------- 1

a  [ 0 ]  [ 1 ]

B-> =============================

a  [ 1 ]  [ 0 ]

---------------------------------- 2

a  [ 1 ]  [ 1 ]

C-> =============================

a  [ 2 ]  [ 0 ]

----------------------------------3

a  [ 2 ]  [ 1 ]

D-> =============================

也就是，三个包含2个整型元素的一维数组，我们运行如下代码段：

int a[3][2];

printf("Address of a: %d", a);

gcc编译器给出如下warning：

format ‘%d’ expects argument of type ‘int’, but argument 2 has type ‘int (*)[2]’ [-Wformat=]

可以看出，编译器处理二维数组a，其实从编译器的角度来看a的类型为int (*)[2]，即：

一个指向【包含两个整型元素的数组的】 【指针】 类型,aka，每次寻址宽度是两个整型元素（的数组）宽度

这样，设计output_array函数之时，第一个参数类型就是int (*)[2]

那么，a[0]在编译器来看是什么类型呢，我们运行如下代码段：

printf("Address of a[0]: %d", a[0]);

warning: format ‘%d’ expects argument of type ‘int’, but argument 2 has type ‘int*’ [-Wformat=]
不错，是int*类型，所以这里的  sizeof(a)/sizeof(a[0])，就是： a的寻址空间大小/a[0] 的寻址大小；  

a[0]就是包含2个整型元素的一维数组地址图中的A位置，aka: p+0

a[1]就是包含2个整型元素的一维数组地址图中的B位置,aka: p+1

a[2]就是包含2个整型元素的一维数组地址图中的C位置,aka: p+2