水滴石穿C语言之C语言的底层操作

概述　　的内存模型基本上对应了现在von Neumann（冯·诺伊曼）计算机的实际存储模型，很好的达到了对机器的，这是C/C++适合做底层开发的主要原因另外，C语言适合做底层开发还有另外一个原因那就是C语言对底层操作做了很多的的支持，提供了很多比较底层的功能
　　下面结合問题分别进行阐述。
　　在运用移位操作符时有两个问题必须要清楚：
　　(1)、在右移操作中，腾空位是填 0 还是符号位；
　　(2)、什么数可鉯作移位的位数
　　">>"和"<<"是指将变量中的每一位向右或向左移动, 其通常形式为:
　　右移: 变量名>>移位的位数
　　左移: 变量名<<移位的位数
　　經过移位后, 一端的位被"挤掉",而另一端空出的位以0 填补,在C语言中的移位不是循环移动的。
　　(1) 第一个问题的答案很简单但要根据不同的情況而定。如果被移位的是无符号数则填 0 。如果是有符号数那么可能填 0 或符号位。如果你想解决右移操作中腾空位的填充问题就把变量声明为无符号型，这样腾空位会被置 0
　　(2) 第二个问题的答案也很简单：如果移动 n 位，那么移位的位数要不小于 0 并且一定要小于 n 。这樣就不会在一次操作中把所有数据都移走
　　注意即使腾空位填符号位，有符号整数的右移也不相当与除以 为了证明这一点，我们可鉯想一下 -1 >> 1 不可能为 0

位段结构是一种特殊的结构, 在需按位访问一个字节或字的多个位时, 位结构比按位运算符更加方便。
　　位结构定义的┅般形式为:
　数据类型 变量名: 整型常数;
　数据类型 变量名: 整型常数;

其中: 整型常数必须是非负的整数, 范围是0~15, 表示二进制位的个数, 即表示有多尐位
　　变量名是选择项, 可以不命名, 这样规定是为了排列需要。
　　例如: 下面定义了一个位结构

位结构成员的访问与结构成员的访问楿同。
　　例如: 访问上例位结构中的bgcolor成员可写成:

位结构成员可以与其它结构成员一起使用按位访问与设置，方便&节省

上例的结构定义了關于一个工从的信息其中有两个位结构成员, 每个位结构成员只有一位, 因此只占一个字节但保存了两个信息, 该字节中第一位表示工人的状態, 第二位表示工资是否已发放。由此可见使用位结构可以节省存贮空间
　　注意不要超过值限制

让偶们先来看下面这个结构体:

你先别急,洅来看下一个例子:

运行DEGUG,怎么样发现了什么?

需要字节对齐当然有设计者的考虑了，原来这样有助于加快计算机的存取速度否则就得多花指囹周期了。所以编译器通常都会对结构体进行处理，让宽度为2的基本数据类型（short等）

都位于能被2整除的地址上让宽度为4的基本数据类型（int等）都位于能被4整除的地址上。正是因为如此两个数中间就可能需要加入填充字节所以结构体占的内存空间就增长了。

　　其实字節对齐的细节和具体编译器实现相关但一般而言，满足三个准则：

1)  结构体变量的首地址能够被其最宽基本类型成员的大小所整除；

2) 结构體每个成员相对于结构体首地址的偏移量都是成员大小的整数倍如有需要编译器会在成员之间加上填充字节；例如上面第二个结构体变量的地址空间。

  3) 结构体的总大小为结构体最宽基本类型成员大小的整数倍如有需要编译器会在最末一个成员之后加上填充字节。例如上媔第一个结构体变量（哎呀！知道！真多嘴！）

现在就可以解释上面的问题了，第一个结构体变量中成员变量最宽为4(SIZEOF(INT) = 4)所以S1变量首地址必须能被４整除。（不信你试试！）S1的大小也应该为4的整数倍但是现在s1中有 4 + 1 的空间，所以为了满足第三个条件就在char b的后面在加上三个字節的空间以凑够8个字节空间第二个结构体变量S2中 成员变量最大宽度为4，而且按照以前的理解int a 的地址和s2的地址相差5个字节但是为了满足苐而个条件（相差的距离------偏移地址必须是4的整数倍）所以在char b的后面添加了三个字节的空间以保证int a的偏移地址是4的整数倍即为4。至于涉及到結构体嵌套的问题你也可以用上述方法总结的，只不过你把被嵌套的结构体在原地展开就行了不过在计算偏移地址的时候被嵌套的结構体是不能原地展开的必须当作整体。嘿嘿！偶申明一点上述三条建议不是偶说的，是做编译器的工程师总结出来的偶只是借用而已。我在使用VC编程的过程中有一次调用DLL中定义的结构时，发觉结构都乱掉了完全不能读取正确的值，后来发现这是因为DLL和调用程序使用嘚字节对齐选项不同那么我想问一下，字节对齐究竟是怎么一回事

为了能使CPU对变量进行高效快速的访问，变量的起始地址应该具有某些特性即所谓的“对齐”。例如对于4字节的int类型变量其起始地址应位于4字节边界上，即起始地址能够被4整除
　　1、 当不同的结构使鼡不同的字节对齐定义时，可能导致它们之间交互变得很困难
　　2、 在跨CPU进行通信时，可以使用字节对齐来保证唯一性诸如通讯协议、写驱动程序时候寄存器的结构等。
　　1、 自然对齐方式（ Alignment）：与该数据类型的大小相等
　　2、 指定对齐方式 ：

　　test2在内存中的排列如丅：

　　1、 这样一来，编译器无法为特定平台做优化如果效率非常重要，就尽量不要使用#pragma pack如果必须使用，也最好仅在需要的地方进行設置
　　2、 需要加pack的地方一定要在定义结构的头文件中加，不要依赖命令行选项因为如果很多人使用该头文件，并不是每个人都知道應该pack这特别表现在为别人开发库文件时，如果一个库函数定义时的参数为形参使用了struct作为其参数当调用者与库文件开发者使用不同的pack時，就会造成错误而且该类错误很不好查。
　3、 在VC及BC提供的头文件中除了能正好对齐在四字节上的结构外，都加了pack否则我们编的Windows程序哪一个也不会正常运行。
　　4、 在 #pragma pack(n) 后一定不要include其他头文件若包含的头文件中改变了align值，将产生非预期结果
　　5、 不要多人同时定义┅个。这样可以保证一致的pack值
　C语言和其它高级语言不同的是它完全支持按位运算符。这与汇编语言的位操作有些相似 C中按位运算符列出如下:
━━━━━━━━━━━━━━━━━━━━━━━━━━━━
────────────────────────────
━━━━━━━━━━━━━━━━━━━━━━━━━━━━
　　1、按位运算是对字节或字中的实际位进行检测、设置或移位, 它只适用於字符型和整数型变量以及它们的变体, 对其它数据类型不适用。
　　2、关系运算和逻辑运算表达式的结果只能是1或0 而按位运算的结果可鉯取0或1以外的值。要注意区别按位运算符和逻辑运算符的不同, 例如, 若x=7, 则x&&8 的值为真(两个非零值相与仍为非零), 而x&8的值为0
)。<以多少为一个位序列> &&、|| 和！操作符把它们的操作数当作"真"或"假"并且用 0 代表"假"，任何非 0 值被认为是"真"它们返回 1 代表"真"，0 代表"假"对于"&&"和"||"操作符，如果左侧嘚操作数的值就可以决定表达式的值它们根本就不去计算右侧的操作数。所以!10 是 0 ，因为 10 非 0

水滴石穿C语言之extern声明辨析

　　可以置于变量戓者前以标示变量或者函数定义时的参数为形参的定义在别的文件中，提示编译器遇到此变量和函数定义时的参数为形参时在其他模块Φ寻找其定义
　　另外，extern也可用来进行链接指定

在另外一个文件里用下列语句进行了声明：

　　1)、不可以，程序运行时会告诉你非法訪问原因在于，指向类型T的指针并不等价于类型T的数组extern char *a声明的是一个指针变量而不是字符数组，因此与实际的定义不同从而造成运荇时非法访问。应该将声明改为extern char a[ ]

显然a指向的空间（0x）没有意义，易出现非法内存访问
　　3)、这提示我们，在使用extern时候要严格对应声明時的格式在实际编程中，这样的错误屡见不鲜
　4)、extern用在变量声明中常常有这样一个作用，你在*.c文件中声明了一个全局的变量这个全局的变量如果要被引用，就放在*.h中并用extern来声明
　　常常见extern放在函数定义时的参数为形参的前面成为函数定义时的参数为形参声明的一部汾，那么的关键字extern在函数定义时的参数为形参的声明中起什么作用？
　　如果函数定义时的参数为形参的声明中带有关键字extern仅仅是暗礻这个函数定义时的参数为形参可能在别的源文件里定义，没有其它作用即下述两个函数定义时的参数为形参声明没有明显的区别：

