是g ++的智能足以优化模板函数的递归调用？

我有这样的代码片段：是g ++的智能足以优化模板函数的递归调用？

template<typename... Args> class function_helper<void(Args...)>{ 
public: 
    typedef void(*generic_function)(Args...); 
    static void call(lua_State* l, generic_function func, Args... args){ 
     func(args...); 
    } 
    template<typename... retrieved> static void call(lua_State* l, generic_function func, retrieved... read){ 
     call(l, func, read..., to<typename std::tuple_element<sizeof...(read), std::tuple<Args...> >::type >(l, 1+sizeof...(read))); 
    } 
    static int wrapper(lua_State* l){ 
     assert(lua_isuserdata(l, lua_upvalueindex(1))); 
     call(l, generic_function(lua_touserdata(l, lua_upvalueindex(1)))); 
     return 0; 
    } 
};

的目的是为了有一个免费的函数包装（任意长度的参数列表），所以它的调用由LUA推function_helper::wrapper。一切正常。我的“忧”的是G ++是不是足够聪明，明白的call递归调用可以用类似的

call(luastate, to<type1>(luastate, 1), to<type2>(luastate, 2), to<type3>(luastate, 3), ...);

我的编译器的单一调用替换为g ++ 4.6.1。如果你有关于g ++ 4.7或更新版本的信息，那也是值得欢迎的。

P.S. 使用std::tuple是解决g ++ 4.6限制的一种解决方法，它不能直接将可变参数模板列表解压缩为可变参数或其他东西。

来源

2012-03-25 Lorenzo Pistone

我在#gcc @ freenode询问。他们说是的，除非你使用函数局部变量的指针。但既然没有，答案应该是肯定的。

来源

2012-04-20 21:33:25

是g ++的智能足以优化模板函数的递归调用？

回答

相关问题