嵌入式开发之指针与函数.pdfVIP

嵌入式开发之指针与函数 作者：朱有鹏 1.1、函数指针的实质 （还是指针变量） (1)函数指针是个什么东西呢？函数指针的实质还是指针。本身占4 字节 （在32 位系统 中，所有的指针都是4 字节） (2)函数指针、数组指针、普通指针之间并没有本质区别，区别在于指针指向的东西是 个什么玩意。 (3)函数的实质是一段代码，这一段代码在内存中是连续分布的 （一个函数的大括号括 起来的所有语句将来编译出来生成的可执行程序是连续的），所以对于函数来说很关键的就 是函数中的第一句代码的地址，这个地址就是所谓的函数地址，在C 语言中用函数名这个 符号来表示。在前面也曾经讲过，函数名的实质其实就是函数这段代码的首地址。 (4)结合函数的实质，函数指针其实就是一个普通变量，这个普通变量的类型是函数指 针变量类型，它的值就是某个函数的地址（也就是它的函数名这个符号在编译器中对应的值） 1.2、函数指针的书写和分析方法 (1)C语言本身是强类型语言 （每一个变量都有自己的变量类型），强类型语言有什么好 处呢？是不是每一个变量都有强类型呢？其实不是的，在一些弱类型语言中，它的变量是没 有类型的。譬如脚本，它就是个弱类型语言。Makefile 也是弱类型语言，在里面没有类型。 但是强类型并不是不好，它有自己的特点，例如编译器可以帮我们做严格的类型检查。这个 就是强类型语言的显著意义。 强类型语言每一个变量每一个符号都有自己的类型，类型本身是否匹配编译器是可以帮 助我们检查的。但是编译器帮我们检查究竟是好事还是坏事呢？其实它既是好事也是坏事。 总体来说是一件好事，因为当出现问题的时候，我自己并不知道，但是编译器知道。例如很 多新手一开始学习的时候，编译器一报错他就烦，总是抱怨编译器为什么总是不停报错报警 告呢。其实编译器报错报警告是一件好的事情。这就像你在家里，父母看着你，要是你做不 好的事情，你爸会说这不能做。要是你摸不该摸的东西，你爸会说：这不能摸。也许你会感 到很烦，但是正是因为你爸管着你，你才不会犯那么多的错误。当你长大以后，做了自己都 无法承担的错事的时候，你那时才会发现其实还是爸妈管着好。语言也是这样子，像C 语 言就是有爸妈管着的，编译器帮我们做了严格的类型检查，这就是好处。那么类型检查跟指 针符号又有什么关系呢？ (2)所有的指针变量类型其实本质都是一样的，但是为什么在C 语言中要去区分它们， 写法不一样呢 （譬如int 类型指针就写作int *p; 数组指针就写作int (*p)[5]；同样是一个p， 后面的就比前面的长，但是两个都是为了定义一个指针变量p，为什么不直接写成int *p， 还要int (*p）[5]这样写呢？主要原因就在于我们不同的写法可以给编译器提供不同的消息， 提供不同的信息，例如编译器一看到int (*p)[5]，就知道它是一个数组指针，编译器一看到 int *p，就知道它是一个普通指针。当编译器后来做类型检查的时候，它就会去匹配各个参 数。下面来做一个简单的实验。 #includestdio.h intmain(void) { int *p; int a[5]; p a; return 0; } 这个代码是否可行呢？p 是一个int 类型的指针，让它指向一个数组名 （这里数组名做 右值表示的是数组首元素的首地址），这个代码编译时究竟能否通过呢？经过编译，这个代 码没有任何问题。但它为啥又能够通过呢？其实很简单，当a做右值时，它表示的是数组首 元素的首地址，而这个首元素就是int 型的元素，那么作为int 型元素的地址与一个int 类型 的指针，它们两个是非常配的。也正是因为类型般配，所以编译器不会警告，更不会报错。 那再写一个代码： #includestdio.h intmain(void) { int *p; int a[5]; p a; return 0; } 这个代码中p a;这句左边是一个int 类型的指针，右边是一个数组的地址，具体的是 int (*)[]这个类型的，因此这两个类型就不匹配了，用gcc 编译时会出现警告。下面再写一个 代码： #includestdio.h intmain(void) { int a[5]; int (*p1)[5] ; p1 a; return 0; } 在这个代