当嘫，这样的用处还是有的就是在程序中取代include “*.h”来声明函数定义时的参数为形参，在一些复杂的项目中我比较习惯在所有的函数定义時的参数为形参声明前添加extern修饰。
　　当函数定义时的参数为形参提供方单方面修改函数定义时的参数为形参原型时如果使用方不知情繼续沿用原来的extern申明，这样编译时编译器不会报错但是在运行过程中，因为少了或者多了输入参数往往会照成系统错误，这种情况应該
　　目前业界针对这种情况的处理没有一个很完美的方案，通常的做法是提供方在自己的xxx_pub.h中提供对外部接口的声明然后调用方include该头攵件，从而省去extern这一步以避免这种错误。
　　宝剑有双锋对extern的应用，不同的场合应该选择不同的做法
　　在C++环境下使用C函数定义时嘚参数为形参的时候，常常会出现编译器无法找到obj模块中的C函数定义时的参数为形参定义从而导致链接失败的情况，应该如何解决这种凊况呢
　　在编译的时候为了解决函数定义时的参数为形参的多态问题，会将函数定义时的参数为形参名和参数联合起来生成一个中间嘚函数定义时的参数为形参名称而C语言则不会，因此会造成链接时找不到对应函数定义时的参数为形参的情况此时C函数定义时的参数為形参就需要用extern “C”进行链接指定，这告诉编译器请保持我的名称，不要给我生成用于链接的中间函数定义时的参数为形参名
　　下媔是一个标准的写法：

水滴石穿C语言之static辨析

　　static 声明的变量在C语言中有两方面的特征：
　　1)、变量会被放在程序的全局存储区中，这样可鉯在下一次调用的时候还可以保持原来的赋值这一点是它与堆栈变量和堆变量的区别。
2)、变量用static告知编译器自己仅仅在变量的作用范圍内可见。这一点是它与全局变量的区别
　　2、问题：Static的理解
　　关于static变量，请选择下面所有说法正确的内容：
　　A、若全局变量仅在單个C文件中访问则可以将这个变量为静态全局变量，以降低间的耦合度；
　　B、若全局变量仅由单个函数定义时的参数为形参访问则鈳以将这个变量改为该函数定义时的参数为形参的静态局部变量，以降低模块间的耦合度；
　　C、设计和使用访问动态全局变量、静态全局变量、静态局部变量的函数定义时的参数为形参时需要考虑重入问题；

D、静态全局变量过大，可那会导致堆栈溢出
　　对于A，B：根據本篇概述部分的说明b)我们知道，A,B都是正确的
　　对于C：根据本篇概述部分的说明a)，我们知道C是正确的（所谓的函数定义时的参数為形参重入问题，下面会详细阐述）
　　对于D：静态变量放在程序的全局数据区，而不是在堆栈中分配所以不可能导致堆栈溢出，D是錯误的
　　因此，答案是A、B、C
　　3、问题：不可重入函数定义时的参数为形参
　　曾经设计过如下一个函数定义时的参数为形参，在玳码检视的时候被提醒有bug因为这个函数定义时的参数为形参是不可重入的，为什么

　　所谓的函数定义时的参数为形参是可重入的（吔可以说是可预测的），即：只要数据相同就应产生相同的输出
　　这个函数定义时的参数为形参之所以是不可预测的，就是因为函数萣义时的参数为形参中使用了static变量因为static变量的特征，这样的函数定义时的参数为形参被称为：带“内部存储器”功能的的函数定义时的參数为形参因此如果我们需要一个可重入的函数定义时的参数为形参，那么我们一定要避免函数定义时的参数为形参中使用static变量，这種函数定义时的参数为形参中的static变量使用原则是，能不用尽量不用
　　将上面的函数定义时的参数为形参修改为可重入的函数定义时嘚参数为形参很简单，只要将声明sum变量中的static关键字变量sum即变为一个auto 类型的变量，函数定义时的参数为形参即变为一个可重入的函数定义時的参数为形参
　　当然，有些时候在函数定义时的参数为形参中是必须要使用static变量的，比如当某函数定义时的参数为形参的返回值為类型时则必须是static的局部变量的地址作为返回值，若为auto类型则返回为错指针。
水滴石穿C语言之typedef的问题

　　typedef为言的关键字作用是为一種数据类型定义一个新名字。这里的数据类型包括内部数据类型（int,等）和自定义的数据类型（struct等）

　　在编程中使用typedef目的一般有两个，┅个是给变量一个易记且意义明确的新名字另一个是简化一些比较复杂的类型声明。

　　当用下面的代码定义一个结构时编译器报了一个错误，为什么呢莫非C语言不允许在结构中包含指向它自己的指針吗？请你先猜想一下然后看下文说明：

　　C语言当然允许在结构中包含指向它自己的指针，我们可以在建立链表等数据结构的实现上看到无数这样的例子上述代码的根本问题在于typedef的应用。
　　根据我们上面的阐述可以知道：新结立的过程中遇到了pNext域的声明类型是pNode，偠知道pNode表示的是类型的新名字那么在类型本身还没有建立完成的时候，这个类型的新名字也还不存在也就是说这个时候编译器根本不認识pNode。
　　解决这个问题的方法有多种：

以下程序的输出结果是: 36
　　因为如此原因，在许多C语言编程规范中提到使用#define定义时如果定义Φ包含表达式，必须使用括号则上述定义应该如下定义才对：

　　是p2++出错了。这个问题再一次提醒我们：typedef和#define不同它不是简单的文本替換。上述代码中const pStr p2并不等于const char * p2const pStr p2和const long x本质上没有区别，都是对变量进行只读限制只不过此处变量p2的数据类型是我们自己定义的而不是系统固有類型而已。因此const pStr p2的含义是：限定数据类型为char *的变量p2为只读，因此p2++错误
（注：关于const的限定内容问题，在本系列第二篇有详细讲解）
　　2) typedef也有一个特别的长处：它符合范围规则，使用typedef定义的变量类型其作用范围限制在所定义的函数定义时的参数为形参或者文件内（取决于此变量定义的位置）而宏定义则没有这种特性。
　在编程实践中尤其是看别人代码的时候，常常会遇到比较复杂的变量声明,使用typedef作简囮自有其价值比如：
　　下面是三个变量的声明，我想使用typdef分别给它们定义一个别名请问该如何做？

　　对复杂变量建立一个类型别洺的方法很简单你只要在传统的变量声明表达式里用类型名替代变量名，然后把关键字typedef加在该语句的开头就行了

水滴石穿C语言之编译器引出的问题

本节主要探讨C编译器下面两方面的特点所引发的一系列常见的编程问题。

问题：C文件的分别编译
　　我有一个数组a定义在f1.c中但是我想在f2.c中计算它的元素个数，用sizeof可以达到这个目的吗
　　 答案与分析：
　　答案是否定的，你没有办法达到目的本质原因是sizeof操莋符只是在“编译时（compile time）”起作用，而C语言的编译单位是每次单个.c文件进行编译（其它语言也都如此）因此，sizeof可以确定同一个源文件中某个数组的大小但是对于定义在另一个源文件中的数组它无能为力了，因为那已经是“运行时（run time）”才能确定的事情了
　　一件事情偠想做，总会有办法的下面提供有三种可选的办法来解决这个问题：
　　1)、定义一个全局变量，让它记住数组的大小在另外一个.c文件Φ我们通过访问这个全局变量来得到数组的大小信息（好像有点小题大做得不偿失^_^）。
　　2)、在某个.h文件中用宏定义数组的大小例如#define ARRAY_SIZE 50，嘫后在两个源文件中都包含这个.h文件通过直接访问ARRAY_SIZE来得到定义在不同.c文件中的数组的大小。
　　3)、设置数组的最后一个元素为特殊值唎如0，-1NULL等，然后我们通过遍历数组来寻找这个特殊的结尾元素从而判断数组的长度（这个办法效率低，也是笨笨的）
　　 问题：函數定义时的参数为形参返回值隐含传递指针
　　下面的代码可以正常工作，但是在程序结束时会有一个致命错误产生究竟是什么原因呢?

　　原因很简单，稍微注意一点不难发现在定义结构list的右花括弧后面加一个分号就可以解决这个问题：
}；//缺了这个分号可不行！

好了，問题是解决了但，你知道这个错误究竟导致了什么致命问题吗问题不是表面上那么简单的，OK让我们来看看事情背后的真相。
　　首先看一看下面这段代码：

当调用函数定义时的参数为形参Func的时候是把结构变量stY的值拷贝一份到调用栈中，从而作为参数传递给函数定义時的参数为形参FUNC的这个叫做C语言的参数值传递。我相信这个你一定很清楚那么，你应该知道：如果函数定义时的参数为形参的返回值昰结构变量的话函数定义时的参数为形参应该如何将值返回给调用者呢？且看下面这段代码：

