VS2107 C++ plantilla variadic ejemplo

Question

Tengo una plantilla de clase y parece que no puedo encontrar la manera de realizar una instanciación de estilo de plantilla variable.

Aquí es el "código" en la medida de lo que estoy buscando:

template<typename _Classname, typename... Args> 
class CFunctorStartExT 
{ 
    friend class CXXFactory; 
protected: 
    template<typename U> 
    CFunctorStartExT(typename U& _functor, Args&... args) : 
    m_Functor(_functor), 
    m_args(args) 
    { 
    } 
    virtual bool ProcessLoop(CSomeClass* pThread) 
    { 
    return m_Functor(pThread, m_args); 
    } 

protected: 
    _Classname& m_Functor; 
    Args... m_args; 
}; 

Obviamente, esto no se compilará :). La idea es crear una clase que pueda almacenar los valores pasados ​​(si corresponde) podría tener _Classname/U defined) en el constructor para que luego se puedan recuperar y pasar a m_Functor en otra función.

Primero: ¿se puede hacer la plantilla variable incluso en VS2010? Estoy obteniendo problemas de compilación solo con la declaración de plantilla error C2143: syntax error : missing ',' before '...' de la línea template<typename _Classname, typename... Args>

En segundo lugar, ¿se puede hacer lo que estoy tratando de lograr? ¡Gracias!

Answer 1

Visual C++ 2010 no admite plantillas variadic.

Answer 2

Las plantillas de Variadic son un parche en un kludge después de un hack; no vas a disfrutar esto. La forma de hacerlo (fuera de mi cabeza) es usar la especialización de plantillas junto con la herencia. Algo a lo largo de estas líneas:

template<typename Classname, typename... Args> 
class CFunctorStartExT; 

template<typename Classname, typename Arg0, typename... Args> 
class CFunctorStartExT : private CFunctorStartExT<Classname, Args...> { 
protected: 
    Arg0 m_arg; 
}; 

template<typename Classname> 
class CFunctorStartExT { 
protected: 
    Classname &m_Functor; 
}; 

que nunca he hecho esto antes, y no lo he probado, pero esta es la idea general. Puede echar un vistazo a la implementación std::tuple para algo que realmente funciona.

Answer 3

Creo que lo siguiente hará lo que quiera. Lo primero que necesita una utilidad:

// make_tuple_indices 

template <size_t...> struct tuple_indices {}; 

template <size_t _Sp, class _IntTuple, size_t _Ep> 
struct make_indices_imp; 

template <size_t _Sp, size_t ..._Indices, size_t _Ep> 
struct make_indices_imp<_Sp, tuple_indices<_Indices...>, _Ep> 
{ 
    typedef typename make_indices_imp<_Sp+1, tuple_indices<_Indices..., _Sp>, _Ep>::type type; 
}; 

template <size_t _Ep, size_t ..._Indices> 
struct make_indices_imp<_Ep, tuple_indices<_Indices...>, _Ep> 
{ 
    typedef tuple_indices<_Indices...> type; 
}; 

template <size_t _Ep, size_t _Sp = 0> 
struct make_tuple_indices 
{ 
    static_assert(_Sp <= _Ep, "make_tuple_indices input error"); 
    typedef typename make_indices_imp<_Sp, tuple_indices<>, _Ep>::type type; 
}; 

entonces usted puede utilizar esto para ayudar a expandir una tupla que sostiene sus argumentos:

template<typename _Classname, typename... Args> 
class CFunctorStartExT 
{ 
    friend class CXXFactory; 
protected: 
    template<typename U> 
    CFunctorStartExT(U& _functor, Args&... args) : 
    m_Functor(_functor), 
    m_args(args...) 
    { 
    } 

    virtual bool ProcessLoop(CSomeClass* pThread) 
    { 
    return ProcessLoop(pThread, 
         typename make_tuple_indices<sizeof...(Args)>::type()); 
    } 

protected: 
    _Classname& m_Functor; 
    std::tuple<Args...> m_args; 

private: 
    template <std::size_t ...Indx> 
    bool ProcessLoop(CSomeClass* pThread, tuple_indices<Indx...>) 
    { 
     return m_Functor(pThread, std::get<Indx>(m_args)...); 
    } 
}; 

En cuanto al apoyo plantilla variadic VS2010: No tengo idea.