1. 定义：

• 变长参数: 是指在函数定义时，函数的参数个数不固定，可以接受任意数量的参数。变长参数通常用于不确定传入多少参数的情况

2. C++代码示例:

2.1 实现方式一：

使用头文件 <cstdarg> 中的va_list、va_start、va_arg和va_end

#include <iostream>
#include <cstdarg>

void printNumber(int count, ...){
    va_list args;   // 用于遍历参数列表
    va_start(args, count);  // 初始化args，指定第一个可变参数的前一个参数

    for(int i=0; i< count; i++){
        int num = va_arg(args, int);  // 获取下一个参数
        printf("%d\n", num);
    }
    // 清理
    va_end(args);
}

int main(){
    printNumber(3, 1, 2, 3);
    return 0;
}

代码输出：

1
2
3

代码解析：

• va_list args：声明一个类型为 va_list 的变量 args，它用于访问变长参数
• va_start(args, count) ：初始化 args
• va_arg(args, int) ：每次调用 va_arg 获取下一个可变参数，指定参数类型为 int
• va_end(args) ：结束参数的遍历

2.2 实现方式二：

使用C++17的变长模板参数（Variadic Templates）

#include <iostream>

template<typename... Args>
void printNumber(Args... args){
     ((std::cout << args << " "), ...); 
     std::cout<< std::endl;
}

int main(){
    printNumber(4, 5, 2, 3);
    return 0;
}

代码输出：

4 5 2 3

代码解释：

• template <typename... Args>：这是一个模板函数，可以接受任意数量的参数
• ((std::cout << args << " "), ...)：这是一种 C++17 引入的“折叠表达式”，它会展开 args… 并依次打印每个参数。
• 在进行编译的时候要加上 -std=c++17 或者 -std=gnu++17

2.3 实现方式三：

使用C++11的std::initializer_list

#include <iostream>

void printNumber(std::initializer_list<int> list){
    for(auto num : list){
        std::cout<< num << " ";
    }
    std::cout << std::endl;
}

int main(){
    printNumber({4,2,3,1});
    return 0;
}

代码输出：

4 2 3 1

代码解释：

• std::initializer_list<int> list：initializer_list 是一个 C++11 引入的类模板，它提供了对初始化列表中元素的访问
• 通过 {} 语法，可以将多个值传递给 printNumbers 函数

3. 总结

3.1 使用…语法：

优点：

• 灵活性高，函数可以接受任意数量的参数，许多老旧的库使用这样的方式（例如printf）

缺点：

• 类型安全差：编译器无法检查参数类型，容易发生类型不匹配的错误。
• 可读性差：调用者必须显式地传递参数的数量（通常第一个参数是元素个数），否则无法知道有多少参数。
• 可维护性差：当参数数量较多时，代码的可维护性较差，且较容易出现错误。
• 性能问题：需要在运行时解析参数列表，性能可能不如其它实现方式。

3.2 使用 std::initializer_list

优点：

• 类型安全：使用 initializer_list 可以保证类型安全，避免了类型不匹配的问题。
• 可读性强：调用者可以直接通过大括号初始化参数列表，代码清晰简洁。
• 易于维护：不需要传递额外的参数（如元素个数），函数会自动处理所有传入的元素。

缺点：

• 不适用于大规模变长参数：initializer_list 适用于小规模参数的场景。如果需要传递大量的参数，initializer_list 可能不够灵活。
• 只能用于可拷贝对象：initializer_list 内部的数据是只读的，并且只能存放拷贝构造和移动构造类型的元素，不能直接处理指针或非常规类型。
• 不能动态传参：initializer_list 是静态的，调用时必须在编译时确定列表中的元素。

3.3 使用变长模板参数（Variadic Templates）

优点：

• 类型安全：编译器会检查所有传入参数的类型，避免了类型错误。
• 灵活性强：支持任意数量和类型的参数，可以很方便地组合和扩展。
• 性能高：相比于 … 语法和 initializer_list，变长模板参数通常具有更好的性能，因为参数是通过模板推导而来的，并不需要在运行时解析。
• 易于维护：代码结构清晰，能够很容易地管理多个参数，尤其是与模板元编程结合时。

缺点：

• 代码复杂：如果不熟悉模板编程，可能会觉得变长模板参数的代码相对复杂，尤其是折叠表达式（C++17引入）。
• 不支持非类型参数：变长模板参数不能直接处理例如指针、动态数组等一些复杂类型。如果需要处理这些类型，可能需要额外的代码来包装。