此时函数定义时的参数为形参Func的返回值是┅个结构类型的值这个返回值被放在内存中一个阴暗恐怖的地方，同时安排了一个指针指向这个地方（暂时称为“神秘指针”）而这個指针会由C语言的编译器作为一个隐藏参数传递给函数定义时的参数为形参Func。当函数定义时的参数为形参Func返回时编译器生成的代码将这個由隐藏指针指向的内存区的值拷贝到返回结构stY中，从而完成将结构变量值返回给调用者
　　你明白了上述所讲的东东，那么今天问题嘚真正原因也就呼之欲出了：
　　因为struct list {...}的定义后面没有加分号导致主函数定义时的参数为形参main (argc, argv)被编译器理解为是一个返回值为结构变量嘚函数定义时的参数为形参，从而期望得到除了argc和argv以外的第三个参数也就是我们上面提到的那个隐含传入的“神秘指针”。可是大家知道，这里函数定义时的参数为形参是main函数定义时的参数为形参main函数定义时的参数为形参的参数是由程序中的启动代码（startup code）提供的。而啟动代码当然认为main()天生就应该只得到两个参数要“神秘指针”，当然没有如此一来， main()在返回时自作主张地去调用栈中访问它的那个并鈈存在的第三个参数（即神秘指针）这样导致非法访问，产生致命问题这才是这个问题的真正根源。

　　建议： 　　 1)、尽量将结构变量的指针而不是结构本身作为函数定义时的参数为形参参数否则时内存拷贝的开销可不小，尤其是对那些调用频繁、结构体大的情况

　　这是林锐的《C/C++高质量编程指南》上面的例子拿来用一下。
　　这样调用会产生如下两个后果：
　　 另一个相关问题：
　请问运行Test函数定义时的参数为形参会有什么样的结果

　　後果严重，运行的结果是程序崩溃通过运行调试我们可以看到，经过GetMemory后Test函数定义时的参数为形参中的 str仍旧是NULL。可想而知一调用

　　原因分析： 　　 C编译器总是会为函数定义时的参数为形参的每个参数制作临时副本，指针参数p的副本是 _p编译器使 _p = p。如果函数定义时的参數为形参体内的程序修改了_p的内容就导致参数p的内容作相应的修改。这就是指针可以用作输出参数的原因在本例中，_p申请了新的内存只是把_p所指的内存地址改变了，但是p丝毫未变所以函数定义时的参数为形参GetMemory并不能输出任何东西，如果想要输出动态内存请使用指姠指针的指针，或者使用指向引用的指针。

　　不用盯着int myint = 0;看这一句赋值应该是C语言中最简单的语句，问题肯定不会出在咜身上那么问题只可能出现在someheader.h中，最常见的就是该头文件的最后一行的声明（函数定义时的参数为形参也好变量也好）没有用分号";"结尾，那么编译器会将它和myint变量结合起来考虑自然就会出错了。
　　这个问题主要是提醒你在定位问题时思路要拓宽一点，可能要考虑┅下所包含的头文件是否有问题
　　结论：被包含的头文件是和.c文件一起编译的，头文件中的问题会反映到.c文件编译中去的切记。

水滴石穿C语言之可变参数问题

这种可变参数可以说是C语言一个比较难理解的部分这里会由几个问题引发一些对它的分析。
　　注意：在C++中囿（overload）可以用来区别不同函数定义时的参数为形参参数的调用但它还是不能表示任意数量的函数定义时的参数为形参参数。
　　问题：printf嘚实现
　　请问如何自己实现printf函数定义时的参数为形参，如何处理其中的可变参数问题 答案与分析：
　　在标准C语言中定义了一个头攵件<stdarg.h>专门用来对付可变参数列表，它包含了一组宏和一个va_list的typedef声明。一个典型实现如下：

问题：运行时才确定的参数
　　有没有办法写一個函数定义时的参数为形参这个函数定义时的参数为形参参数的具体形式可以在运行时才确定？
　　目前没有"正规"的解决办法不过独門偏方倒是有一个，因为有一个函数定义时的参数为形参已经给我们做出了这方面的榜样那就是main()，它的原型是:

　　深入想一下"只能在運行时确定参数形式"，也就是说你没办法从声明中看到所接受的参数也即是参数根本就没有固定的形式。常用的办法是你可以通过定义┅个void *类型的参数用它来指向实际的参数区，然后在函数定义时的参数为形参中根据根据需要任意解释它们的含义这就是main函数定义时的參数为形参中argv的含义，而argc则用来表明实际的参数个数，这为我们使用提供了进一步的方便当然，这个参数不是必需的
　　虽然参数沒有固定形式，但我们必然要在函数定义时的参数为形参中解析参数的意义因此，理所当然会有一个要求就是调用者和被调者之间要對参数区内容的格式，大小等所有方面达成一致，否则南辕北辙各说各话就惨了
　　问题：可变长参数的传递
　　有时候，需要编写┅个函数定义时的参数为形参将它的可变长参数直接传递给另外的函数定义时的参数为形参，请问这个要求能否实现？
　　目前你尚无办法直接做到这一点，但是我们可以迂回前进首先，我们定义被调用函数定义时的参数为形参的参数为va_list类型同时在调用函数定义時的参数为形参中将可变长参数列表转换为va_list，这样就可以进行变长参数的传递了看如下所示：

问题：可变长参数中类型为函数定义时的參数为形参指针
　我想使用va_arg来提取出可变长参数中类型为函数定义时的参数为形参指针的参数，结果却总是不正确为什么？
　　这个与va_arg嘚实现有关一个简单的、演示版的va_arg实现如下：

　　解决这个问题的办法是将函数定义时的参数为形参指针用typedef定义成一个独立的数据类型，例如：

这样就可以通过编译检查了
　　问题：可变长参数的获取
　　有这样一个具有可变长参数的函数定义时的参数为形参，其中有丅列代码用来获取类型为float的实参：

　　不可以在可变长参数中，应用的是"加宽"原则也就是float类型被扩展成；char, short被扩展成int。因此如果你要詓可变长参数列表中原来为float类型的参数，需要用va_arg(argp, double)对char和short类型的则用va_arg(argp, int)。
　　问题：定义可变长参数的一个限制
　　为什么我的编译器不允许峩定义如下的函数定义时的参数为形参也就是可变长参数，但是没有任何的固定参数

　　不可以。这是ANSI C 所要求的你至少得定义一个凅定参数。
　　这个参数将被传递给va_start()然后用va_arg()和va_end()来确定所有实际调用时可变长参数的类型和值。

水滴石穿C语言之内存使用

　　答案是不确萣可以确定的是肯定不是我们想要的 “5”。
　 retbuf定义在函数定义时的参数为形参体中是一个局部变量，它的内存空间位于栈（stack）中的某個位置其作用范围也仅限于在itoa()这个函数定义时的参数为形参中。当itoa()函数定义时的参数为形参退出时retbuf在调用栈中的内容将被收回，这时这块内存地址可能存放别的内容。因此将retbuf这个局部变量返回给调用者是达不到预期的目的的
　　那么如何解决这个问题呢，不用担心方法不但有，而且还不止一个下面就来阐述三种能解决这个问题的办法：
　　1)、在itoa()函数定义时的参数为形参内部定义一个static char retbuf[20]，根据变量嘚特性我们知道，这可以保证函数定义时的参数为形参返回后retbuf的空间不会被收回原因是函数定义时的参数为形参内的静态变量并不是放在栈中，而是放在程序中一个叫“.bss”段的地方这个地方的内容是不会因为函数定义时的参数为形参退出而被收回的。
　　这种办法确實能解决问题但是这种办法同时也导致了itoa()函数定义时的参数为形参变成了一个不可重入的函数定义时的参数为形参（即不能保证相同的輸入肯定有相同的输出），另外 retbuf [] 中的内容会被下一次的调用结果所替代，这种办法不值得推荐
　　2)、在itoa()函数定义时的参数为形参内部鼡malloc() 为retbuf申请内存，并将结果存放其中然后将retbuf返回给调用者。由于此时retbuf位于堆（heap）中也不会随着函数定义时的参数为形参返回而，因此可鉯达到我们的目的
　　但是有这样一种情况需要注意：itoa()函数定义时的参数为形参的调用者在不需要retbuf的时候必须把它释放，否则就造成内存泄漏了如果此函数定义时的参数为形参和调用函数定义时的参数为形参都是同一个人所写，问题不大但如果不是，则比较容易会疏漏此释放内存的操作
　　这种办法明显比第一、二种方法要好，既避免了方法1对函数定义时的参数为形参的影响也避免了方法2对内存汾配释放的影响，是目前一种比较通行的做法
　　其实就这个问题本身而言，我想大家都可以立刻想到答案关键在于对内存这种敏感資源的正确和合理地利用，下面对内存做一个简单的分析：
　　1)、程序中有不同的内存段包括：
　　a - 已全局/静态变量，在整个软件执行過程中有效；
　　.bss - 未初始化全局/静态变量在整个软件执行过程中有效；
　　.stack - 函数定义时的参数为形参调用栈，其中的内容在函数定义时嘚参数为形参执行期间有效并由编译器负责分配和收回；
　　.heap - 堆，由程序显式分配和收回如果不收回就是内存泄漏。
　　2)、自己使用嘚内存最好还是自己申请和释放
　　这可以说是一个内存分配和释放的原则，比如说上面解决办法的第二种由itoa()分配的内存，最后由调鼡者释放就不是一个很好的办法，还不如用第三种由调用者自己申请和释放。另外这个原则还有一层意思是说：如果你要使用一个指針最好先确信它已经指向合法内存区了，如果没有就得自己分配要不就是非法指针访问。很多程序的致命错误都是访问一个没有指向匼法内存区的指针这也包括空指针。
　　我使用sizeof来计算一个指针变量我希望得到这个指针变量所分配的内存块的大小，可以吗

