3

作为练习，我正在尝试编写 2 个采用非类型模板 int N 的简单函数。第一个函数需要创建一个元组，该元组由 T 类型的某个对象的 N 个副本组成。我希望它类似于以下内容：

template <class T, int N> 
constexpr std::tuple<T...> fun(T t) {
  return (N > 0) ? std::tuple_cat(t, fun<T, N-1>(t)) : std::make_tuple(t);
}

我也尝试过这样的事情，但没有成功（http://liveworkspace.org/code/3LZ0Fe）。我希望能够用 T = bool 来实例化它，比如：

auto bools = fun<bool, 10> (false);

第二个应该是轻微的变化；我有一个模板结构 Foo，我想创建一个包含 Foo< 0 >, ..., Foo< N > 的元组

template <int N> struct Foo {
   static const int id = N;
}

template <template <int> class T, int N> 
constexpr ??? fun2 (???) {...}

由于模板函数不能部分特化，我什至不知道如何为我的递归编写适当的终止。我想完全静态地做到这一点，而不使用for循环。

==================================================== =================================

按照 Seth 的建议，我坚持编写无限递归的 fun 函数本身：

template<typename T, int N>
typename fun_helper<T, N>::type 
fun(T t) {
  if (N > 0) 
    return typename fun_helper<T, N>::type 
      { std::tuple_cat(std::make_tuple(t), fun<T, N-1>(t)) };
  else return typename fun_helper<T, N>::type { };
}

通过使用带有终止的附加结构，我能够得到这个工作：

template<typename T, int N> struct fun {
  typename fun_helper<T, N>::type make(T t) {
    return typename fun_helper<T, N>::type 
      { std::tuple_cat(std::make_tuple(t), fun<T, N-1>().make(t)) };
  }
};

template<typename T> struct fun<T, 0> {
  typename fun_helper<T, 0>::type 
  make(T t) {
    return typename fun_helper<T, 0>::type { };
  }
};

调用还是比较笨拙的：

auto conds = fun<bool, 3>().make(false);

有没有办法让它在没有这个额外的结构的情况下工作？

auto conds = fun<bool, 3>(false);
4

1 回答 1

1

首先，您可以使用 s 递归构建参数包以struct进行部分特化（我以这种方式向您展示，因为它与 #2 相关）。此代码未经测试，不处理元素的默认值，但它为您提供了思路，并且可以轻松添加默认值代码。

template<typename T, int N, typename... Rest>
struct fun_helper {
    typedef typename fun_helper<T, N - 1, T, Rest...>::type type;
};

template<typename T, typename... Rest>
struct fun_helper<T, 0, Rest...> {
    typedef std::tuple<Rest...> type;
};

template<typename T, int N>
typename fun_helper<T, N>::type fun() {
    return typename fun_helper<T, N>::type { };
}

对于第二个，您可以将上述技术与 s 的参数包结合起来，int并使用 s...来扩展它们，例如

Foo<Ints>...

扩展到

Foo<Int1>, Foo<Int2>, ...

在你的功能中。

于 2013-01-30T04:22:32.500 回答