C语言编程罐装冷知识：可变参数函数的实现

这是一篇关于C语言编程罐装冷知识：可变参数函数的实现的思维导图，包含函数定义格式、库函数stdarg等。

可变参数函数的实现

• 函数定义格式
  • 返回值类型 函数名称 (数据类型1 形参1, ..., 数据类型n 形参n, ...) // 其中，形参1~形参n为固定参数，形参n后面的“...”为可变参数列表，在实际编程语法中就是用省略号“...”来表示的，并不只是函数定义格式中的省略号。
• 库函数stdarg.h
  • 标准头文件，提供va_start、va_arg和va_end
  • void va_start(va_list ap, type 变量名)
    • 以va_start(ap, dim)为例，va_start(ap, dim)是一个用于处理可变参数的宏，其中ap是一个va_list类型的变量，表示可变参数列表，dim是固定参数列表中最后一个参数的变量名。 这个宏的主要功能是根据固定参数列表中最后一个参数的类型，将可变参数列表初始化为从该固定参数之后开始读取的顺序。在函数接受可变数量参数的情况下，这个宏可以帮助我们遍历可变参数列表，并对每个参数进行操作。 在va_start宏展开之后，可以利用固定参数的地址得到紧随其后的第一个可变参数地址并放入ap中。然后可以使用va_arg宏从ap中读取不同类型的参数。 注意：当函数的最后一个固定参数为带"&"的引用类型时，va_start中的实参变量名也必须带"&"。这样做的原因是为了正确地确定可变参数列表的起始位置。由于引用不占用存储空间，没有&符号前缀的话，va_start函数将无法正确地定位最后一个固定参数的位置。因此，为了正确地处理可变参数列表，需要在调用va_start时将引用变量的名称加上&符号前缀。
  • type va_arg(va_list ap, type)
    • va_arg(ap, type)是一个宏定义，该宏用于变参数函数调用过程中，type是用户设置的当前参数类型（例如int），调用该宏后，ap指向变参数列表中的下一个参数，返回ap指向的参数值，是一个类型为type的表达式。也就是说，va_arg(ap, type)的返回值类型取决于用户指定的type参数。
  • void va_end(va_list ap)
    • va_end(ap)是一个宏定义，这个宏没有返回值，它的作用是清理通过va_start宏初始化的va_list 变量，以释放相关的内存空间。
• 以va_list ap作为形式参数的函数
  • 无论是stdarg.h库函数提供的这三种函数还是用户自定义的函数，这种函数只能在可变参数函数的内部调用，而不能在只有固定参数的函数内调用。valist_ap传递的是可变参数函数中声明的变量ap。