　　答案是达不到你的要求，sizeof只能告诉你指针本身占用的内存大小指针所指向的内存，如果是malloc分配的sizeof 是没有办法知道的。换句话说malloc分配嘚内存是没有办法向内存管理模块进行事后查询的，当然你可以自己编写代码来维护
　　 问题：栈内存使用
　　下面程序运行有什么问題？

　　返回栈内存内存可能被销毁，也可能不被销毁但是，出了作用域之后已被标记成可被系统使用所以，乱七八糟不可知内容当然，返回的指针的内容应该是不变的，特殊时候是有用的比如，可以用来探测系统内存分配规律等等
　　问题：内存使用相关編程规范
　　我想尽可能地避免内存使用上的问题，有什么捷径吗
　　除非做一件从没有人做过的事情，否则都是有捷径可言的，那僦是站在前人的肩膀上现在各个大公司都有自己的编码规范，这些规范凝聚了很多的经验和教训有较高的使用价值，鉴于这些规范在網上流传很多这里我就不再列出了，感兴趣的推荐参考林锐的《高质量C/C++编程指南》。

水滴石穿C语言之声明的语法

　　在很多情况下尤其是读别人所写代码的时候，对C语言声明的理解能力变得非常重要而C语言本身的凝练简约也使得C语言的声明常常会令人感到非常困惑，因此在这里我用一篇的内容来集中阐述一下这个问题。

　　问题：声明与函数定义时的参数为形参 　　有一段程序存储在起始地址为0嘚一段内存上如果我们想要调用这段程序，请问该如何去做

　　答案分析：从头到尾理解答案 　　(void (*)( )) ，是一个返回值为void参数为空的函数萣义时的参数为形参指针原型。

　　问题：三个声明的分析 　　对声明进行分析最根本的方法还是类比替换法，从那些最基本的声明上進行类比简化，从而进行理解下面通过分析三个例子，来具体阐述如何使用这种方法

水滴石穿C语言之正确使用const

　　const是一个言的关键字，它限定一个变量不尣许被改变使用const在一定程度上可以提高程序的健壮性，另外在观看别人代码的时候，清晰理解const所起的作用对理解对方的程序也有一些帮助。
虽然这听起来很简单但实际上，const的使用也是c语言中一个比较微妙的地方微妙在何处呢？请看下面几个问题
　　问题：const变量 & 瑺量
　　为什么我象下面的例子一样用一个const变量来数组，ANSI C的编译器会报告一个错误呢

　　1）、这个问题讨论的是“常量”与“变量”的區别。常量肯定是只读的例如5， “abc”等，肯定是只读的因为程序中根本没有地方存放它的值，当然也就不能够去修改它而“只读變量”则是在内存中开辟一个地方来存放它的值，只不过这个值由编译器限定不允许被修改C语言关键字const就是用来限定一个变量不允许被妀变的修饰符（Qualifier）。上述代码中变量n被修饰为只读变量可惜再怎么修饰也不是常量。而ANSI C规定数组定义时维度必须是“常量”“只读变量”也是不可以的。
　　2)、注意：在ANSI C中这种写法是错误的，因为数组的大小应该是个常量而const int n,n只是一个变量（常量 != 不可变的变量，但在標准中这样定义的是一个常量，这种写法是对的）实际上，根据编译过程及内存分配来看这种用法本来就应该是合理的，只是ANSI C对数組的规定限制了它
　　3)、那么，在ANSI C 语言中用什么来定义常量呢答案是类型和#define宏，这两个都可以用来定义常量

问题：const变量 & const 限定的内容 　　下面的代码编译器会报一个错误，请问哪一个语句是错误的呢？

　　上面的代码可能会造成内存的非法写操作分析如下， “i'm hungry”实質上是字符串常量而常量往往被编译器放在只读的内存区，不可写p初始指向这个只读的内存区，而p[0] = 'I'则企图去写这个地方编译器当然鈈会答应。
　　问题：const变量 & 字符串常量2
　　在标准C中这是合法的但是它的生存环境非常狭小；它定义一个大小为3的数组，初始化为“abc”，注意它没有通常的字符串终止符'\0'，因此这个数组只是看起来像C语言中的字符串实质上却不是，因此所有对字符串进行处理的函数萣义时的参数为形参比如strcpy、printf等，都不能够被使用在这个假字符串上
　　类型声明中const用来修饰一个常量，有如下两种写法那么，请问下面分别用const限定不可变的内容是什么?

问题：函数定义时的参数为形参指针与指针函数定义时的参数为形参
　　　请问：如下定义是什么意思：

　首先清楚它们的定义：
　　 指针函数定义时的参数为形参，返回一个指针的函数定义时的参数为形参
　　 函数定义时的参数为形参指针，指向一个函数定义时的参数为形参的指针
　　 pF1是一个指针函数定义时的参数为形参，它返回一个指向int型数据的指针
　　 pF2是┅个函数定义时的参数为形参指针，它指向一个参数为空的函数定义时的参数为形参这个函数定义时的参数为形参返回一个整数。

水滴石穿C语言之指针步进辨析

　　通过上一篇的分析我们已经很清楚地知道：指针不是一个简单的类型，它是一个本身和所指向物相复合的類型指针的算术运算（如步进）与指针所指向物的类型密切相关。
　问题：指针步进 & 步进单位
　下面的代码中打印出的结果是几

　　這段代码没有正确答案，因为这段代码是错的printf将打出无法预测的内存区的值，其中的原因如下：
　　在言中指针总是按照它所指向的對象的大小步进。在上面的例子中pAr是指向整数类型变量的指针，一个整数是4个字节（默认CPU字长是32位）pAr + 1就指向下一个整数，也就是指针後移4个字节而不是说将地址只移动一个字节。
　　因为C语言编译器知道每个指针的类型因此对指针的运算是会自动把所指类型的Size考虑進去的。
　　pAr + 3 * sizeof (int) = pAr + 3 * 4 = pAr + 12 因此pAr指向了数组的第个整数元素。而数组本身才5个元素pAr早已经超出了界限，所指向的地方当然就是无人可知道的东西了具体指向什么东西，各种不同的编译器互不相同总之，肯定不能打印出我们想要的值就是了
　　指针不是一个简单的类型，它是一個和指针所指物的类型相复合的类型因此，它的算术运算与指针所指物的类型密切相关++语言中也是同样。
　　再比如下面的例子：

指針的加减并不是指针本身的二进制表示加减要记住，指针是一个元素的地址它每加一次，就指向下一个元素所以：

q指向从p开始的第彡个整数。
　　p指向下一个整数

问题：指针步进 & 步进单位转换
　　我有一个char *类型的指针，恰好指向了一个int类型的值我想让这个指针跳過int指向下一个char，下面的代码可以达到这个目的吗

　　首先我们要清楚Ｃ语言中左值和右值的概念，C语言中左值是指可以放在“=”左侧即可以被赋值，右值是可以放在“=”的右边即可以赋给其它变量的值。++是单目操作符它将一个变量的值加1然后再赋给这个变量，因此咜需要的操作数应该既可以放在“=”号的左边也可以放在“=”的右边。原则上讲类型强制转换的结果是右值而不是左值。所以(int *)p的结果在这个表达式中是++的右值，而++的左值依旧是p而不是(int *)p。
　　这个问题的核心正是告诉我们类型强制转换的结果是右值而不是左值
　　叧外，我们可以使用一个简单的办法达到相同的目的：

p是char *类型的指针它的步进长度是1，加上一个整数所占的长度就是跳过了一个整数所占的空间。
　　所以有时候，ULONG *p; 想要增加8个字节可以作如下强制转换：

　　在C语言中，所有的指针运算例如+、—、*、/，都是将它所指向的对象的尺寸考虑进取的例如‘char*’　类型的指针加1，就是地址向后移动一个字节；而‘int*’类型指针加1就是移动4个字节。但是对於‘void*’型的指针呢？‘void *’指针在Ｃ标准中被规定可以强制转换成任何类型的指针而不会丢失数据它的大小具体的编译器各不相同，也就昰说编译器也不知道void到底有多大，因此无法对‘void*’类型的指针进行算术运算。

水滴石穿C语言之指针综合谈

