如何编写不能接受零参数的可变参数模板？

Question

这是一个打印参数的可变参数模板。

#include <string>
#include <iostream>

void Output() {
    std::cout<<std::endl;
}

template<typename First, typename ... Strings>
void Output(First arg, const Strings&... rest) {
    std::cout<<arg<<" ";
    Output(rest...);
}

int main() {
    Output("I","am","a","sentence");
    Output("Let's","try",1,"or",2,"digits");
    Output(); //<- I do not want this to compile, but it does.

    return 0;
}

有没有办法在没有“无参数”调用工作的情况下获得此功能，并且不必每次都编写两个函数？

Answer 1

您可能希望保持第一个参数和其余参数的分离，您可以使用：

template<typename First, typename ... Rest>
void Output(First&& first, Rest&&... rest) {
    std::cout << std::forward<First>(first);
    int sink[]{(std::cout<<" "<<std::forward<Rest>(rest),0)... };
    (void)sink; // silence "unused variable" warning
    std::cout << std::endl;
}

请注意，我使用完美转发来避免复制任何参数。以上具有避免递归的额外好处，因此可能会生成更好（更快）的代码。

我编写sink 的方式也保证了从rest 扩展的表达式是从左到右计算的——与仅编写辅助函数template<typename...Args>void sink(Args&&...){} 的幼稚方法相比，这很重要。

Live example

Answer 2

从转发类型函数调用该函数，并有一个这样的 static_assert：

template <typename ... Args>                                                       
void forwarder(Args ... args) {                                                    
    static_assert(sizeof...(args),"too small");                                    
    Output(args...);                                                               
}  

Answer 3

据我所知有两个问题：

1. 如何避免不带参数的Output() 调用。
2. 有没有更简单的方法来结束编译时递归？

我对第1项的解决方案如下：

template<typename T>
void Output(const T & string) {
    std::cout<<string<<std::endl;
}

template<typename First, typename ... Strings>
void Output(const First & arg, const Strings & ... rest) {
    std::cout<<arg<<" ";
    Output(rest...);
}

基本上，我不是在模板列表为空时结束递归，而是在它只包含一种类型时结束它。上面和问题中的代码有一个区别：如果在最后一项之后不输出任何空格。相反，它只是输出换行符。

对于第二个问题，请参阅上面 Daniel Frey 的答案。我真的很喜欢这个解决方案，虽然花了一些时间来掌握它（我赞成这个答案）。同时我发现它使代码更难阅读/理解，因此更难维护。目前，除了小型个人代码 sn-ps 之外，我不会使用该解决方案。