函数的本质与设计原则

函数的本质

函数的本质是一段可以重复使用的代码，这段代码被提前编写好了，放到了指定的文件中，使用时直接调取即可。

面向过程是一种以过程为中心的编程思想，它首先将复杂的问题分解为一个个容易解决的问题，分解过后的问题可以按照步骤一步步完成，函数是面向过程在C语言中的体现，解决问题的每个步骤可以用函数来实现。

声明的意义在于告诉编译器程序单元的存在，定义则明确指示程序单元的意义。

C语言可通过extern进行程序单元的声明。

函数参数

函数参数本质上是与局部变量相同的栈上变量，初始值是函数调用时的实参值。

函数调用栈大致模型如下：

函数调用前要对参数进行求值，函数参数的求值依赖于编译器，运算操作数的求值也是依赖于编译器的实现，所以我们无法确定一些特殊情况下函数实参的值，因此我们应该使用明确的值作为函数实参。

调用约定

调用约定是预定义的调用协议，通常用于库调用和库开发的时候。

从右到左依次入栈的调用协议有：__stdcall，__cdecl，__thiscall；

从左到右依次入栈的调用协议有：__pascal，__fastcall。

函数与宏的差异

1. 宏是由预处理器直接替换展开的，编译器不知道宏的存在；函数是由编译器直接编译的实体。

2. 多次使用宏会导致可执行程序的体积增大；函数是跳转执行的，内存中只有一份函数体存在。

3. 宏是直接展开的，没有调用开销，效率较高；函数调用时会创建活动记录，效率较低。

4. 宏是文本替换，编译器不知道宏，不会进行类型检查，不安全。

5. 宏的定义中不能出现递归定义。

6. 宏在一些情况下可以实现函数无法实现的功能。

示例代码：

#define MALLOC(type, x) 	(type*)malloc(sizeof(type) * x)
#define FREE(p)         	(free(p), p = NULL)
#define LOG_INT(i)         	printf("%s = %d\n", #i, i);
#define LOG_CHAR(c)           	printf("%s = %c\n", #c, c);
#define LOG_LONG(l)            	printf("%s = %ld\n", #l, l);
#define LOG_FLOAT(f)    	printf("%s = %f\n", #f, f);
#define LOG_DOUBLE(d)      	printf("%s = %lf\n", #d, d);
#define LOG_STRING(s) 		printf("%s = %s\n", #s, s);

函数的设计原则

函数从意义上应该是一个独立的功能模块；

函数名要在一定程度上反应函数的功能；

函数参数名要能体现函数的意义；

避免在函数中使用全局变量；

当函数参数是指针，且不希望在函数体内部被修改时，应加上const声明；

如果函数没有返回值，应该被声明为void；

如果函数不接收参数，参数列表应该被声明为void；

对参数进行有效性检查；

不要返回指向栈内存的“指针”；

函数体的规模要小，尽量控制在80行代码之内；

相同的输入对应相同的输出；

考虑返回特殊的值以支持链式反应；

函数名与返回值类型在语义上不可冲突