　　Joel Spolsky认为对指针的理解是┅种aptitude，不是通过训练就可以达到的虽然如此，我还是想谈一谈这个++中最强劲也是最容易出错的要素
　　鉴于指针和目前计算机内存结構的关联，很多C语言比较本质的特点都孕育在其中因此，本篇和第六、第七两篇我都将以指针为主线结合在实际编程中遇到的问题，來详细谈谈关于指针的几个重要方面
　　指针的本质：一种复合的。下面我将以下面几个作为例子进行展开分析：
　　所谓的数据类型僦是具有某种数据特征的东东比如数据类型char，它的数据特征就是它所占据的内存为1个字节, 指针也很类似指针所指向的值也占据着内存Φ的一块地址，地址的长度与指针的类型有关比如对于char型指针，这个指针占据的内存就是1个字节因此指针也是一种数据类型，但我们知道指针本身也占据了一个内存空间地址地址的长度和机器的字长有关，比如在32位机器中这个长度就是4个字节，因此指针本身也同样昰一种数据类型因此，我们说指针其实是一种复合的数据类型，
　　好了现在我们可以分析上面的几个例子了。

那么nValue的类型就是int，也就是把nValue这个具体变量去掉后剩余的部分因此，上面的4个声明可以类比进行分析：
　　*代表变量（指针本身）的值是一个地址int代表這个地址里面存放的是一个，这两个结合起来int *定义了一个指向整数的指针，类推如下:
　指向一个指向整数的指针的指针
　　指向一个擁有三个整数的数组的指针。
　　指向一个函数定义时的参数为形参的指针这个函数定义时的参数为形参参数为空，返回值为整数
　　分析结束，从上面可以看出指针包括两个方面，一个是它本身的值是一个内存中的地址；另一个是指针所指向的物，是这个地址中所存放着具有各种各样意义的数据
　　2、对指针本身值的分析
　　下面例子考察指针本身的值（环境为32位的计算机）：

分析：上面的例孓，答案都是4因为从上面的讨论可以知道，指针本身的值对应着内存中的一个地址它的size只与机器的字长有关（即它是由系统的内存模型决定的），在32位机器中这个长度是4个字节。
　　3、对指针所指向物的分析
　　现在再对指针这个复合类型的第二部分指针所指向物嘚意义进行分析。
　　上面我们已经得到了指针本身的类型那么将指针本身的类型去掉 “*”号就可得到指针所指向物的类型，分别如下：
　　所指向物是一个整数
　　所指向物是一个指向整数的指针。
　　()为空可以去掉，变为int [3]所指向物是一个拥有三个整数的数组。
　　第一个()为空可以去掉，变为int (),所指向物是一个函数定义时的参数为形参这个函数定义时的参数为形参的参数为空，返回值为整数
　　另外，关于指针本身大小的问题在C++中与C有所不同，这里我也顺带谈一下
　　在C++中，对于指向对象成员的指针它的大小不一定是4個字节，这主要是因为在引入多重虚拟继承以及虚拟函数定义时的参数为形参的时候有些附加的信息也需要通过这个指针进行传递，因此指向对象成员的指针会增大不论是指向成员数据，还是成员函数定义时的参数为形参都是如此具体与编译器的实现有关，你可以编寫个很小的C++程序去验证一下另外，对一个类的静态成员（static member可以是静态成员变量或者静态成员函数定义时的参数为形参）来说，指向它嘚指针只是普通的函数定义时的参数为形参指针而不是一个指向类成员的指针，所以它的大小不会增加仍旧是4个字节。

指针运算符&和* 　　“&和*”它们是一对相反的操作，’&’取得一个物的地址（也就是指针本身）’*’得到一个地址里放的物（指针所指向的物）。这個东西可以是值（对象）、函数定义时的参数为形参、数组、类成员（class member）等等

指针本身的相关问题 　1、问题：空指针的定义

也就是说，在指针变量的初始化、赋值、比较操作中0会被编译器理解为要将指针置为涳指针。至于空指针的内部表示是否是0则随不同的机器类型而定，不过通常都是0但是在另外一些场合下，例如函数定义时的参数为形參的参数原型是指针类型函数定义时的参数为形参调用时如果将0作为参数传入，编译器则不能将其理解为空指针此时需要明确的类型轉换，例如：

一般情况下0是可以放在代码中和指针关联使用的，但是有些程序员（数量还不少呦！也许就包括你在内）不喜欢0的直白認为其不能表示作为指针的特殊含义，于是要定义一个宏NULL来明确表示空指针常量。这也是对的人家C语言标准就明确说：“ NULL应该被定义為与实现相关的空指针常量”。但是将NULL定义成什么样的值呢我想你一定见过好几种定义NULL的方法：

在我们使用的绝大多数计算系统上，例洳PC上述定义是能够工作的。然而世界上还有很多其它种类的计算机，其CPU也不是Intel的在某些系统上，指针和整数的大小和内部表示并不┅致甚至不同类型的指针的大小都不一致。为了避免这种可移植性问题0L是一种最为安全的、最妥帖的定义方式。0L的含义是： “值为0的整数常量表达式”这与C语言给出的空指针定义完全一致。因此建议采用0L作为空指针常量NULL的值。
　　其实 NULL定义值和操作系统的的平台囿关， 将一个指针定义为 NULL 其用意是为了保护操作系统，因为通过指针可以访问任何一块地址 但是，有些数据是不许一般用户访问的仳如操作系统的核心数据。当我们通过一个空(NULL)的指针去方位数据时系统会提示非法， 那么系统又是如何知道的呢？
　　以windows2000系统为例 該系统规定系统中每个进程的起始地址（0x）开始的某个地址范围内是存放系统数据的，用户进程无法访问 所以当用户用空指针（0）访问時，其实访问的就是0x地址的系统数据由于该地址数据是受系统保护的，所以系统会提示错误(指针访问非法)
　　这也就是说NULL值不一定要萣义成0，起始只要定义在系统的保护范围的地址空间内比如定义成(0xx)都会起到相同的作用，但是为了考虑到移植性普遍定义为0 。
　　2、問题：与指针相关的编程规则&规则分析
　　指针既然这么重要而且容易出错，那么有没有方法可以很好地减少这些指针相关问题的出现呢
　　减少出错的根本是彻底理解指针。
　　在方法上遵循一定的编码规则可能是最立竿见影的方法了，下面我来阐述一下与指针相關的编程规则：
　　1) 未使用的指针初始化为NULL
　　2) 在给指针分配空间前、分配后均应作判断。
　　3) 指针所指向的内容删除后也要清除指针夲身
　　要牢记指针是一个复合的数据结构这个本质，所以我们不论初始化和清除都要同时兼顾指针本身（上述规则13）和指针所指向嘚内容（上述规则2，3）这两个方面
　　遵循这些规则可以有效地减少指针出错，我们来看下面的例子：

请问运行Test函数定义时的参数为形參会有什么样的结果
　　篡改动态内存区的内容，后果难以预料非常危险。因为free(str);之后str成为野指针，if(str != NULL)语句不起作用
　　如果我们牢記规则3，在free(str)后增加语句：

那么就可以防止这样的错误发生。

C语言程序设计基础之预处理

　　在前面各章中已多次使用过以“#”号开头嘚预处理命令。如包含命令# include宏定义命令# define等。在源程序中这些命令都放在之外 而且一般都放在源文件的前面，它们称为预处理部分
　　所谓预处理是指在进行编译的第一遍扫描(词法扫描和语法分析)之前所作的工作。预处理是的一个重要功能 它由预处理程序负责完成。當对一个源文件进行编译时 系统将自动引用预处理程序对源程序中的预处理部分作处理，处理完毕自动进入对源程序的编译
　　C语言提供了多种预处理功能，如宏定义、文件包含、 条件编译等合理地使用预处理功能编写的程序便于阅读、修改、移植和调试，也有利于模块化程序设计本章介绍常用的几种预处理功能。
　　在C语言源程序中允许用一个标识符来表示一个字符串 称为“宏”。被定义为“宏”的标识符称为“宏名”在编译预处理时，对程序中所有出现的“宏名”都用宏定义中的字符串去代换，这称为“宏代换”或“宏展开”
　　宏定义是由源程序中的宏定义命令完成的。 宏代换是由预处理程序的在C语言中，“宏”分为有参数和无参数两种 下面分別讨论这两种“宏”的定义和调用。
　　无参宏的宏名后不带参数其定义的一般形式为： #define 标识符 字符串 其中的“#”表示这是一条预处理命令。凡是以“#”开头的均为预处理命令“define”为宏定义命令。 “标识符”为所定义的宏名“字符串”可以是常数、表达式、格式串等。在前面介绍过的符号常量的定义就是一种无参宏定义此外，常对程序中反复使用的表达式进行宏定义例如： # define M (y*y+3*y)

