C++-可变参数与可变参数模板

可变参数与可变参数模板

可变参数

三个点...表示可变参数列表，必须放在函数所有参数的最后面。函数至少要有一个固定参数（即使这个参数只是占位作用），否则无法获取可变参数列表中的每个参数。C++中...前的逗号是可选的，C是强制的。
作为可变参数传递时，可能会发生类型提升，如char类型转化为int，float类型转化为double，类型提升详见这里和这里。
通过<stdarg.h>中的几个宏可以获取可变参数列表中的每个参数：

• va_start。允许访问可变参数列表
• va_arg。访问下一个可变参数列表中下一个参数
• va_end。结束可变参数列表遍历
• va_list。保存 va_start、va_arg、va_end 和 va_copy 所需的信息
  示例代码：

#include <iostream>
#include <cstdarg>
 
void simple_printf(const char* fmt,...) // C-style "const char* fmt, ..." is also valid
{
    va_list args;
    va_start(args, fmt);
 
    while (*fmt != '\0') {
        if (*fmt == 'd') {
            int i = va_arg(args, int);
            std::cout << i << '\n';
        } else if (*fmt == 'c') {
            // note automatic conversion to integral type
            int c = va_arg(args, int);
            std::cout << static_cast<char>(c) << '\n';
        } else if (*fmt == 'f') {
            double d = va_arg(args, double);
            std::cout << d << '\n';
        }
        ++fmt;
    }
 
    va_end(args);
}
 
int main()
{
    simple_printf("dcff", 3, 'a', 1.999, 42.5); 
}

输出：

3
a
1.999
42.5

注意，并非所有类型参数都可以通过宏这种方式来获取。

可变参数模板

这里先引入几个概念：

• 模板参数包（template parameter pack）是接受零个或多个模板参数的模板参数
• 函数参数包（function parameter pack）是接受零个或多个函数参数的函数参数
• 具有至少一个参数包的模板称为可变参数模板
  可变参数模板通常是更好的选择，因为它既不会像上述可变参数有参数类型的限制，也不会发生类型提升，可变参数模板是类型安全的。
  可变参数模板涉及的内容很多，这里我们只需要学会使用可变参数函数模板就可以了。
  类型模板参数定义语法：

typename|class ... pack-name(optional)

参数包展开语法：

pattern ...	

示例：

template<class... Types> void f(Types... args);
f();       // OK: args contains no arguments
f(1);      // OK: args contains one argument: int
f(2, 1.0); // OK: args contains two arguments: int and double

Types代表参数包名称，args代表参数包（?），参数包的展开如下：

template<class... Us> void f(Us... pargs) {}
template<class... Ts> void g(Ts... args)
{
    f(&args...); // “&args...” is a pack expansion
                 // “&args” is its pattern
}
g(1, 0.2, "a"); // Ts... args expand to int E1, double E2, const char* E3
                // &args... expands to &E1, &E2, &E3
                // Us... pargs expand to int* E1, double* E2, const char** E3

std::initializer_list

如果所有参数具有相同的类型，std::initializer_list是一个可选的方法，但是传入的参数均不能被修改，因为std::initializer_list只提供const指针来访问其元素。

参考:

1. https://docs.microsoft.com/en-us/cpp/cpp/functions-with-variable-argument-lists-cpp?view=msvc-170
2. https://en.cppreference.com/w/cpp/utility/variadic
3. https://en.cppreference.com/w/cpp/language/variadic_arguments