二维函数和指针
二维数组
char a[5][24] = {
0};
printf("%p\r\n", a);
printf("%p\r\n", a[0]);
printf("%p\r\n", *a);
printf("%p\r\n", &a[0][0]);
printf("%d\r\n", sizeof(a));
printf("%d\r\n", sizeof(a[0]));
printf("%d\r\n", sizeof(*a));
printf("%d\r\n", sizeof(&a[0][0]));
printf("%d\r\n", sizeof(a[0][0]));
output:
0x7ffd4b518aa0
0x7ffd4b518aa0
0x7ffd4b518aa0
0x7ffd4b518aa0
120
24
24
8
1
a=&a[0],a[0]=&a[0][0]
;sizeof(a)
:表示整个二维数组的大小sizeof(a[0])
:表示第一行的一维数组的大小sizeof(*a)
:*a=a[0]
,同sizeof(a[0])
sizeof(a[0][0])
:表示a[0][0]
这个元素的大小sizeof(&a[0][0])
:表示地址的大小- 一个指针在
32
位机器上占4
字节,在64
位机器上占8
字节
int a[5][5]
:二维数组char **p
:二维指针int (*p)[10]
:一个指针,指向有10
个元素的数组,也称行指针int* p[10]
:一个数组,数组内每个元素都是指针
二维数组名不能传递给二级指针
二维数组跟二级指针,没有直接关系。
int a[3][4] = {
0,1,2,3,4,5,6,7,8,9,10,11};
int* *p = NULL;
p = (int**)a; /* 不做强制类型转换会报错 */
p
是二级指针,它首先是一个指针,指向一个int*
;a
是二维数组,它首先是一个指针,指向一个含有4
个元素的int
数组;a
和p
类型不相同,赋值操作需要强制类型转换。p=a[0]=&a[0][0],*p=a[0][0]=0
- 访问
**p
的值报错,因为你访问了地址为0
的空间,而这个空间你是没有权限访问的
数组名的含义
- 对于一维数组:
int arr[5]={
1,2,3,4,5};
int (*p1)[5] = &arr;
/*下面是错误的*/
int (*p2)[5] = arr;
&arr
是指整个数组的首地址,而arr
是指数组首元素的首地址,虽然所表示的意义不同,但二者之间的值却是相同的。
赋值符号=
号两边的数据类型必须是相同的,如果不同,则需要显示或隐式类型转换。在这里,p1
和p2
都是数组指针,指向的是整个数组。p1
这个定义的=
号两边的数据类型完全一致,而p2
这个定义的=
号两边的数据类型就不一致了(左边的类型是指向整个数组的指针,而右边的数据类型是指向单个字符的指针),因此会提示错误信息。
- 对于二维数组:
int a[3][4] = {
0,1,2,3,4,5,6,7,8,9,10,11};
a[0]
是该列的首地址&a[0][0],a
是整个数组的首地址。a = a[0] = &a[0][0]
,值相同,但意义不同。
函数指针
本质是一个指针变量,该指针指向这个函数。总结来说,函数指针就是指向函数的指针。
- 函数指针有两个用途:调用函数和做函数的参数。
- 声明格式: 类型说明符 (*函数名 ) (参数)
int (*func)(int, int);
// 静态的函数指针
int (*const funcPtr)();
// 指向的函数的返回值是常量
const int(*funcPtr)
把一个函数赋值给函数指针
int (*func)(int, int);
int add(int x, int y){
return x+y;
}
func = add; // 函数标识符代表函数的首地址
// 或
func = &add;
调用函数指针
(*func)(1,2)
// 或
func(1,2)
函数指针数组
函数指针数组是一个其元素是函数指针的数组。那么也就是说,此数据结构是一个数组,且其元素是一个指向函数入口地址的指针。
- 首先说明是一个数组:数组名[]
- 其次,要说明其元素的数据类型是指针:*数组名[]
- 再次,要明确这每一个数组元素是指向函数入口地址的指针:函数返回值类型 (*数组名[])()
int (*op[2])(int, int);
op[0] = add1;
op[1] = add2;
op[0](1, 2);
// 先定义函数指针类型;在通过指针类型定义函数指针数组
// 定义一种P的类型,并定义这种类型为指向某种函数的指针,这种函数以(int, int)为参数并返回int类型*/
typedef int (*P)(int, int);
P a[2] = {
0};
a[0] = add;
a[0](1,2);
typedef 普通用法
typedef <已有类型> <自定义别名>
如
typedef int INTE;
INTE a;
等价于
int a;
typedef 复杂用法
- 为复杂的声明定义一个新的简单的别名。方法是:在原来的声明里逐步用别名替换一部分复杂声明,如此循环,把带变量名的部分留到最后替换,得到的就是原声明的最简化版。
int *(*a[5])(int, char*);
// 变量名为a,直接用一个新别名pFun替换a就可以了:
typedef int *(*pFun)(int, char*);
// 最简化版:
pFun a[5];
void (*b[10]) (void (*)());
// 变量名为b,先替换右边部分括号里的,pFunParam为别名一
typedef void (*pFunParam)();
// 再替换左边的变量b,pFunx为别名二
typedef void (*pFunx)(pFunParam);
// 最简化版:
pFunx b[10];
doube(*)() (*e)[9];
// 变量名为e,先替换左边部分,pFuny为别名一
typedef double(*pFuny)();
// 再替换右边的变量e,pFunParamy为别名二
typedef pFuny (*pFunParamy)[9];
// 最简化版:
pFunParamy e;
- 理解复杂声明可用的“右左法则”:
从变量名看起,先往右,再往左,碰到一个圆括号就调转阅读的方向;括号内分析完就跳出括号,还是按先右后左的顺序,如此循环,直到整个声明分析完。
// 首先找到变量名func,外面有一对圆括号,
// 而且左边是一个*号,这说明func是一个指针;
// 然后跳出这个圆括号,先看右边,又遇到圆括号,
// 这说明 (*func)是一个函数,所以func是一个指向这类函数的指针,
// 即函数指针,这类函数具有int*类型的形参,返回值类型是int。
int (*func)(int *p);
-
2个模式:
- 函数指针 :type (*)(…)
- 数组指针:type (*)[]
-
不管什么时候,只要为指针声明
typedef
,那么都要在最终的typedef
名称中加一个const
,以使得该指针本身是常量,而不是对象。
extern和包含头文件
- extern是C语言中的一个关键字,一般用在变量名前或函数名前,作用是用来说明“此变量/函数是在别处定义的,要在此处引用”
- 使用extern和包含头文件来引用函数的区别:
extern的引用方式比包含头文件要间接得多。extern的使用方法是直接了当的,想引用哪个函数就用extern声明哪个函数。这大概是kiss原则的一种体现。这样做的一个明显的好处是,会加速程序的编译(确切地说是预处理)的过程,节省时间。在大型C程序编译过程中,这种差异是非常明显的。 - extern作用于函数名和变量名时的区别:
函数声明时并没有使用 extern 关键字,这是因为,函数的定义有函数体,函数的声明没有函数体,编译器很容易区分定义和声明,所以对于函数声明来说,有没有extern 都是一样的
但是作用于变量名时extern关键字就不是可有可无的了,全局变量在外部使用声明时,extern关键词是必须的,如果变量无extern修饰且没有显式的初始化,就成为了变量的定义,因此此时必须加extern,
(全局变量在不指定初值时会自动初始化为0) - 头文件中包含的都是函数声明,而不是函数定义
- 最好不要在头文件中定义变量,例如全局变量