参数包后的字符串参数

Question

我想编写一个可以接受任意类型的多个参数的函数write，并将它们打印到stdout。但我也希望传入一个分隔符作为最后一个参数。

template <typename... T>
void write(T &&...args, string delimiter) { // compilation error
    ((cout << args << delimiter),...);
}

用法：

write(1, ""); // single element with empty delimeter
write(1, "one", " "); // space as delimeter
write(1, "one", ","); // comma as delimeter 

现在，自动类型推导失败，因为C++希望参数包是最后一个参数。

我如何才能做到这一点？

Answer 1

在这个blog article中有一个很好的技巧，你可以使用它。

修改write以仅接受参数包

template <typename... Ts>
void write(Ts && ...args) 
{ 
    write_indirect(std::forward_as_tuple(args...),
                   std::make_index_sequence<sizeof...(args) - 1>{});
}

现在，write_indirect简单地将参数包作为元组，并将参数的索引作为模板参数。然后，它使用get提取最后一个参数，并将其作为第一个参数传递给write_impl。其余参数从元组中解包，并作为第二个参数传递

template<typename... Ts, size_t... Is>
void write_indirect(std::tuple<Ts...> args, std::index_sequence<Is...>)
{
    auto constexpr Last = sizeof...(Ts) - 1;
    write_impl(std::get<Last>(args), std::get<Is>(args)...);
}  

现在，write_impl只是您的原始write函数，但它将分隔符作为第一个参数

template <typename... Ts>
void write_impl(std::string delimiter, Ts && ...args) 
{   
    ((std::cout << args << delimiter),...);
}

这是一个demo