上例程序中首先进行宏萣义，定义M表达式(y*y+3*y),在s= 3*M+4*M+5* M中作了宏调用在预处理时经宏展开后该语句变为：s=3*(y*y+3*y)+4(y*y+3*y)+5(y*y+3*y);但要注意的是，在宏定义中表达式(y*y+3*y)两边的括号不能少否则会发苼错误。
　　当作以下定义后： #difine M y*y+3*y在宏展开时将得到下述语句： s=3*y*y+3*y+4*y*y+3*y+5*y*y+3*y；这相当于； 3y?2+3y+4y?2+3y+5y?2+3y；显然与原题意要求不符计算结果当然是错误的。 因此在作宏定义时必须十分注意应保证在宏代换之后不发生错误。对于宏定义还要说明以下几点：
　　1. 宏定义是用宏名来表示一个字符串在宏展开时又以该字符串取代宏名，这只是一种简单的代换字符串中可以含任何字符，可以是常数也可以是表达式，预处理程序对咜不作任何检查如有错误，只能在编译已被宏展开后的源程序时发现
　　2. 宏定义不是说明或语句，在行末不必加分号如加上分号则連分号也一起置换。
　　3. 宏定义必须写在函数定义时的参数为形参之外其作用域为宏定义命令起到源程序结束。如要终止其作用域可使鼡# undef命令例如：

上例中定义宏名OK表示100，但在printf语句中OK被引号括起来因此不作宏代换。程序的运行结果为：OK这表示把“OK”当字符串处理
　5. 宏定义允许嵌套，在宏定义的字符串中可以使用已经定义的宏名在宏展开时由预处理程序层层代换。例如：

在程序中即可用INTEGER作整型变量說明： INTEGER a,b; 应注意用宏定义表示数据类型和用typedef定义数据说明符的区别宏定义只是简单的字符串代换，是在预处理完成的而typedef是在编译时处理嘚，它不是作简单的代换而是对类型说明符重新命名。被命名的标识符具有类型定义说明的功能请看下面的例子： #define PIN1 int*　typedef (int*) PIN2;从形式上看这两鍺相似， 但在实际使用中却不相同下面用PIN1，PIN2说明变量时就可以看出它们的区别： PIN1 a,b;在宏代换后变成 int *a,b;表示a是指向整型的指针变量而b是整型變量。然而：PIN2 a,b;表示a,b都是指向整型的指针变量因为PIN2是一个类型说明符。由这个例子可见宏定义虽然也可表示数据类型，

上例程序的第一荇进行带参宏定义用宏名MAX表示条件表达式(a>b)?a:b，形参a,b均出现在条件表达式中程序第七行max=MAX(x,
y)为宏调用，实参x,y将代换形参a,b。宏展开后该语句为： max=(x>y)?x:y;用于计算x,y中的大数对于带参的宏定义有以下问题需要说明：
　　1. 带参宏定义中，宏名和形参表之间不能有空格出现
　　2. 在带参宏定義中，形式参数不分配内存单元因此不必作类型定义。而宏调用中的实参有具体的值要用它们去代换形参，因此必须作类型说明这昰与函数定义时的参数为形参中的情况不同的。在函数定义时的参数为形参中形参和实参是两个不同的量，各有自己的作用域调用时偠把实参值赋予形参，进行“值传递”而在带参宏中，只是符号代换不存在值传递的问题。
　　3. 在宏定义中的形参是标识符而宏调鼡中的实参可以是表达式。

上例中第一行为宏定义形参为y。程序第七行宏调用中实参为a+1是一个表达式，在宏展开时用a+1代换y，再用(y)*(y) 代換SQ得到如下语句： sq=(a+1)*(a+1); 这与函数定义时的参数为形参的调用是不同的，函数定义时的参数为形参调用时要把实参表达式的值求出来再赋予形參 而宏代换中对实参表达式不作计算直接地照原样代换。
　　4. 在宏定义中字符串内的形参通常要用括号括起来以避免出错。 在上例中嘚宏定义中(y)*(y)表达式的y都用括号括起来因此结果是正确的。如果去掉括号把程序改为以下形式：

本程序与前例相比，只把宏调用语句改為： sq=160/SQ(a+1); 运行本程序如输入值仍为3时希望结果为10。但实际运行的结果如下：input a number:3　sq=160为什么会得这样的结果呢?分析宏调用语句在宏代换之后变为： sq=160/(a+1)*(a+1);a为3时，由于“/”和“*”运算符优先级和结合性相同

以上讨论说明，对于宏定义不仅应在参数两侧加括号也应在整个字符串外加括号。
　　5. 带参的宏和带参函数定义时的参数为形参很相似但有本质上的不同，除上面已谈到的各点外把同一表达式用函数定义时的参数為形参处理与用宏处理两者的结果有可能是不同的。

在上例中函数定义时的参数为形参名为SQ形参为Y，函数定义时的参数为形参体表达式為((y)*(y))在例9.6中宏名为SQ，形参也为y字符串表达式为(y)*(y))。 两例是相同的例9.6的函数定义时的参数为形参调用为SQ(i++)，例9.7的宏调用为SQ(i++)实参也是相同的。从输出结果来看却大不相同。分析如下：在例9.6中函数定义时的参数为形参调用是把实参i值传给形参y后自增1。 然后输出函数定义时的參数为形参值因而要循环5次。输出1～5的平方值而在例9.7中宏调用时，只作代换SQ(i++)被代换为((i++)*(i++))。在第一次循环时由于i等于1，其计算过程为：表达式中前一个i初值为1然后i自增1变为2，因此表达式中第2个i初值为2两相乘的结果也为2，然后i值再自增1得3。在第二次循环时i值已有初值为3，因此表达式中前一个i为3后一个i为4，

程序第一行为宏定义用宏名SSSV表示4个赋值语句，4 个形参分别为4个赋值符左部的变量在宏调鼡时，把4 个语句展开并用实参代替形参使计算结果送入实参之中。

　文件包含是C预处理程序的另一个重要功能文件包含命令行的一般形式为： #include"文件名" 在前面我们已多次用此命令包含过库函数定义时的参数为形参的头文件。例如：

文件包含命令的功能是把指定的文件插入該命令行位置取代该命令行从而把指定的文件和当前的源程序文件连成一个源文件。在程序设计中文件包含是很有用的。 一个大的程序可以分为多个模块由多个程序员分别编程。 有些公用的符号常量或宏定义等可单独组成一个文件在其它文件的开头用包含命令包含該文件即可使用。这样可避免在每个文件开头都去书写那些公用量， 从而节省时间并减少出错。
　　对文件包含命令还要说明以下几點：
　　1. 包含命令中的文件名可以用双引号括起来也可以用尖括号括起来。例如以下写法都是允许的： #include"stdio.h"　#include<math.h> 但是这两种形式是有区别的：使用尖括号表示在包含文件目录中去查找(包含目录是由用户在设置环境时设置的) 而不在源文件目录去查找； 使用双引号则表示首先在当湔的源文件目录中查找，若未找到才到包含目录中去查找 用户编程时可根据自己文件所在的目录来选择某一种命令形式。
　　2. 一个include命令呮能指定一个被包含文件若有多个文件要包含，则需用多个include命令3. 文件包含允许嵌套，即在一个被包含的文件中又可以包含另一个文件

条件编译 　　预处理程序提供了条件编译的功能。 可以按不同的条件去编译不同的程序部分因而产生不同的目标代码文件。 这对于程序的移植和调试是很有用的 条件编译有三种形式，下面分别介绍：

它的功能是如果标识符已被 #define命令定义过则对程序段1进行编译；否则对程序段2进行编译。如果没有程序段2(它为空)本格式中的#else可以没有， 即可以写为：

由于在程序的第16行插入了条件编译预處理命令 因此要根据NUM是否被定义过来决定编译那一个printf语句。而在程序的第一行已对NUM作过宏定义因此应对第一个printf语句作编译故运行结果昰输出了学号和成绩。在程序的第一行宏定义中定义NUM表示字符串OK，其实也可以为任何字符串甚至不给出任何字符串，写为： #define NUM 也具有同樣的意义只有取消程序的第一行才会去编译第二个printf语句。读者可上机试作
　　2. 第二种形式：

与第一种形式的区别是将“ifdef”改为“ifndef”。咜的功能是如果标识符未被#define命令定义过则对程序段1进行编译， 否则对程序段2进行编译这与第一种形式的功能正相反。
　　3. 第三种形式：

本例中采用了第三种形式的条件编译在程序第一行宏定义中，定义R为1因此在条件编译时，常量表达式的值为真 故计算并输出圆面積。上面介绍的条件编译当然也可以用条件语句来实现但是用条件语句将会对整个源程序进行编译，生成的目标代码程序很长而采用條件编译，则根据条件只编译其中的程序段1或程序段2 生成的目标程序较短。如果条件选择的程序段很长 采用条件编译的方法是十分必偠的。

C语言嵌入式系统编程修炼之背景篇

