编写可变参数函数模板

我们可以使用一个initializer_list来定义一个可接受可变数目实参的函数。但是，所有实参必须具有相同的类型（或它们的类型可以转换为同一个公共类型）。

可变参数函数通常是递归的。第一步调用处理包中的第一个实参，然后用剩余实参调用自身。

// 用来终止递归并打印最后一个元素的函数
// 此函数必须在可变参数版本的print定义之前声明
template <typename T>
ostream& print(ostream& os, const T& t)
{
    // 包中最后一个元素之后不打印分隔符
    return os << t;
}

// 包中除了最后一个元素之外的其他元素都会调用这个版本的print
template <typename T, typename ... Args>
ostream& print(ostream& os, const T& t, const Args& ... rest)
{
    // 打印第一个实参
    os << t << ", ";
    // 递归调用，打印其他实参
    return print(os, rest...);
}

return print(os, rest…);此调用只传递了两个实参。其结果是rest中的第一个实参被绑定到t，剩余实参形成下一个print调用的参数包。
当定义可变参数版本的print时，非可变参数版本的声明必须在作用域中。否则，可变参数版本会无限递归。