функции в качестве аргумента шаблона, плюс переменный аргумент шаблона

Question

Я пишу обобщенную функцию-обертку, которая может обернуть любую функцию в вызов в стиле lua, который имеет вид

int lua_function (lua_State * L)

И я хочуфункция-обертка генерируется на лету, поэтому я подумываю передать функцию в качестве аргумента шаблона.Это тривиально, если вы знаете число (например, 2) аргументов:

template <typename R, typename Arg1, typename Arg2, R F(Arg1, Args)>
struct wrapper

Однако я не знаю число, поэтому я прошу переменный аргумент шаблона для справки

// This won't work
template <typename R, typename... Args, R F(Args...)>
struct wrapper

Вышеприведенное не скомпилируется, поскольку переменный аргумент должен быть последним.Поэтому я использую двухуровневый шаблон, внешний шаблон захватывает типы, внутренний шаблон захватывает функцию:

template <typename R, typename... Args>
struct func_type<R(Args...)>
{
  // Inner function wrapper take the function pointer as a template argument
  template <R F(Args...)>
  struct func
  {
    static int call( lua_State *L )
    {
      // extract arguments from L
      F(/*arguments*/);
      return 1;
    }
  };
};

Это работает, за исключением того, что для обертывания функции типа

double sin(double d) {}

пользовательдолжен написать

func_type<decltype(sin)>::func<sin>::apply

, что утомительно.Вопрос: есть ли лучший, более удобный для пользователя способ сделать это?(Я не могу использовать шаблон функции, чтобы обернуть все это, потому что параметр функции не может использоваться в качестве аргумента шаблона.)

Answer 1

Такие вещи, как std::function и std::result_of, используют следующую технику, чтобы сделать то, что вы хотите в отношении шаблонов с переменными параметрами:

template<typename Signature>
struct wrapper; // no base template

template<typename Ret, typename... Args>
struct wrapper<Ret(Args...)> {
    // instantiated for any function type
};

Вы можете расширить вышеприведенное, добавив параметр типа Ret(&P)(Args...) не тип(указатели на функционирование работают так же хорошо), но вам все равно понадобится decltype на уровне пользователя, то есть wrapper<decltype(sin), sin>::apply.Возможно, было бы законным использование препроцессора, если вы решите использовать макрос для удаления повторения.

template<typename Sig, Sig& S>
struct wrapper;

template<typename Ret, typename... Args, Ret(&P)(Args...)>
struct wrapper<Ret(Args...), P> {
    int
    static apply(lua_State*)
    {
        // pop arguments
        // Ret result = P(args...);
        // push result & return
        return 1;
    }
};

// &wrapper<decltype(sin), sin>::apply is your Lua-style wrapper function.

Выше компилируется с gcc-4.5 в ideone .Удачи в реализации применения, которое (по-разному) выводит аргументы (оставьте мне комментарий, если вы откроете вопрос об этом).Вы рассматривали возможность использования Luabind?

Answer 2

Как говорит @Juraj в своем комментарии, указатель функции может быть аргументом шаблона, см. Следующий простой пример:

#include <iostream>
#include <boost/typeof/typeof.hpp>

void f(int b, double c, std::string const& g)
{
  std::cout << "f(): " << g << std::endl;
}

template <typename F, F* addr>
struct wrapper
{
  void operator()()
  {
    std::string bar("bar");
    (*addr)(1, 10., bar);
  }  
};

int main(void)
{
  wrapper<BOOST_TYPEOF(f), &f> w;
  w();
  return 0;
}

рабочая версия: http://www.ideone.com/LP0TO

Я использую BOOST_TYPEOF, как обычно, я всегда предоставляю примеры в текущем стандарте, но он делает что-то похожее на decltype. Это то, что вы были после?