Template function wrapper

Question

Я пытаюсь превратить любую функцию в функцию, которая принимает один аргумент (state Interpreter). И если я передаю функцию напрямую, все работает хорошо. Но если я закрою дополнительную функцию, я получаю ошибку компилятора. Объясните, пожалуйста, что я делаю неправильно.

#include <iostream> 

template <std::size_t... Is> 
struct _indices { 
    template <template <size_t...> class Receiver> 
    using Relay = Receiver<Is...>; 
}; 

template <std::size_t N, std::size_t... Is> 
struct _indices_builder : _indices_builder<N-1, N-1, Is...> {}; 

template <std::size_t... Is> 
struct _indices_builder<0, Is...> { 
    using type = _indices<Is...>; 
}; 

struct lua_State 
{}; 

template <typename Ret, typename... Args> 
struct FunctionWrapperImpl { 
    template <size_t... Indices> 
    struct ImplementationNonVoid { 
     template <Ret (* func)(Args...)> static inline 
     int invoke(lua_State* state) { 
      func(10); 
      return 1; 
     } 
    }; 

    using Implementation = 
     typename _indices_builder<sizeof...(Args)>::type::template Relay< 
      ImplementationNonVoid 
     >; 
}; 

template <typename ToBeWrapped> 
struct Wrapper { 
}; 

template <typename Ret, typename... Args> 
struct Wrapper<Ret (*)(Args...)>: 
    FunctionWrapperImpl<Ret, Args...>::Implementation {}; 


int test(int a) 
{ 
    std::cout<< a; 
    return 5; 
} 


typedef int (*lua_CFunction) (lua_State *L); 

template <typename T> 
lua_CFunction register_func(T fun) 
{ 
    lua_CFunction f = 
      (&Wrapper<decltype (fun)>::template invoke<T>); // Error 
       // no matches converting function 'invoke' to type 'lua_CFunction {aka int (*)(struct lua_State*)}' 
    //do somthing with f                  
    return f; 
} 

int main(int argc, char *argv[]) 
{ 
    lua_State s; 

    lua_CFunction t = (&Wrapper<decltype(&test)>::template invoke<&test>); // work 
    t(&s); // no problem 
    lua_CFunction t2 = register_func(&test); 
    t2(&s); 

    return 0; 
} 

Полная ошибка в сборке.

main.cpp: In instantiation of 'int (* register_func(T))(lua_State*) [with T = int (*)(int); lua_CFunction = int (*)(lua_State*)]': 
main.cpp:69:40: required from here 
main.cpp:58:65: error: no matches converting function 'invoke' to type 'lua_CFunction {aka int (*)(struct lua_State*)}' 
    lua_CFunction f = (&Wrapper<decltype (fun)>::template invoke<T>); 
                   ^
main.cpp:25:7: note: candidate is: template<int (* func)(int)> static int FunctionWrapperImpl<Ret, Args>::ImplementationNonVoid<Indices>::invoke(lua_State*) [with Ret (* func)(Args ...) = func; long unsigned int ...Indices = {0ul}; Ret = int; Args = {int}] 
    int invoke(lua_State* state) { 

Answer 1

Существует значительная разница между:

(&Wrapper<decltype (fun)>::template invoke<T>); 

и

(&Wrapper<decltype(&test)>::template invoke<&test>); 

в первом использовании T, который, очевидно, тип функции вы передаете в последнем вы введите указатель на функцию на метод вызова. Поскольку метод invoke принимает параметр шаблона непигового типа, здесь указатель функции, второй код правильно компилируется. Помните - вы не можете смешивать параметры шаблона непигового типа с параметрами шаблона типа так же, как вы не можете смешивать параметры шаблона шаблона с параметрами шаблона шаблона.