模板函数名称作为模板参数？

Question

我定义了一些模板函数，例如：

template<unsigned char V>
void print(){
    std::cout << (int)V << std::endl;
}

现在，我想创建函数指针的const数组。 我试图使用C ++ 11可变参数模板来构造这些数组：

template<typename Type, Type... args>
struct Combination{
    const static Type data[sizeof...(args)];
};

template<typename Type, Type... args>
const Type Combination<Type, args...>::data[sizeof...(args)] = {args...};

template<typename Type, unsigned char var, Type... args>
struct FunArray{
    typedef
    typename FunArray<Type, var-1, &print<var-1>, args...>::result
        result;
};

template<typename Type, Type... args>
struct FunArray<Type, (unsigned char)0, args...>{
    typedef Combination<Type, args...> result;
};

该解决方案可以完美地工作。

int main(){
    for(int i = 0; i < 8; ++i)
        FunArray<void(*)(), 8>::result::data[i]();
}

主要功能将打印从0到7的列表。

现在我的问题是，我还有其他一些模板函数，并且我想编写一组模板工具来为每个这样的函数生成一个数组。 因此，我需要使用参数来替换模板中的硬编码函数名称。 但是，以下代码将无法编译：

template<typename Type, Type... args>
struct Combination{
    const static Type data[sizeof...(args)];
};

template<typename Type, Type... args>
const Type Combination<Type, args...>::data[sizeof...(args)] = {args...};

template<typename Type, typename Fun, unsigned char var, Type... args>
struct FunArray{
    typedef
    typename FunArray<Type, Fun, var-1, &Fun<var-1>, args...>::result
        result;
};

template<typename Type, typename Fun, Type... args>
struct FunArray<Type, Fun, (unsigned char)0, args...>{
    typedef Combination<Type, args...> result;
};

我怎样才能做到这一点？ 谢谢！

Answer 1

这应该做。 诀窍是（a）使用结构模板包装器（ print和otherPrint ）代替直接函数模板，以及（b）使用模板模板参数。 （我必须承认，我发现C ++ 11的某些限制非常违反直觉，例如，最好在FunArray的template参数中使用模板别名。）

template<unsigned char V>                                                       
struct print{                                                                   
  static void call () { std::cout << (int)V << std::endl; }                     
};                                                                              

template<unsigned char V>                                                       
struct otherPrint{                                                              
  static void call () { std::cout << (char)('a'+V) << std::endl; }              
};                                                                              

template<typename Type, Type... args>                                           
struct Combination{                                                             
  const static Type data[sizeof...(args)];                                      
};                                                                              

template<typename Type, Type... args>                                           
const Type Combination<Type, args...>::data[sizeof...(args)] = {args...};       

template<typename Type, template<unsigned char V> class Fun,                    
         unsigned char var, Type... args>                                       
struct FunArray{                                                                
    typedef                                                                     
    typename FunArray<Type, Fun, var-1, Fun<var-1>::call, args...>::result      
    result;                                                                     
};                                                                              

template<typename Type, template<unsigned char V> class Fun, Type... args>      
struct FunArray<Type, Fun, (unsigned char)0, args...>{                          
  typedef Combination<Type, args...> result;                                    
};

int main() {                                                                    
  for(int i = 0; i < 8; ++i)                                                    
    FunArray<void(*)(), print, 8>::result::data[i]();                           
  for(int i = 0; i < 8; ++i)                                                    
    FunArray<void(*)(), otherPrint, 8>::result::data[i]();                      
  return 0;                                                                     
}