是否可以调用具有不同数量参数的函数，传递相同的参数包

Question

例如说我有两个简单的功能：

void a(int x)
{
    //do something with x
}

void b(int x, float y)
{
    // do something with x and y
}

我希望有一个具有可变数量的参数的函数，可以根据标志调用上述两种方法：

template<typename... Args>
void varArgs(bool a_or_b, Args... args)
{
    if (a_or_b)
        a(args...);
    else
        b(args...);
}

该标志会告诉我们是要使用第一个函数还是第二个函数，但是由于模板是在编译时实例化的，所以这不起作用。我读过constexpr if，但是我只能使用 c++14，所以我想知道是否有替代方案？

编辑： bool 可以是编译时常量，而不是运行时参数。

Answer 1

你可以用constexpr if 做的任何事情，你都可以用标签调度来做。它看起来像这样：

void a(int x)
{
    //do something with x
}

void b(int x, float y)
{
    // do something with x and y
}

template <typename ... Args>
void callImpl(std::true_type, Args && ... args) {
    a(std::forward<Args>(args)...);
};

template <typename ... Args>
void callImpl(std::false_type, Args && ... args) {
    b(std::forward<Args>(args)...);
};

template<bool callA, typename... Args>
void varArgs(Args&&... args)
{
    callImpl(std::integral_constant<bool, callA>{}, std::forward<Args>(args)...);
}

int main() {
    varArgs<true>(0);
    varArgs<false>(0, 0.0);
}

这里的想法是，从varArgs 到callImpl 的调用将根据布尔值的不同进行分派。为此，我们需要将布尔值提升为不同的类型，这就是为什么我说布尔值需要是模板参数而不是值的原因。实例：http://coliru.stacked-crooked.com/a/6c53bf7af87cdacc

Answer 2

函数重载

如果您只是想根据传递参数的签名来调用参数包，您可以只为同一函数使用不同的重载：

void a(int x)
{
    //do something with x
}

void a(int x, float y)
{
    // do something with x and y
}

template<typename... Args>
void dispatcher(Args... args)
{
    a(args...);
}

标签调度

如果您想根据布尔值选择函数，并且总是有 2 个参数（1 个int，1 个float），您可以使用模板布尔值和标签调度来实现：

#include <type_traits>

void a(int x)
{
    //do something with x
}

void b(int x, float y)
{
    // do something with x and y
}

template<bool B, typename... Args>
void disp_impl(std::true_type, Args... args)
{
    a(args...);
}

template<bool B, typename... Args>
void disp_impl(std::false_type, Args... args)
{
    b(args...);
}

template<bool B, typename... Args>
void dispatcher(Args... args)
{
    using type = std::integer_constant<bool, B>;
    a(type{}, args...);
}

运行时

如果您需要运行时选择，则必须以老式方式进行。请记住，所有函数签名都必须有效，因为分支评估在编译时是未知的。因此，这仅在您将相同的参数传递给函数的所有版本并且布尔值在编译时未知时才有用。这依赖于get 描述的here 的帮助器。

void a(int x)
{
    //do something with x
}

void b(int x, float y)
{
    // do something with x and y
}

template<typename... Args>
void dispatcher(bool a_or_b, Args... args)
{
    if (a_or_b)
        a(get<0>(args...));
    else
        b(args...);
}

Answer 3

很遗憾，这不是通用解决方案，而是针对您的特定情况量身定制的解决方案。

如果有几个 lambda 包装器，在 false 情况下第二个值的默认值是什么？

template<typename... Args>
void varArgs (bool a_or_b, Args... args)
 {
   if ( a_or_b )
      [](int x, ...){ a(x); }(args...);
   else
      [](int x, float y = 0.0f, ...){ b(x, y); }(args...);
 }

当a_or_b 的值不是已知的编译时间时，这也应该有效。

如果你可以修改varArgs()签名，你可以直接使用第二个参数默认值技巧，避免使用lambda函数

void varArgs (bool a_or_b, int x, float y = 0.0f, ...)
 {
   if ( a_or_b )
      a(x);
   else
      b(x, y);
 }