6
我在看this SO question,我無法理解答案是如何工作的。在return callFunc(typename gens<sizeof...(Args)>::type());
這個可變參數模板是如何工作的?
template<int N, int ...S> struct gens : gens<N-1, N-1, S...> {};
在這個例子中,我假設sizeof..(Args)
:我會後的代碼的副本在其中一個答案以供參考:
template<int ...> struct seq {};
// How does this line work?
template<int N, int ...S> struct gens : gens<N-1, N-1, S...> {};
template<int ...S> struct gens<0, S...>{ typedef seq<S...> type; };
double foo(int x, float y, double z)
{
return x + y + z;
}
template <typename ...Args>
struct save_it_for_later
{
std::tuple<Args...> params;
double (*func)(Args...);
double delayed_dispatch()
{
return callFunc(typename gens<sizeof...(Args)>::type());
}
template<int ...S>
double callFunc(seq<S...>)
{
return func(std::get<S>(params) ...);
}
};
int main(void)
{
std::tuple<int, float, double> t = std::make_tuple(1, 1.2, 5);
save_it_for_later<int,float, double> saved = {t, foo};
cout << saved.delayed_dispatch() << endl;
}
我不明白的部分是這個將是3
。 所以,
template<int N, int ...S> struct gens : gens<N-1, N-1, S...> {};
成爲
template<3, {}> struct gens : gens<3-1, 3-1, {}> {};
這是正確的,如果是這樣,什麼從那裏發生了什麼?
謝謝。以這種方式使用遞歸真的把我拋棄了。 – 2012-03-16 04:14:10
謝謝,我也被這部分弄糊塗了。 – Zeks 2013-03-18 18:40:58