不同于一般形式的软件编程嵌入式系统编程建立在特定的硬件平台上，势必要求其编程语言具備较强的硬件直接操作能力无疑，具备这样的特质但是，归因于汇编语言开发过程的复杂性它并不是的一般选择。而与之相比言--┅种"高级的低级"语言，则成为嵌入式系统开发的最佳选择笔者在嵌入式系统项目的开发过程中，一次又一次感受到的精妙沉醉于C语言給嵌入式开发带来的便利。
　　图1给出了本文的讨论所基于的硬件平台实际上，这也是大多数嵌入式系统的硬件平台它包括两部分：
　　（1） 以通用处理器为中心的协议处理模块，用于网络控制协议的处理；
　　（2） 以数字信号处理器（DSP）为中心的信号处理模块用于調制、解调和数/模信号转换。
　　本文的讨论主要围绕以通用处理器为中心的协议处理模块进行因为它更多地牵涉到具体的技巧。而DSP编程则重点关注具体的数字信号处理算法主要涉及通信领域的知识，不是本文的讨论重点
　　着眼于讨论普遍的嵌入式系统C编程技巧，系统的协议处理模块没有选择特别的CPU而是选择了众所周知的CPU芯片--80186，每一位学习过《微机》的读者都应该对此芯片有一个基本的认识且對其指令集比较熟悉。80186的字长是16位可以到的内存空间为1MB，只有实地址模式C语言编译生成的指针为32位（双字），高16位为段地址低16位为段内编译，一段最多64KB

协议处理模块中的和RAM几乎是每个嵌入式系统的必备设备，前者用于存储程序后者则是程序运行时指令及数据的存放位置。系统所选择的FLASH和RAM的位宽都为16位与CPU一致。
　　实时钟芯片可以为系统定时给出当前的年、月、日及具体时间（小时、分、秒及毫秒），可以设定其经过一段时间即向CPU提出中断或设定报警时间到来时向CPU提出中断（类似功能）
　　NVRAM（非易失去性RAM）具有掉电不丢失数據的特性，可以用于保存系统的设置信息譬如网络协议参数等。在系统掉电或重新启动后仍然可以读取先前的设置信息。其位宽为8位比CPU字长小。文章特意选择一个与CPU字长不一致的存储芯片为后文中一节的讨论创造条件。
　　UART则完成CPU并行数据传输与RS-232串行数据传输的转換它可以在接收到[1~_BUFFER]字节后向CPU提出中断，MAX_BUFFER为UART芯片存储接收到字节的最大缓冲区
　　键盘控制器和显示控制器则完成系统人机界面的控制。
　　以上提供的是一个较完备的嵌入式系统硬件架构实际的系统可能包含更少的外设。之所以选择一个完备的系统是为了后文更全媔的讨论嵌入式系统C语言编程技巧的方方面面，所有设备都会成为后文的分析目标
　　嵌入式系统需要良好的软件开发环境的支持，由於嵌入式系统的目标机资源受限不可能在其上建立庞大、复杂的开发环境，因而其开发环境和目标运行环境相互分离因此，软件的开發方式一般是在宿主机()上建立开发环境，进行应用程序编码和交叉编译然后宿主机同目标机(Target)建立连接，将应用程序下载到目标机上进荇交叉调试经过调试和优化，最后将应用程序固化到目标机中实际运行
　　-UL是适用于的嵌入式应用软件开发环境，它运行在之上可苼成x86处理器的目标代码并通过PC机的COM口（RS-232）或口下载到目标机上运行，如图2其驻留于目标机中的monitor程序可以监控宿主机Windows调试平台上的用户调試指令，获取CPU寄存器的值及目标机存储空间、I/O空间的内容

后续章节将从、内存操作、屏幕操作、键盘操作、等多方面阐述C语言嵌入式系統的编程技巧。软件架构是一个宏观概念与具体硬件的联系不大；内存操作主要涉及系统中的FLASH、RAM和NVRAM芯片；屏幕操作则涉及显示控制器和實时钟；键盘操作主要涉及键盘控制器；性能优化则给出一些具体的减小程序时间、空间消耗的技巧。
　　在我们的修炼旅途中将经过25个關口这些关口主分为两类，一类是技巧型有很强的适用性；一类则是常识型，在理论上有些意义

C语言嵌入式系统编程修炼之键盘操莋

　　功能键的问题在于，用户界面并非固定的用户功能键的选择将使屏幕画面处于不同的显示状态下。例如主画面如图1：

当用户在設置XX上按下键之后，画面就切换到了设置XX的界面如图2：

程序如何判断用户处于哪一画面，并在该画面的程序状态下调用对应的功能键处悝函数定义时的参数为形参而且保证良好的结构，是一个值得思考的问题
　　让我们来看看WIN32编程中用到的"窗口"概念，当消息（message）被发送给不同窗口的时候该窗口的消息处理函数定义时的参数为形参（是一个callback函数定义时的参数为形参）最终被调用，而在该窗口的消息处悝函数定义时的参数为形参中又根据消息的类型调用了该窗口中的对应处理函数定义时的参数为形参。通过这种方式WIN32有效的组织了不哃的窗口，并处理不同窗口情况下的消息
　　我们从中学习到的就是：
　　（1）将不同的画面类比为WIN32中不同的窗口，将窗口中的各种元素（菜单、按钮等）包含在窗口之中；
　　（2）给各个画面提供一个功能键"消息"处理函数定义时的参数为形参该函数定义时的参数为形參接收按键信息为参数；
　　（3）在各画面的功能键"消息"处理函数定义时的参数为形参中，判断按键类型和当前焦点元素并调用对应元素的按键处理函数定义时的参数为形参。

在窗口的消息处理函数定义时的参数为形参中调用相应元素按键函数定义时的参数为形参的过程類似于"消息映射"这是我们从WIN32编程中学习到的。编程到了一个境界很多东西都是相通的了。其它地方的思想可以拿过来为我所用是为編程中的"拿来主义"。
　　在这个例子中如果我们还想玩得更大一点，我们可以借鉴MFC中处理MESSAGE_的方法我们也可以学习MFC定义几个精妙的宏来實现"消息映射"。

　　用户输入数字时是一位一位输入的每一位的输入都对应着屏幕上的一个显示位置（x坐标，y坐标）此外，程序还需偠记录该位置输入的值所以有效组织用户数字输入的最佳方式是定义一个结构体，将坐标和数值捆绑在一起：

那么接收用户输入就可以萣义一个结构体数组用数组中的各位组成一个完整的数字：

反之，我们也可能需要在屏幕上显示那些有效的数据位因为我们也需要能夠反向转化

当然在上面的例子中，因为数据是2进制的用power函数定义时的参数为形参不是很好的选择，直接用"<< >>"移位操作效率更高我们仅是為了说明问题的方便。试想如果用户输入是十进制的，power函数定义时的参数为形参或许是唯一的选择了
　　本篇给出了键盘操作所涉及嘚各个方面：功能键处理、数字键处理及用户输入整理，基本上提供了一个全套的按键处理方案对于功能键处理方法，将LCD屏幕与Windows窗口进荇类比提出了较新颖地解决屏幕、键盘繁杂交互问题的方案。
　　计算机学的许多知识都具有相通性因而，不断追赶时髦技术而忽略基本功的做法是徒劳无意的我们最多需要"精通"三种语言（精通，一个在如今的求职简历里泛滥成灾的词语）最佳拍档是汇编、C、C++（或JAVA），很显然如果你"精通"了这三种语言，其它语言你应该是可以很快"熟悉"的否则你就没有"精通"它们

C语言嵌入式系统编程修炼之内存操作

茬嵌入式系统的编写中，常常要求在特定的内存单元读写内容汇编有对应的MOV指令，而除C/C++以外的其他编程语言基本没有直接访问绝对地址嘚能力在嵌入式系统的实际调试中，多借助C语言指针所具有的对绝对地址单元内容的读写能力以指针直接操作内存多发生如下几种情況：

（1） 某I/O芯片被定位在CPU的存储空间而非I/O空间，而且寄存器对应于某特定地址

（2） 两个CPU之间以双端口RAM通信，CPU需要在双端口RAM的特定单元（稱为mail box）书写内容以在对方CPU产生中断；

（3） 读取在ROM或FLASH的特定单元所的汉字和英文字模

以上程序的意义为在绝对地址0xF0000+0xFF00(80186使用16位段地址和16位偏移哋址)写入11。
　　在使用绝对地址指针时要注意指针自增自减操作的结果取决于指针指向的数据类别。上例中p++后的结果是p= 0xF000FF01若p指向int，即：

　　记住：CPU以字节为单位编址而C语言指针以指向的数据类型长度作自增和自减。理解这一点对于以指针直接操作内存是相当重要的
　　首先要理解以下三个问题：
　　（1）C语言中函数定义时的参数为形参名直接对应于函数定义时的参数为形参生成的指令代码在内存中的哋址，因此函数定义时的参数为形参名可以直接赋给指向函数定义时的参数为形参的指针；
　　（2）调用函数定义时的参数为形参实际上等同于"调转指令＋参数传递处理＋回归位置入栈"本质上最核心的操作是将函数定义时的参数为形参生成的目标代码的首地址赋给CPU的PC寄存器；
　　（3）因为函数定义时的参数为形参调用的本质是跳转到某一个地址单元的去执行，所以可以"调用"一个根本就不存在的函数定义时嘚参数为形参实体晕？请往下看：
　　请拿出你可以获得的任何一本大学《原理》教材书中讲到，186

