混叠可变参数模板函数

aliasing a variadic template function

本文关键字：函数 参数 变参      更新时间：2023-10-16

我有一个可变函数，如:

void test(int){}
template<typename T,typename...Args>
void test(int& sum,T v,Args... args)
{
    sum+=v;
    test(sum,args...);
}

我想把它别名为:

auto sum = test;//error : can not deduce auto from test
int main()
{
    int res=0;
    test(res,4,7);
    std::cout<<res;
}

我尝试使用std::bind，但它不与可变函数工作，因为它需要占位符…

可变函数是否可以别名

c++中:

#include <iostream>
void test(int){}
template<typename T,typename...Args>
void test(int& sum,T v,Args... args)
{
  sum+=v;
  test(sum,args...);
}
template<typename T,typename...Args>
decltype(test<T, Args...>)* sum = &(test<T, Args...>);
int     main(void)
{
  int   res = 0;
  sum<int, int>(res, 4, 7);
  std::cout << res << std::endl;
}

或者将其包装在另一个可变函数中并std::forward参数:

template<typename T,typename...Args>
void    other(int&sum, T v, Args&&... args)
{
  test(sum, std::move(v), std::forward<Args>(args)...);
}

你所尝试的与

void test(int)
{
}
void test(double, int)
{
}
auto a = test;

编译器没有办法检测你想使用哪个重载。

您可以通过以下方式明确指定要将哪个test分配给a:

auto a = (void(*)(int))test;

如果你想添加可变模板版本，你可以使用:

template<typename T,typename...Args>
void test(int& sum,T v,Args... args)
{
    sum+=v;
    test(sum,args...);
}
auto a = test<int, int, int>;

这不是混叠。auto a = test试图声明与test类型相同的变量a，并使它们相等。因为test不是一个单独的函数，而是一个函数模板(在此基础上，你甚至可以重载函数)，编译器不能决定a的类型。

可以使用using关键字来别名模板，或者别名任何符号。

using a = test;

编辑:对不起，这个只适用于类型，而不是函数。

相关文章：