C语言宏定义与预处理、函数和函数库(自己用)

一、C语言预处理

1、由源码到可执行程序的过程

源码.c文件 ->(预处理) ->与处理过的.i文件(本质还是.c) ->(编译)-> 汇编文件.S ->(汇编) -> 目标文件.o -> (链接)-> elf可执行文件

预处理用预处理器,编译用编译器,汇编用汇编器,链接用链接器,这几个工具再加上其他一些额外的会用到的可用工具,合起来叫编译工具链。gcc就是一个编译工具链。

2、预处理器的作用

帮编译器做一些编译前的杂事

3、编程中常见的预处理

(1)#include(#include <>和#include ""的区别)
(2)注释
(3)#if #elif #endif #ifdef
(4)宏定义

4、gcc中只预处理不编译的方法

(1)gcc编译时可以给一些参数来做一些设置,譬如gcc xx.c -o xx可以指定可执行程序的名称;譬如gcc xx.c -c -o xx.o可以指定只编译不连接,也可以生成.o的目标文件。
(2)gcc -E xx.c -o xx.i可以实现只预处理不编译。一般情况下没必要只预处理不编译,但有时候这种技巧可以用来帮助我们研究预处理过程,帮助debug程序。

#define pchar char*
typedef char* PCHAR 
int main(void)
{
	PCHAR p3;
	PCHAR p1,p2;
	
	pchar P6;
	pchar P4,P5;
	return 0;
}

在这里插入图片描述
结果

# 1 "a.c"
# 1 ""
# 1 ""
# 31 ""
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 32 "" 2
# 1 "a.c"


typedef char* PCHAR
int main(void)
{
 PCHAR p3;
 PCHAR p1,p2;

 char* P6;
 char* P4,P5;
 return 0;
}

