VS2010 C++可变参数模板示例

Question

我有一个类模板，但我似乎无法弄清楚如何执行可变模板样式实例化。

这是到目前为止我正在寻找的“代码”：

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;
};

显然这不会编译:)。这个想法是创建一个类，可以存储构造函数中传入的值（如果有的话......它可能只定义了 _Classname/U），以便稍后可以检索它们以传递给另一个函数中的 m_Functor。

第一：Variadic Template 可以在 VS2010 中完成吗？我仅在 template行中的模板声明 error C2143: syntax error : Missing ',' before '...' 中遇到编译问题

其次，我想要完成的事情可以完成吗？谢谢！

Answer 1

Visual C++ 2010 不支持可变参数模板。

Answer 2

我相信以下内容会满足您的要求。首先你需要一个实用程序：

// 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;
};

然后你可以使用它来帮助你扩展保存你的参数的元组：

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)...);
    }
};

就VS2010可变参数模板支持而言：我不知道。

Answer 3

可变参数模板是一个黑客拼凑而成的补丁——你不会喜欢这个。做到这一点的方法（我突然想到）是将模板专门化与继承结合使用。沿着这些思路：

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;
};

我以前从未这样做过，也没有测试过，但这是总体思路。您可以查看 std::tuple 实现以了解实际有效的内容。