介绍
C 始终使用可以接受不同数量参数的函数 – variadic++ 函数 – printf() 是主要示例。最初，C 无法让您可移植地实现自己的可变参数函数。 当函数原型从 C++ 向后移植到 C 时，它包含声明可变参数函数的语法，例如：
int sum_n( 无符号 n, ... );
表示函数 sum_n 需要一个无符号参数，后跟零个或多个其他参数。
使用计数的简单示例
这是 sum_n() 的示例实现，其中我们使用必需的参数来指定后面有多少个参数：
#include /* 对于 va_*() 宏 */int sum_n( 无符号 n, ... ) { va_list 参数； va_start（参数，n）； 整数总和=0； 而 (n-->0) sum += va_arg( args, int ); va_end( 参数 ); 返回总和；}
然后你可以这样称呼它：
int r = sum_n( 3, 1, 2, 5 ); // r = 8
请注意，我们使用必需的参数来指定遵循我们自己的约定的参数数量。 编译器不会从所需参数推断出任何含义。 正如我们将在后面的示例中看到的，所需参数可以是任何类型。 可变参数函数配方
任何可变参数函数
必须
采用以下形式：
R f( T1 p1, T2 p2, TN pN, … ) { // … va_list 参数； va_start（参数，pN）； // … va_arg( args, T ) … va_end( 参数 ); // …}
那就是你
必须
:
声明一个 va_list 类型的局部变量。 （您可以将其命名为任何您想要的名称，但 args 是约定俗成的。）调用 va_start( args, pN )，其中 pN 是最后一个必需参数的名称。 请注意，它可以是任何类型。要迭代可变参数的值，请为每个参数调用 va_arg( args, T )，其中 T 是其假定类型。 （每次调用的类型 T 可能不同。）返回前调用 va_end( args )。 使用哨兵的另一个简单示例
这是 str_is_any() 的示例实现，其中所需参数是要比较的字符串（“needle”），后面的参数是要比较的字符串（“haystack”）。 参数由 NULL 指针终止：
_Bool str_is_any( char const *needle, … ) { va_list 参数； va_start（参数，针）； _Bool 发现 = false; 做 { char const *const hay = va_arg( args, char* ); 如果（干草== NULL） 休息; 发现 = strcmp( 针, 干草 ) == 0; } while (!找到); va_end( 参数 ); 返回发现；}
你可以这样称呼它：
if ( str_is_any( type_str, “struct”, “union”, NULL ) )
注意事项
可变参数有几个严重的警告：
没有办法要求任何参数都属于特定类型，也没有办法要求所有参数都属于同一类型。无法确定任何参数的类型实际上是什么。因为没有类型信息，仅发生默认参数转换（见下文）。无法知道给出了多少参数。 （尝试访问比给定的参数更多的参数会导致未定义的行为；但是，访问更少的参数是可以的。）在 C23 之前，可变参数函数必须至少有一个必需参数。…必须永远是最后一个。当通过 va_arg() 迭代参数时，给定的类型必须与实际类型匹配。 如果没有，结果是未定义的行为。默认参数转换为：
char、signed char、unsigned char、short 和 unsigned Short 根据需要提升为 int 或 unsigned int。float 提升为 double.数组被转换为指向其第零个元素的指针。函数名称被转换为指向该函数的指针。因此，实现可变参数函数时最重要的两个问题是：
知道参数的数量或何时停止迭代它们。了解他们的类型。sum_n() 实现通过使用必需的参数来指定后面有多少个参数来“解决”第一个问题。 但是，如果你这样做：
int r = sum( 3, 1, 2 ); // 说的是 3，但只有 2
即指定后面有 3 个参数，但参数较少，结果将是未定义的行为。
此外，sum_n() 实现只能
假设
提供的参数是 int 类型。 如果你要这样做：
int r = sum( 3, 1, 2.7, 5 ); // 双精度型，非整数型
即提供一个 double 类型（或任何其他类型）的值，其中需要 int ，结果将是未定义的行为。
str_is_any() 函数通过使用哨兵“解决”了第一个问题，因此它不关心有多少个参数。 然而，它仍然只能
假设
提供的参数是字符串并且最后一个参数为NULL。 如果其中任何一个为 false，结果将是未定义的行为。标准 printf() 函数通过使用一个必需参数作为打印内容的格式来“解决”这两个问题：格式中的每个 % 都是一个
转换说明符
并与参数一一对应。 例如，给定：
printf( “x=%d, y=%dn”, x, y );
printf() 实现扫描格式字符串以查找 % 字符。遇到一个时，它会使用 % 后面的字符指定的类型，通过 va_arg() 获取下一个可变参数的值，例如 %d 指定 int （并以十进制打印）。
但是，就像 sum_n() 一样，如果您提供的参数少于说明符，或者说明符的类型及其关联参数不匹配，结果将是 – 您猜对了 – 未定义的行为。
幸运的是，现代编译器具有有关 printf() 的特定知识（请参阅此处的“格式”），因此可以在参数类型的数量与格式字符串不匹配时发出警告。 然而，对于您自己的功能，通常需要您自己来完成。
关于实现可变参数函数的思考
考虑到所有的警告，可变参数函数是一个好主意吗？ 并不真地。 它们的使用是源于 C 最初根本不关心函数参数的 hack，因此像 printf() 和 scanf() 这样的函数利用了这一点。 即使引入 stdarg.h（以及之前的 varargs.h）也只是使实现可变参数函数
可移植
做了最小的努力，但不是好.您应该实现自己的可变参数函数吗？ 一般来说，不会。 然而，有一个用例可以实现您自己的可变参数函数。
可变参数函数调用其他可变参数函数
在打印许多消息的大型程序中，如果您知道哪一行代码打印了给定的消息，这样您就可以确定打印消息时程序的状态。
例如，在 cdecl 这样的程序中，如果你得到：
c++decl> 解释 int &*p ^13：错误：指向引用的指针非法；你的意思 ”*＆”？
您可能想知道该消息是从源代码中的何处打印的。 在许多情况下，您可以只 grep 查找消息文本，但前提是消息文本按字面意思出现在代码中 - 但此消息的情况并非如此。
我为 cdecl 实现了一个调试选项，除其他外，它还打印了错误消息出现的源代码位置：
c++decl> 设置调试c++decl> 解释 int &*p ^13：错误：[c_ast_check.c:2170]指向引用的指针非法；你的意思 ”*＆”？
实现这一点的方式是有一个 fl_print_error() 可变参数函数，它是 fprintf() 的包装器，它在调用时接受额外的文件和行参数。 这是（稍微简化的）实现：
void fl_print_error( char const *file, int line, 字符常量*格式，…）{ fprintf( stderr, “错误：” ); if ( opt_cdecl_debug != CDECL_DEBUG_NO ) fprintf( stderr, “[%s:%d] “, 文件, 行 ); va_list 参数； va_start（参数，格式）； vfprintf（标准错误，格式，参数）； va_end( 参数 );}
以及隐藏文件和行的传递的宏：
#define print_error(文件,行,格式,…) fl_print_error( __FILE__, __LINE__, (格式), __VA_ARGS__ )
如果您不知道，printf() 和 fprintf() 有 vprintf() 和 vfprintf() 对应项，它们采用 va_list 参数：
int vprintf( const char *format, va_list vlist );int vfprintf( FILE *stream, const char *format, va_list vlist );
va_list 参数允许一个可变参数函数将其变量参数传递给另一个函数。
关于 C23 的注释
如前所述，从 C23 开始，可变参数函数不再坚持至少一个必需参数；这就是你可以做的：
void f( … ) { // 没有必需参数 va_list 参数； va_start( 参数 ); // 没有第二个参数 // …
此功能也是从 C++ 向后移植的。
结论
C 中的可变参数函数基本上是一种 hack。 鉴于他们的严重警告，您通常不应该实现自己的，除非它是另一个可变参数函数的包装。
C++ 继承了 C 的可变参数函数，有很多缺点。然而，在 C++ 中，有更好的函数重载、初始化列表和可变参数模板替代方案，可用于实现以类型安全方式接受不同数量参数的函数 — 但这是另一个故事了。
以上就是C 中的可变参数函数的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1455333.html
微信扫一扫 
支付宝扫一扫 