总结:宏定义被预处理时的现象有:
第一,宏定义语句本身不见了(可见编译器根本就不认识#define,编译器根本不知道还有个宏定义);
第二,typedef重命名语言还在,说明它和宏定义是有本质区别的(说明typedef是由编译器来处理而不是预处理器处理的);

二、C语言预处理代码实

1、头文件包含

(1)#include <> 和 #include"“的区别:<>专门用来包含系统提供的头文件,”“用来包含自己写的头文件;更深层次来说:<>的话C语言编译器只会到系统指定目录(编译器中配置的或者操作系统配置的寻找目录)
(2)”"包含的头文件,编译器默认会先在当前目录下寻找相应的头文件,如果没找到然后再到系统指定目录去寻找,如果还没找到则提示文件不存在。
总结+注意:规则虽然允许用双引号来包含系统指定目录,但是一般的使用原则是:如果是系统指定的自带的用<>,如果是自己写的在当前目录下放着用"",如果是自己写的但是集中放在了一起专门存放头文件的目录下将来在编译器中用-I参数来寻找,这种情况下用<>。
(3)头文件包含的真实含义就是:在#include的那一行,将xx.h这个头文件的内容原地展开替换这一行#include语句。过程在预处理中进行。

2、注释

(1)注释是给人看的,不是给编译器看的。
(2)编译器既然不看注释,那么编译时最好没有注释的。实际上在预处理阶段,预处理器会拿掉程序中所有的注释语句,到了编译器编译阶段程序中其实已经没有注释了。

3、条件编译

条件编译中用的两种条件判定方法分别是#ifdef 和 #if
区别:#ifdef XXX判定条件成立与否时主要是看XXX这个符号在本语句之前有没有被定义,只要定义了(我们可以直接#define XXX或者#define XXX 12或者#define XXX YYY)这个符号就是成立的。
的格式是:#if (条件表达式),它的判定标准是()中的表达式是否为true还是flase,跟C中的if语句有点像。

三、宏定义

(1)宏定义的解析规则就是:在预处理阶段由预处理器进行替换,这个替换是原封不动的替换。
(2)宏定义替换会递归进行,直到替换出来的值本身不再是一个宏为止。
(3)一个正确的宏定义式子本身分为3部分:第一部分是#dedine ,第二部分是宏名 ,剩下的所有为第三部分。

#define X(a,b) ((a)*(b))

(4)宏可以带参数,称为带参宏。带参宏的使用和带参函数非常像,但是使用上有一些差异。在定义带参宏时,每一个参数在宏体中引用时都必须加括号,最后整体再加括号,括号缺一不可。

宏定义示例1:MAX宏,求2个数中较大的一个

#define MAX(a, b) (((a)>(b)) ? (a) : (b))

关键:
第一点:要想到使用三目运算符来完成。
第二点:注意括号的使用

宏定义示例1:SEC_PER_YEAR,用宏定义表示一年中有多少秒

#define SEC_PER_YEAR	(365*24*60*60UL)

关键:
第一点:当一个数字直接出现在程序中时,它的是类型默认是int
第二点:一年有多少秒,这个数字刚好超过了int类型存储的范围

1、带参宏和带参函数的区别(宏定义的缺陷)

(1)宏定义是在预处理期间处理的,而函数是在编译期间处理的。这个区别带来的实质差异是:宏定义最终是在调用宏的地方把宏体原地展开,而函数是在调用函数处跳转到函数中去执行,执行完后再跳转回来。

注:宏定义和函数的最大差别就是:宏定义是原地展开,因此没有调用开销;而函数是跳转执行再返回,因此函数有比较大的调用开销。所以宏定义和函数相比,优势就是没有调用开销,没有传参开销,所以当函数体很短(尤其是只有一句话时)可以用宏定义来替代,这样效率高。

(2)带参宏和带参函数的一个重要差别就是宏定义不会检查参数的类型,返回值也不会附带类型;而函数有明确的参数类型和返回值类型。当我们调用函数时编译器会帮我们做参数的静态类型检查,如果编译器发现我们实际传参和参数声明不同时会报警告或错误。
:用函数的时候程序员不太用操心类型不匹配因为编译器会检查,如果不匹配编译器会叫;用宏的时候程序员必须很注意实际传参和宏所希望的参数类型一致,否则可能编译不报错但是运行有误。

总结:宏和函数各有千秋,各有优劣。总的来说,如果代码比较多用函数适合而且不影响效率;但是对于那些只有一两句话的函数开销就太大了,适合用带参宏。但是用带参宏又有缺点:不检查参数类型。

2、内联函数和inline关键字

(1)内联函数通过在函数定义前加inline关键字实现。
(2)内联函数本质上是函数,所以有函数的优点(内联函数是编译器负责处理的,编译器可以帮我们做参数的静态类型检查);但是他同时也有带参宏的优点(不用调用开销,而是原地展开)。所以几乎可以这样认为:内联函数就是带了参数静态类型检查的宏。
(3)当我们的函数内函数体很短(譬如只有一两句话)的时候,我们又希望利用编译器的参数类型检查来排错,我还希望没有调用开销时,最适合使用内联函数。

3、宏定义来实现条件编译(#define #undef #ifdef)

(1)程序有DEBUG版本和RELEASE版本,区别就是编译时有无定义DEBUG宏。

三、函数

1、函数本质

(1)整个程序分成多个源文件,一个文件分成多个函数,一个函数分成多个语句,这就是整个程序的组织形式。这样组织的好处在于:分化问题、便于编写程序、便于分工。
(2)函数的出现是人(程序员和架构师)的需要,而不是机器(编译器、CPU)的需要。
(3)函数的目的就是实现模块化编程。说白了就是为了提供程序的可移植性。

2、函数书写的一般原则:

第一:遵循一定格式。函数的返回类型、函数名、参数列表等。
第二:一个函数只做一件事:函数不能太长也不宜太短,原则是一个函数只做一件事情。
第三:传参不宜过多:在ARM体系下,传参不宜超过4个。如果传参确实需要多则考虑结构体打包
第四:尽量少碰全局变量:函数最好用传参返回值来和外部交换数据,不要用全局变量。

3.函数的基本使用

函数三要素:定义、声明、调用(哪里调用在哪里声明)

4、递归函数

(1)递归函数就是函数中调用了自己本身这个函数的函数。
(2)递归函数和循环的区别。递归不等于循环
(3)递归函数解决问题的典型就是:求阶乘、求斐波那契数列

函数的递归调用原理

(1)实际上递归函数是在栈内存上递归执行的,每次递归执行一次就需要耗费一些栈内存。
(2)栈内存的大小是限制递归深度的重要因素。

使用递归函数的原则:收敛性、栈溢出

(1)收敛性就是说:递归函数必须有一个终止递归的条件。当每次这个函数被执行时,我们判断一个条件决定是否继续递归,这个条件最终必须能够被满足。如果没有递归终止条件或者这个条件永远不能被满足,则这个递归没有收敛性,这个递归最终要失败。
(2)因为递归是占用栈内存的,每次递归调用都会消耗一些栈内存。因此必须在栈内存耗尽之前递归收敛(终止),否则就会栈溢出。
(3)递归函数的使用是有一定风险的,必须把握好。

5、函数库的提供形式:动态链接库与静态链接库

静态链接库

比较早出现的是静态链接库。静态库其实就是商业公司将自己的函数库源代码经过只编译不连接形成.o的目标文件,然后用ar工具将.o文件归档成.a的归档文件(.a的归档文件又叫静态链接库文件)。 商业公司通过发布 .a库文件和.h头文件来提供静态库 给客户使用;客户拿到.a和.h文件后,通过.h头文件得知库中的库函数的原型,然后在自己的.c文件中直接调用这些库文件,在连接的时候链接器会去.a文件中拿出被调用的那个函数的编译后的.o二进制代码段链接进去形成最终的可执行程序。

动态链接库

动态链接库比静态链接库出现的晚一些,效率更高一些,是改进型的。现在我们一般都是使用动态库。
静态库在用户链接自己的可执行程序时就已经把调用的库中的函数的代码段链接进最终可执行程序中了,这样好处是可以执行,坏处是太占地方了。
尤其是有多个应用程序都使用了这个库函数时,实际上在多个应用程序最后生成的可执行程序中都各自有一份这个库函数的代码段。当这些应用程序同时在内存中运行时,实际上在内存中有多个这个库函数的代码段,这完全重复了。
而动态链接库本身不将库函数的代码段链接入可执行程序,只是做个标记。 然后当应用程序在内存中执行时,运行时环境发现它调用了一个动态库中的库函数时,会去加载这个动态库到内存中,然后以后不管有多少个应用程序去调用这个库中的函数都会跳转到第一次加载的地方去执行(不会重复加载)。

函数库中库函数的使用

(1)gcc中编译链接程序默认是使用动态库的,要想静态链接需要显式用-static来强制静态链接。
(2)库函数的使用需要注意3点:
第一,包含相应的头文件;
第二,调用库函数时注意函数原型;
第三,有些库函数链接时需要额外用-lxxx来指定链接;
第四,如果是动态库,要注意-L指定动态库的地址。

6、字符串函数
什么是字符串

(1)字符串就是由多个字符在内存中连续分布组成的字符结构。字符串的特点是指定了开头(字符串的指针)和结尾(结尾固定为字符’\0’),而没有指定长度(长度由开头地址和结尾地址相减得到)

为什么要讲字符串处理函数

(1)函数库为什么要包含字符串处理函数?因为字符串处理的需求是客观的,所以从很早开始人们就在写很多关于字符串处理的函数,然后逐渐形成了现在的字符串处理函数库。
(2)面试笔试时,常用字符串处理函数也是经常考到的点。

常用字符串处理函数

(1)C库中字符串处理函数包含在string.h中,这个文件在ubuntu系统中在/usr/include中
(2)常见字符串处理函数及作用:
memcpy 确定src和dst不会overlap,则使用memcpy效率高
memmove 确定会overlap或者不确定但是有可能overlap,则使用 memove比较保险
memset
memcmp
memchr
strcpy
strncpy
strcat
strncat
strcmp
strncmp
strdup
strndup
strchr
strstr
strtok
·······

7、数学库函数

math.h

(1)真正的数学运算的函数定义在:/usr/include/i386-linux-gnu/bits/mathcalls.h
(2)使用数学库函数的时候,只需要包含math.h即可。

计算开平方

(1)库函数: double sqrt(double x);
注意区分编译时警告/错误,和链接时的错误:
编译时警告/错误:
math.c:9:13: warning: incompatible implicit declaration of built-in function ‘sqrt’ [enabled by default]
double b = sqrt(a);
链接时错误:
math.c:(.text+0x1b): undefined reference to `sqrt’
collect2: error: ld returned 1 exit status

分析;这个链接错误的意思是:sqrt函数有声明(声明就在math.h中)有引用(在math.c)但是没有定义,链接器找不到函数体。sqrt本来是库函数,在编译器库中是有.a和.so链接库的(函数体在链接库中的)。
**C链接器的工作特点:**因为库函数有很多,链接器去库函数目录搜索的时间比较久。为了提升速度想了一个折中的方案:链接器只是默认的寻找几个最常用的库,如果是一些不常用的库中的函数被调用,需要程序员在链接时明确给出要扩展查找的库的名字。链接时可以用-lxxx来指示链接器去到libxxx.so中去查找这个函数。

链接时加-lm

(1)-lm就是告诉链接器到libm中去查找用到的函数。
(2)实战中发现在高版本的gcc中,经常会出现每加-lm也可以编译链接的。

7、自己制作静态链接库并使用

(1)第一步:自己制作静态链接库
首先使用gcc -c只编译不连接,生成.o文件;然后使用ar工具进行打包成.a归档文件
库名不能随便乱起,一般是lib+库名称,后缀名是.a表示是一个归档文件
注意:制作出来了静态库之后,发布时需要发布.a文件和.h文件。

(2)第二步:使用静态链接库
把.a和.h都放在我引用的文件夹下,然后在.c文件中包含库的.h,然后直接使用库函数。

第一次编译方法:gcc test.c -o test
报错信息:test.c:(.text+0xa): undefined reference to func1' test.c:(.text+0x1e): undefined reference to func2’

第二次编译方法:gcc test.c -o test -laston
报错信息:/usr/bin/ld: cannot find -laston
collect2: error: ld returned 1 exit status
第三次,编译方法:gcc test.c -o test -laston -L.
无报错,生成test,执行正确。

(3)除了ar名另外,还有个nm命令也很有用,它可以用来查看一个.a文件中都有哪些符号

8、自己制作动态链接库并使用

(1)动态链接库的后缀名是.so(对应windows系统中的dll),静态库的扩展名是.a
(2)第一步:创建一个动态链接库。Makefile:
gcc aston.c -o aston.o -c -fPIC
gcc -o libaston.so aston.o -shared

-fPIC是位置无关码,-shared是按照共享库的方式来链接。
注意:做库的人给用库的人发布库时,发布libxxx.so和xxx.h即可。
(3)第二步:使用自己创建的共享库。
第一步,编译方法:gcc test.c -o test
报错信息:test.c:(.text+0xa): undefined reference to func1' test.c:(.text+0x1e): undefined reference to func2’
collect2: error: ld returned 1 exit status

第二步,编译方法:gcc test.c -o test -laston
报错信息:/usr/bin/ld: cannot find -laston
collect2: error: ld returned 1 exit status

第三步,编译方法:gcc test.c -o test -laston -L.
编译成功

但是运行出错,报错信息:
error while loading shared libraries: libaston.so: cannot open shared object file: No such file or directory

错误原因:动态链接库运行时需要被加载(运行时环境在执行test程序的时候发现他动态链接了libaston.so,于是乎会去固定目录尝试加载libaston.so,如果加载失败则会打印以上错误信息。)

解决方法一:
将libaston.so放到固定目录下就可以了,这个固定目录一般是/usr/lib目录。
cp libaston.so /usr/lib即可

解决方法二:使用环境变量LD_LIBRARY_PATH。操作系统在加载固定目录/usr/lib之前,会先去LD_LIBRARY_PATH这个环境变量所指定的目录下去寻找,如果找到就不用去/usr/lib下面找了,如果没找到再去/usr/lib下面找。所以解决方案就是将libaston.so所在的目录导出到环境变量LD_LIBRARY_PATH中即可。
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/mnt/hgfs/Winshare/s5pv210/AdvancedC/4.6.PreprocessFunction/4.6.12.sharedobject.c/sotest

在ubuntu中还有个解决方案三,用ldconfig

(4)ldd命令:作用是可以在一个使用了共享库的程序执行之前解析出这个程序使用了哪些共享库,并且查看这些共享库是否能被找到,能被解析(决定这个程序是否能正确执行)。

你可能感兴趣的:(c语言笔记,c语言,c++,linux)