如何使用当前类模板作为其他模板的模板参数

我使用递归继承的递归模板类
我试图定义一种获得第n个基数的抽象方法(比如基数0是当前类，基数1是其基数，基数2是其基数等)

(在这个例子中，模板参数是size_t，但相同的原理适用于typename或class。)

我可以使用部分专用的helper结构来完成这项工作。但我想让它独立于模板(而不是在我有递归模板的时候制作一个辅助结构)，如下所示：

namespace helper
{
template<template<size_t...> typename templ, size_t pos, size_t s0, size_t... rest>
struct getter
{
typedef typename getter<templ, pos - 1, rest...>::type type;
type &operator()(templ<s0, rest...> &s)
{
getter<templ, pos - 1, rest...> getter;
return getter(static_cast<templ<rest...>&> (s));
}
};
template<template<size_t...> typename templ, size_t s0, size_t... rest>
struct getter<templ, 0, s0, rest...>
{
typedef templ<s0, rest...> type;
type &operator()(templ<s0, rest...> &s)
{
return s;
}
};
}

现在，在我的模板类中，我想使用这个助手来生成一个函数get<size_t n>()，它向我返回对第n个基的引用(代码在get声明时编译失败)：

template<size_t...>
struct record {};
template<size_t n, size_t... rest>
struct record<n, rest...> : record<rest...>, value<n>
{
template<size_t pos>
typename helper::getter<record, pos, n, rest...>::type::value_type &get()
{
helper::getter<record, pos, n, rest...> getter;
return static_cast<typename helper::getter<record, pos, n, rest...>::type::value_type&>(getter(*this));
}
};

这失败了，因为在record模板中，record是最终类，而不是模板。我想使用类似"当前模板"的东西，而不是"当前实例化的类"。

我找到的唯一解决方法(适用于Visual Studio 2015)是使用全局别名来复制模板：

template<size_t...s>
using g_record = record<s...>;

然后修改get声明以调用全局别名(指向相同类型)：

...
template<size_t pos>
typename helper::getter<g_record, pos, n, rest...>::type::value_type &get()
{
helper::getter<g_record, pos, n, rest...> getter;
return static_cast<typename helper::getter<g_record, pos, n, rest...>::type::value_type&>(getter(*this));
}
...

有没有更直接或"正确"的方法来做到这一点？