C++含有可变形参的函数

含有可变形参的函数

有时我们无法提前预知应该向函数传递几个实参，为了编写能处理不同数量实参的函数，C++11新标准提供了两种方法：如果所有实参类型相同，可以传递一个名为initializer_list的标准库类型；如果实参类型不同，我们可以编写一种特殊的函数，也就是所谓的可变参数模板。C++还有一种特殊的形参类型（省略符）可以用它传递可变数量的实参。这种功能一般用于与C函数交互的接口程序。

initializer_list形参

initializer_list模板操作如下图

initializer_list传参方式如下

    // 方式 1
    initializer_list<string> li = {"hello", "world", "!!!"};
    initTestFunc(li);

    // 方式 2
    initTestFunc({"hello", "world", "!!!"});
    

// 测试用例
void inittstfunc(std::initializer_list<std::string> li)
{
    // 1. 一般for循环遍历： int a = li.size();
    
    // 2. 迭代器遍历：
    for (auto it = li.begin(); it != li.end(); ++it)
    {
        cout << *it << endl;
    }

    // 3. 范围for循环遍历
    for (const auto& str : li)
    {
        cout << str << endl;
    }
}

int main()
{
    initializer_list<string> li = {"hello", "world", "!!!"};
    cout << "first use" << endl;
    inittstfunc(li);

    cout << "second use" << endl;
    inittstfunc({"foo", "bar"}); 

    return 0;
}


// 结果
first use
hello
world
!!!
hello
world
!!!

second use
foo
bar
foo
bar

使用 vector 替代initializer_list

可以使用 std::vector 来替代 std::initializer_list 的功能，并且 std::vector 还提供了更多的功能，如动态调整大小、修改元素等。虽然 std::initializer_list 是专门为初始化列表设计的，但 std::vector 在大多数情况下也能很好地完成同样的任务。下面是一些示例，展示了如何使用 std::vector 替代 std::initializer_list

#include <iostream>
#include <initializer_list>

void printList(std::initializer_list<int> list) {
    for (int value : list) {
        std::cout << value << " ";
    }
    std::cout << std::endl;
}

int main() {
    printList({1, 2, 3, 4, 5}); // 使用initializer_list初始化
    return 0;
}

可以替换为

#include <iostream>
#include <vector>

void printVector(const std::vector<int>& vec) {
    for (int value : vec) {
        std::cout << value << " ";
    }
    std::cout << std::endl;
}

int main() {
    // 使用vector初始化
    printVector({1, 2, 3, 4, 5});
    return 0;
}

vector的更多功能

#include <iostream>
#include <vector>

void modifyVector(std::vector<int>& vec) {
    vec.push_back(6); // 添加元素
    vec[0] = 10; // 修改元素
}

void printVector(const std::vector<int>& vec) {
    for (int value : vec) {
        std::cout << value << " ";
    }
    std::cout << std::endl;
}

int main() {
    std::vector<int> vec = {1, 2, 3, 4, 5}; // 使用vector初始化
    printVector(vec);

    modifyVector(vec); // 修改vector内容
    printVector(vec);

    return 0;
}

一个有趣的例子

void addCalculator(vector<int> il)
{
    int count = 0;
    for (const auto& a : il)
    {
        cout << a << endl;
        count += a;
    }

    cout << "total = " << count << endl;
}

int main()
{
    int ch;
    vector<int> a;
    while ((ch = getchar()) != '\n') {
        if (isdigit(ch)) {
            int t = ch - '0';
            a.push_back(t);
        }
    }
    addCalculator(a);
    return 0;
}

// 输入 1 2 3
// 输出 6

省略符形参

省略符形参是为了便于C++程序访问某些特殊的C代码而设置的,这些代码使用了名为varargs的C标准库功能。通常，省略符形参不应用于其他目的。你的C编译器文档会描述如何使用 varargs。

省略符形参应该仅仅用于C和C++通用的类型。特别应该注意的是，大多数类类型的对象在传递给省略符形参时都无法正确拷贝。

省略符形参只能出现在形参列表的最后一个位置，它的形式无外乎以下两种:

void foo(parm_list,...);
void foo(...);

第一种形式指定了 foo 函数的部分形参的类型，对应于这些形参的实参将会执行正常的类型检查。省略符形参所对应的实参无须类型检查。在第一种形式中，形参声明后面的逗号是可选的。
。

省略符形参只能出现在形参列表的最后一个位置，它的形式无外乎以下两种:

void foo(parm_list,...);
void foo(...);

第一种形式指定了 foo 函数的部分形参的类型，对应于这些形参的实参将会执行正常的类型检查。省略符形参所对应的实参无须类型检查。在第一种形式中，形参声明后面的逗号是可选的。