C-函数杂谈

C-函数杂谈

函数的由来

程序 = 数据 + 算法

C程序 = 数据 + 函数

C语言推动了模块化程序设计的产生

面向过程的程序设计(模块化) -> 核心： 函数

面向过程是一种以过程为中心的编程思想

首先将复杂的问题分解为一个个容易解决的问题

分解后的问题可以按步骤一步步解决

函数是面向过程在C语言的实现

解决问题的每个步骤可以用函数事项

函数参数

函数参数在本质上与局部变量相同，都是在栈上分配空间

函数参数的初始化值是实参的值

函数参数的求值顺序是不固定的，依赖于编译器的实现（顺序点）

C语言默认没有类型的函数参数类型为int（函数的缺省认定）

函数参数的计算顺序，依赖于编译器的实现（调用约定）

即这段代码并不会报错：

int func()
{
printf("Hello World!");
}
int main()
{

func(5);
return 0;
}

可变参数列表

C语言可以定义可变参数列表

参数可变函数的实现依赖于stdarg.h头文件

va_list变量与va_start, va_end和va_arg配合使用能够访问参数值， 他们都是宏实现

使用示例：

/*
这个函数可以用来求n个int值得平均数
*/
float average(int n, ...)
{
va_list args;  //代表接收的可变参数列表
int i = 0;
float sum = 0;

va_start(args, n); //初始化列表
for(i=0; i<n; i++)
{
sum += va_arg(args, int);
}

va_end(args);

return sum / n;

}

int main()
{

printf("the average is %0.2f \n", average(4, 1, 2, 3, 4));

return 0;
}

C语言可变参数的限制

可变参数必须从头到尾按照顺序逐个访问

参数列表中至少存在一个确定的命令参数（用于指示参数的个数）

可变参数宏无法判断实际存在的参数的数量（靠你自己）

可变参数无法判断参数的实际类型

函数与宏

宏是由预处理器直接替换展开的， 编译器不知道有宏的存在

函数是有编译器直接编译的实体，调用行为由编译器决定

多次调用宏会导致程序代码的增加，函数是跳转执行，并不会导致这个问题

宏的效率要比函数高，他并没有调用开销

函数调用会创建活动记录，相比于宏效率较低

宏如果处理不当，往往会出现意想不到的问题

但是

函数和宏并不是竞争对手，设计程序时，我们应怎么顺手怎么写！

看下面这个，

#define _MUL(a, b) ((a) < (b) ? (a) : (b))
int main()
{
int i = 9;
printf("The result is  -> %d \n", _MUL(i++, 10));

return 0;
}

宏的无可替代的优势

宏的参数可以是任何C语言类型， 可以是类型名！

示例：

// #define Malloc(type, n) (type*)malloc(sizeof(type) * n)

活动记录： 函数调用时用于记录一系列相关信息的记录（建立在栈上）

临时变量域：用来存放临时变量的值， 如k++的中间结果

局部变量域：用来存放函数本次执行中的局部变量

机器状态域：用来保存调用函数之前有关的机器状态信息，包括各种寄存器的当前值，和返回地址

实参数域： 用于存放函数的实参信息

返回值域： 为调用函数存放返回值

调用约定

当一个函数被调用时，参数会传递给被滴啊用的函数，而返回值会被返回给调用函数。

而函数调用约定就是描述参数是怎么传递到栈空间的，以及栈空间由谁来维护

调用约定是调用者和被调用者之间的调用协议， 常用于不同开发者编写的库函数之间

当两个调用约定不同的调用者，调用一个依赖于调用约定的函数时， 函数可能会发生错误女

参数传递顺序（的一些约定）

从右到左依次入栈： _stdcall, _cdecl， _thiscall

从左到右依次入栈： _pascal, _fastcall

调用堆栈的清理工作

被调用者自己清楚

调用者负者清除

C函数设计技巧

不要在函数中使用全局变量，尽量让函数从意义上是一个独立的模块， 不受其他影响

如果参数是指针，且仅做输入参数用， 则应在类型前面加上const， 以防止指针被以外修改

不要省略返回值类型，函数没用返回值就声明为void（C函数默认返回int）

在函数的入口处，要对参数的有效性进行检查， 尤其是指针参数

在函数中不要返回指向栈空间的指针！

函数的规模控制在80行以内

尽量避免函数带有记忆性功能(static)， 即相同输入，要有相同的输出

函数参数应控制在4个以内

函数的返回值可以使函数支持链式表达式。

The END！