указатель на статическую функцию-член недействителен в качестве аргумента шаблона для g++

Это часть моего фактического кода, который имеет дело с представлением классов C++ для Lua, например:

#include <lua5.1/lua.hpp>
#include <tuple>

//in actual code, lots of specializations of these C++<=>Lua's stack helper functions. Here it's just a sample.
template<typename T> T to(lua_State*, int);
template<> int to(lua_State* l, int i){
    return lua_tointeger(l, i);
}
template<typename T> void push(lua_State*, T);
template<> void push(lua_State* l, int val){
    lua_pushinteger(l, val);
}

//in actual code, placed in a header
template<typename T, T> class function_proxy{
    static_assert(sizeof(T)!=sizeof(T), "Error: function_proxy works with functions (duh)");
};

template<typename Return, typename... Args, Return(*func)(Args...)> class function_proxy<Return(*)(Args...), func>{
    static Return call(lua_State* l, Args... args){
        return func(args...);
    }
    template<typename... retrieved> static Return call(lua_State* l, retrieved... read){
        return call(l, read..., to<typename std::tuple_element<sizeof...(read), std::tuple<Args...> >::type >(l, 1+sizeof...(read)));
    }
public:
    static int wrapper(lua_State* l){
        push(l, call(l));
        return 1;
    }
};

//in actual code, inner class of a template class in another header
template<typename CT, CT> class member_helper{
    static_assert(sizeof(CT)!=sizeof(CT), "Error: member_helper works with members of T (duh)");
};
//Just one of the actual partial specializations, to combine constness and the return of void or non-void
template<typename Class, typename Return, typename... Args, Return(Class::*fun)(Args...)> struct member_helper<Return(Class::*)(Args...), fun>{
    static Return as_free(Class& obj, Args... args){
        return (obj.*fun)(args...);
    }
    static int worker(lua_State* l, Class& obj, bool is_const, bool write){
        if(write) throw "Cannot write a member function.";
        //ERROR HERE: template argument 2 is invalid. Not very helpful message.
        lua_pushcclosure(l, function_proxy<decltype(&as_free), &as_free>::wrapper, 0);
        return 1;
    }
};

struct Test{
    int test(int arg){ return arg*3; }
};

int test_as_free(int arg){ return arg*3; }

int main(){
    lua_State* l=luaL_newstate();
    Test t;
    //works fine
    lua_pushcclosure(l, function_proxy<decltype(&test_as_free), &test_as_free>::wrapper, 0);
    //does not work
    member_helper<decltype(&Test::test), &Test::test>::worker(l, t, false, false);
}

Код дает сбой при получении указателя function_proxy<decltype(&as_free), &as_free>::wrapper, хотя очень похожее делается в main. Я не думаю, что есть какая-то разница между получением указателя на свободную функцию, а не на статическую функцию-член. Является ли это примером этой ошибки g++ (обратите внимание, что я компилирую с -std=c++0x и кажется, что ошибка была исправлена ​​​​в C++ 11)?


person Lorenzo Pistone    schedule 16.04.2012    source источник


Ответы (2)


Это ошибка g++, и она подтверждена.

person Lorenzo Pistone    schedule 16.04.2012

Я не совсем понял, но вы уверены, что хотите, чтобы Class был decltype(&Test::test), а Return был &Test::test? Для меня это выглядит так, как должно быть:

member_helper<Test, int>::worker

Однако как насчет того, чтобы перейти от рабочей строки к нерабочей, добавляя одну косвенность типа за другой?

person bjhend    schedule 16.04.2012
comment
нет, этот синтаксис сложнее, здесь я объявляю аргумент шаблона полностью Return(Class::*)(Args...) как тип, выведенный из decltype(&Test::test), что правильно. Это точка частичной специализации класса. - person Lorenzo Pistone; 16.04.2012