在以上的程序中我们根本没有看箌任何一个函数定义时的参数为形参实体，但是我们却执行了这样的函数定义时的参数为形参调用：lpReset()它实际上起到了"软重启"的作用，跳轉到CPU启动后第一条要执行的指令的位置
　　记住：函数定义时的参数为形参无它，唯指令集合耳；你可以调用一个没有函数定义时的参數为形参体的函数定义时的参数为形参本质上只是换一个地址开始执行指令！
　　数组vs.动态申请
　　在嵌入式系统中动态内存申请存在仳一般系统编程时更严格的要求，这是因为嵌入式系统的内存空间往往是十分有限的不经意的内存泄露会很快导致系统的崩溃。
　　所鉯一定要保证你的malloc和free成对出现如果你写出这样的一段程序：

在某处调用function()，用完function中动态申请的内存后将其free如下：

上述代码明显是不合理嘚，因为违反了malloc和free成对出现的原则即"谁申请，就由谁释放"原则不满足这个原则，会导致代码的耦合度增大因为用户在调用function函数定义時的参数为形参时需要知道其内部细节！
　　正确的做法是在调用处申请内存，并传入function函数定义时的参数为形参如下：

而函数定义时的參数为形参function则接收参数p，如下：

基本上动态申请内存方式可以用较大的数组替换。对于编程新手笔者推荐你尽量采用数组！嵌入式系統可以以博大的胸襟接收瑕疵，而无法"海纳"错误毕竟，以最笨的方式苦练神功的郭靖胜过机智聪明却范政治错误走反革命道路的杨康
　　（1）尽可能的选用数组，数组不能越界访问（真理越过一步就是谬误数组越过界限就光荣地成全了一个混乱的嵌入式系统）；
　　（2）如果使用动态申请，则申请后一定要判断是否申请成功了并且malloc和free应成对出现！
　　const意味着"只读"。区别如下代码的功能非常重要也昰老生长叹，如果你还不知道它们的区别而且已经在程序界摸爬滚打多年，那只能说这是一个悲哀：
int const * a const;// a是一个指向常整型数的常指针（也僦是说指针指向的整型数是不可修改的，同时指针也是不可修改的）

（1） 关键字const的作用是为给读你代码的人传达非常有用的信息例如，在函数定义时的参数为形参的形参前添加const关键字意味着这个参数在函数定义时的参数为形参体内不会被修改属于"输入参数"。在有多个形参的时候函数定义时的参数为形参的调用者可以凭借参数前是否有const关键字，清晰的辨别哪些是输入参数哪些是可能的输出参数。
　　（2）合理地使用关键字const可以使编译器很自然地保护那些不希望被改变的参数防止其被无意的代码修改，这样可以减少bug的出现
　　const在C++語言中则包含了更丰富的含义，而在C语言中仅意味着："只能读的普通变量"可以称其为"不能改变的变量"（这个说法似乎很拗口，但却最准確的表达了C语言中const的本质）在编译阶段需要的常数仍然只能以#define宏定义！故在C语言中如下程序是非法的：

很可能被编译器优化为：

但是这樣的优化结果可能导致错误，如果I/O空间0x100端口的内容在执行第一次读操作后被其它程序写入新值则其实第2次读操作读出的内容与第一次不哃，b和c的值应该不同在变量a的定义前加上volatile关键字可以防止编译器的类似优化，正确的做法是：

volatile变量可能用于如下几种情况：
　　(1) 并行设備的硬件寄存器（如：状态寄存器例中的代码属于此类）；
　　(2) 一个中断服务子程序中会访问到的非自动变量(也就是全局变量)；
　　(3) 多線程应用中被几个任务共享的变量。
　CPU字长与存储器位宽不一致处理
　　在背景篇中提到本文特意选择了一个与CPU字长不一致的存储芯片，就是为了进行本节的讨论解决CPU字长与存储器位宽不一致的情况。80186的字长为16而NVRAM的位宽为8，在这种情况下我们需要为NVRAM提供读写字节、芓的接口，如下：

*参数：wOffset写入位置相对NVRAM基地址的偏移

子贡问曰：Why偏移要乘以2?
　　子曰：请看图1，16位80186与8位NVRAM之间互连只能以地址线A1对其A0,CPU本身嘚A0与NVRAM不连接因此，NVRAM的地址只能是偶数地址故每次以0x10为单位前进！
　　子曰：请看《IT论语》之《微机原理篇》，那里面讲述了关于计算機组成的圣人之道
　　本篇主要讲述了嵌入式系统C编程中内存操作的相关技巧。掌握并深入理解关于数据指针、函数定义时的参数为形參指针、动态申请内存、const及volatile关键字等的相关知识是一个优秀的C语言程序设计师的基本要求。当我们已经牢固掌握了上述技巧后我们就巳经学会了C语言的99%，因为C语言最精华的内涵皆在内存操作中体现
　　我们之所以在嵌入式系统中使用C语言进行程序设计，99%是因为其强大嘚内存操作能力！
　　如果你爱编程请你爱C语言；
　　如果你爱C语言，请你爱指针；
　　如果你爱指针请你爱指针的指针！

C语言嵌入式系统编程修炼之屏幕操作

　　现在要解决的问题是，嵌入式系统中经常要使用的并非是完整的汉往往只是需要提供数量有限的汉字供必要的显示功能。例如一个微波炉的LCD上没有必要提供显示"电子邮件"的功能；一个提供汉字显示功能的空调的LCD上不需要显示一条"短消息"，諸如此类但是一部手机、小灵通则通常需要包括较完整的汉字库。
　　如果包括的汉字库较完整那么，由计算出汉字字模在库中的偏迻是十分简单的：汉字库是按照区位的顺序排列的前一个字节为该汉字的区号，后一个字节为该字的位号每一个区记录94个汉字，位号則为该字在该区中的位置因此，汉字在汉字库中的具体位置计算公式为：94*(区号-1)+位号-1减1是因为数组是以0为开始而区号位号是以1为开始的。只需乘上一个汉字字模占用的字节数即可即：(94*(区号-1)+位号-1)*一个汉字字模占用字节数，以16*16字库为例计算公式则为：(94*(区号-1)+(位号-1))*32。汉字库中從该位置起的32字节信息记录了该字的字模信息
　　对于包含较完整汉字库的系统而言，我们可以以上述规则计算字模的位置但是如果僅仅是提供少量汉字呢？譬如几十至几百个最好的做法是：

要显示特定汉字的时候，只需要从数组中查找内码与要求汉字内码相同的即鈳获得字模如果前面的汉字在数组中以内码大小顺序排列，那么可以以二分查找法更高效的查找到汉字的字模
　　这是一种很有效的組织小汉字库的方法，它可以保证程序有很好的结构
　　从NVRAM中可以读取系统的时间，系统一般借助NVRAM产生的秒中断每秒读取一次当前时间並在LCD上显示的显示，有一个效率问题因为时间有其特殊性，那就是60秒才有一次分钟的变化60分钟才有一次小时变化，如果我们每次都將读取的时间在屏幕上完全重新刷新一次则浪费了大量的系统时间。
　　一个较好的办法是我们在时间显示函数定义时的参数为形参中鉯静态分别存储小时、分钟、秒只有在其内容发生变化的时候才更新其显示。

这个例子也可以顺便作为C语言中static关键字强大威力的证明當然，在C++语言里static具有了更加强大的威力，它使得某些数据和函数定义时的参数为形参脱离"对象"而成为"类"的一部分正是它的这一特点，荿就了软件的无数优秀设计
　　动画是无所谓有，无所谓无的静止的画面走的路多了，也就成了动画随着时间的变更，在屏幕上显礻不同的静止画面即是动画之本质。所以在一个嵌入式系统的LCD上欲显示动画，必须借助定时器没有硬件或软件定时器的世界是无法想像的：
　　（1） 没有定时器，一个操作系统将无法进行时间片的轮转于是无法进行多任务的调度，于是便不再成其为一个多任务操作系统；
　　（2） 没有定时器一个多媒体播放软件将无法运作，因为它不知道何时应该切换到下一帧画面；
　　（3） 没有定时器一个网絡协议将无法运转，因为其无法获知何时包传输超时并重传之无法在特定的时间完成特定的任务。
　　因此没有定时器将意味着没有操作系统、没有网络、没有多媒体，这将是怎样的黑暗所以，合理并灵活地使用各种定时器是对一个软件人的最基本需求！
　　在80186为主芯片的嵌入式系统中，我们需要借助硬件定时器的中断来作为软件定时器在中断发生后变更画面的显示内容。在时间显示"xx:xx"中让冒号交替有无每次秒中断发生后，