c++ - 没有用于调用可变参数包函数的匹配函数

Question

考虑:

#include<tuple>

template<int N,typename... Vs,typename... Ts>
void fog( const std::tuple<Vs...>& vs , const std::tuple<Ts...> & ts )
{
}

template<typename...Vs,typename...Ts >
int gof( const std::tuple<Vs...>& vs , const std::tuple<Ts...> & ts )
{
  fog<0,Vs...,Ts...>(vs,ts);
}

int main()
{
  std::tuple<int,double> t;
  gof(t,t);
}

为什么编译器(g++-4.6)找不到fog函数，如何让它找到它？

error: no matching function for call to ‘fog(const std::tuple<int, double>&, const std::tuple<int, double>&)’
note: candidate is:
note: template<int N, class ... Vs, class ... Ts> void fog(const std::tuple<Vs ...>&, const std::tuple<_Tail ...>&)

是的，我需要完整的模板参数 N。 (这是一个简化的例子。)

Answer 1

不要展开参数包:

fog<0>(vs,ts);

否则编译器不知道哪些模板参数属于哪个元组。这样，元组的模板参数就会像往常一样被扣除。