多个可变函数的单个模板参数包？

Question

通常我们会做这样的事情来定义多个采用相同参数包的可变参数函数：

template<typename ...Pack>
void func1(Pack... params);

template<typename ...Pack>
void func2(Pack... params);

template<typename ...Pack>
void func3(Pack... params);

template<typename ...Pack>
void func4(Pack... params);

有什么办法可以避免这种多余的重复吗？例如，类似于：

template<typename ...Pack>
{
    void func1(Pack... params);
    void func2(Pack... params);
    void func3(Pack... params);
    void func4(Pack... params);
}

Answer 1

C++20 之前的回答：不，您无法做任何事情来获得这样的语法。你能做的最好的事情就是创建一个宏来为你做很多工作。

C++20：您可以使用 auto 作为函数参数类型，它是写出模板的语法糖，就像当前用于 lambda 一样。那会给你

void func1(auto... params);
void func2(auto... params);
void func3(auto... params);
void func4(auto... params);

Answer 2

尝试将它们包装在一个结构中。如果您希望它们独立于任何对象状态，您应该将它们声明为静态的。

template <typename ...Pack>
struct FunctionHolder
{
    static void func1(Pack... params);

    static void func2(Pack... params);
};

LIVE SAMPLE

Answer 3

如果你可以使用 C++17...也许你可以定义一个函数，带有一个附加的模板参数，即函数的编号，并使用 if constexpr 来分隔函数的主体单一功能。

我的意思如下

template <int Id, typename ... Pack>
void func (Pack ... params)
 {
   if constexpr ( 1 == id )
    { /* body of func1() */ }
   else if constexpr ( 2 == id )
    { /* body of func2() */ }
   else if constexpr ( 3 == id )
    { /* body of func3() */ }
   // else // etc...
 }

调用 func() 你必须明确整数模板参数

func<1>("abc"); // equivalent to func1("abc");

正如 Nathan Oliver 所观察到的，当函数名称很重要且具有描述性（而不是简单的枚举）时，使用整数模板参数会使描述变得松散。

在这种情况下，您可以添加一个枚举值附加模板参数，而不是 int。具有枚举值的描述性名称。

类似于

enum funcId
 {
   a_complex_and_descriptive_func_id,
   another_complex_func_id,
   a_third_complex_func_id // , etc...
 }     

template <funcId Id, typename ... Pack>
void func (Pack ... params)
 {
   if constexpr ( a_complex_and_descriptive_func_id == id )
    { /* body of first function */ }
   else if constexpr ( another_complex_func_id == id )
    { /* body of second function */ }
   else if constexpr ( a_third_complex_func_id == id )
    { /* body of third function */ }
   // else // etc...
 }

调用变为

func<a_complex_and_descriptive_func_id>("abc");

多个可变函数的单个模板参数包？

Single template parameter pack for multiple variadic functions?

c++

templates

variadic-templates