的可变参数模板显式实例化功能

Question

我写一个使用可变参数为模板的功能，像这样一个图书馆：

template<typename ... T> 
void func(T ... args) { 
    // ... 
} 

我需要确保在该函数中生成的代码（即显式实例化）的某些类型，像这样：

template class func<int>; 
template class func<int, int>; 
template class func<int, int, int>; 
// ... 

其中int参数的最大数是一个非const maxArgs()（我无法改变这个，因为它是一个外部函数）。我试过以下内容：

template<typename ... T> 
void f(size_t max, T ... args) { // Generates "infinitely" 
    if (sizeof...(T) < max) { 
    func(args...); 
    f(max, args..., 0); 
    } 
} 

int main(int argc, char** argv) { 
    f(maxArgs(), 0); 
    // ... 
    return 0; 
} 

但是，编译器对函数生成递归没有适当的基本情况，所以无法编译。我已经使用非类型模板，像这样（使用一些代码here）也试过：

template<int ...> struct seq { }; 
template<int N, int ... Ns> struct gens : gens<N-1, N-1, Ns...> { }; 
template<int ... Ns> struct gens<0, Ns...> { typedef seq<Ns...> type; }; 

std::vector<int> params; 

template<int ... Ns> 
void f(seq<Ns...>) { 
    test(std::get<Ns>(params)...); 
} 

void instantiate(size_t max) { 
    for (int i = 1; i < max; ++i) { 
    for (int j = 0; j < i; ++j) { 
     params.push_back(0); 
    } 
    f(typename gens<i>::type()); // Fails to compile -- i is not const 
    params.clear(); 
    } 
} 

int main(int argc, char** argv) { 
    instantiate(maxArgs()); 
} 

但这需要一个常量的值，所以无法编译为好。有没有办法正确地做到这一点，不知道maxArgs()的返回值？

Answer 1

因为我知道maxArgs()（即42）有一个最大可能值，所以我想出了以下解决方案，这要归功于@JohnZwinck的建议。

#include <vector> 

typedef void (*void_fnptr)(); 

std::vector<void_fnptr> table; 

// Function that needs to be code-generated for certain number of int types 
template<typename ... T> 
void func(T ... args) { 
    // ... 
} 

template<typename T> 
void instantiate(T elem) { 
    table.push_back((void_fnptr)func<T>); 
} 

template<typename T, typename ... Ts> 
void instantiate(T first, Ts ... rest) { 
    table.push_back((void_fnptr)func<T, Ts...>); 
    instantiate(rest...); 
} 

int main(int argc, char** argv) { 
    // 42 int arguments: 
    instantiate(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 
       0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0); 
    // ... 
    return 0; 
} 

Answer 2

不，您不可能在编译时生成取决于仅在运行时已知的值的模板。你需要选择一些预先保持不变的最大值（有时候不要使用所有的实例），或者想办法让maxArgs（）成为编译时常量。或者在使用时即时编译您的代码！

由于您对此代码的信息比我们做得更多，因此您可能会考虑是否将其作为可变参数模板实际上是需要的。它似乎不是，因为模板参数的数量是在运行时确定的。编写一个完全运行时确定的解决方案可能会更好，但没有可变参数模板。