c++ - 如何从可变元组中获取元素？

Question

所以，我使用可变参数模板创建了一个简单的元组类...

我将如何着手制作一个有效的 get 方法/辅助函数？我正在使用的当前版本导致编译器期望在空元组中定义一个 get。

代码如下:

template<typename... T>
class tuple;

template< > 
class tuple< > { };

template<typename U, typename... T>
class tuple<U, T...>
{
public:
  tuple () {};
  tuple (U f, T... r);

  U get (int idx, int numCalls = 0) const;

  U first_;
  tuple<T...> rest_;
};

template<typename U, typename... T>
tuple<U, T...>::tuple (U f, T... r)
{
  first_ = f;
  rest_ = tuple<T...> (r...);
}

template<typename U, typename... T>
U tuple<U, T...>::get (int idx, int numCalls) const
{
  if (idx == numCalls)
    return first_;

  return rest_.get (idx, numCalls + 1);
}

感谢您的帮助!

Answer 1

为一个类型和零类型添加特化:

template <typename T>
class tuple
{
  T first_;

  // get() ...
}

请注意，您的设计效率极低。首先，get index 实际上应该是一个编译时常量参数，所以你需要 get<i> (就像 std::tuple 一样)。您的运行时代码不包含错误检查，并且无法在编译时捕获无效调用。其次，您的所有构造函数都执行大量复制，可能应该对其进行修改以允许完美转发。