这是一种方法。给定您的课程模板some_other_type
:
template<int I, int J>
struct some_other_type { };
并给出一些隐藏在detail
命名空间中的机器:
namespace detail
{
template<int... Is>
struct pairs { };
template<int I, int J>
struct pairs<I, J>
{
using type = std::tuple<some_other_type<I, J>>;
};
template<int I, int J, int... Is>
struct pairs<I, J, Is...>
{
using type = decltype(std::tuple_cat(
std::tuple<some_other_type<I, J>>(),
typename pairs<J, Is...>::type()));
};
}
您可以提供一个简单的函数来实例化帮助类模板:
template<int... Is>
typename detail::pairs<Is...>::type pairs()
{
return typename detail::pairs<Is...>::type();
}
以下是您将如何使用它(和一个测试用例):
#include <type_traits>
int main()
{
auto p = pairs<1, 2, 3, 4>();
// Won't fire!
static_assert(
std::is_same<
decltype(p),
std::tuple<
some_other_type<1,2>,
some_other_type<2,3>,
some_other_type<3,4>>
>::value,
"Error!");
}
最后,这是一个活生生的例子。
改进:(为什么要<1, 2, 3, 4>
在可以写的时候写<1, 5>
)?
也可以扩展上述解决方案,这样就不需要手动将最小值和最大值之间的每个数字作为模板参数写入pairs()
. 鉴于下面的附加机制,再次隐藏在detail
命名空间中:
namespace detail
{
template <int... Is>
struct index_list { };
template <int MIN, int N, int... Is>
struct range_builder;
template <int MIN, int... Is>
struct range_builder<MIN, MIN, Is...>
{
typedef index_list<Is...> type;
};
template <int MIN, int N, int... Is>
struct range_builder : public range_builder<MIN, N - 1, N - 1, Is...>
{ };
// Meta-function that returns a [MIN, MAX) index range
template<int MIN, int MAX>
using index_range = typename range_builder<MIN, MAX>::type;
template<int... Is>
auto pairs_range(index_list<Is...>) -> decltype(::pairs<Is...>())
{
return ::pairs<Is...>();
}
}
可以定义一个辅助函数pairs_range()
,它接受定义范围的 2 个模板参数[begin, end)
- 其中end
不包括在标准库的样式中:
template<int I, int J>
auto pairs_range() -> decltype(pairs_range(detail::index_range<I, J>()))
{
return pairs_range(detail::index_range<I, J>());
}
这就是使用它的方式(包括一个测试用例):
int main()
{
// Won't fire!
static_assert(
std::is_same<
decltype(pairs_range<1, 5>()),
decltype(pairs<1, 2, 3, 4>())
>::value,
"Error!");
}
再一次,这是一个活生生的例子。