C语言函数

函数

函数的意义

C语言的函数

• 函数的由来 --> 程序 = 数据 + 算法 --> C程序 = 数据 + 函数
• 模块化设计 --> 将复杂的问题转变为简单化问题

面向过程的程序设计

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

声明与定义

• 声明的意义在于告诉编译器程序单元的存在
• 定义则明确指示程序单元的意义
• C语言中通过extern进行程序单元的声明
• 一些程序单元在声明时可以省略extern

严格意义上声明与定义并不相同

小结

• 函数是面向过程思想在C语言中的体现
• 面向过程是由上至下分解问题的设计方法
• 程序中的定义和声明完全不同
• C语言中通过extern对程序单元无法声明

函数参数

函数的参数

• 函数参数在本质上与局部变量相同在栈上分配空间
• 函数参数的初始值是函数调用时的实参值
• 函数参数的求值顺序依赖于编译器的实现

程序中的顺序点

• 程序中存在一定的顺序点
• 顺序点指的是执行过程中修改变量值的最晚时刻
• 在程序到达顺序点的时候，之前所做的一切操作必须完成
• 每个完整表达式结束时，即分号处
• && ，||，？，；以及逗号表达式的每个参数计算后
• 函数调用时所有实参值完成后（进入函数体之前）

参数入栈顺序

函数参数的计算顺序时依赖编译器实现的，那么函数参数的入栈次序时如何确定

调用约定

• 当函数调用发生时
  • 参数会传递给被调用的函数
  • 而返回值会被返回给函数调用者
• 函数约定描述参数如何传递到栈中以及栈维护方式
  • 参数传递顺序
  • 调用栈清理
• 调用约定时预定义可以理解为调用协议
• 调用约定通常用于库调用和库开发的时候
  • 从右到左依次入栈：_stdcall,_cdecl,_thiscall
  • 从左到右依次入栈:_pascal,_fastcall

函数可变参数

• C语言中可以定义参数可变函数
• 参数可变函数的实现依赖于stdarg.h头文件
  • va_list 参数集合
  • va_arg 取具体参数值
  • va_start 标识参数访问的开始
  • va_end 标识参数访问的结束

可变参数的限制

• 可变参数必须从头到尾按照顺序逐个访问
• 参数列表中至少要存在一个确定的命名参数
• 可变参数函数无法确定实际存在的参数数量
• 可变参数函数无法确定参数的实际类型

注意
va_arg 中如果制定了错误的类型，那么结果时不可预测

小结

• 调用约定指定了函数参数的入栈顺序以及栈的清理方式
• 可变参数是C语言提供的一种函数设计技巧
• 可变参数的函数提供了一种更方便的函数调用方式
• 可变参数必须顺序访问，无法直接访问中间的参数值