是否可以使用参数包而不是嵌套模板序列？

Question

Hy,我正在制作一些元编程库,可以帮助从简单的ad-mixture类到继承构建复杂的对象.

例如,我得到了一些产生一组模板类的机制,每个模板类代表一个属性.

我来到了最终的构建过程,看起来像这样:

class Car : public Position< Size< Color< BaseObj<Car> > > > {/*...*/};

我完全不喜欢它.
(BaseObj始终是序列中最内层的模板)

我尝试制作一些处理模板,以便能够像这样写:

class Car : public Proc< Position, Size, Color, Car > {/*...*/};

但没有成功.

是否可以制作这样的模板？
是否有任何其他更易读的语义可以与一系列这样的嵌套模板具有相同的效果？

Answer 1

所以你要...

nest<A, B, C, D>::type<E>

...成为...

A<B<C<D<E>>>>

这是递归的工作.

template <template <typename> typename...>
struct nest;

template <template <typename> typename First, 
          template <typename> typename... Rest>
struct nest<First, Rest...>
{
    template <typename Leaf>
    using type = First<typename nest<Rest...>::template type<Leaf>>;
};

template <template <typename> typename Last>
struct nest<Last>
{
    template <typename Leaf>
    using type = Last<Leaf>;
};

用法示例:

template <typename> struct A { };
template <typename> struct B { };
template <typename> struct C { };
template <typename> struct D { };
struct E { };

int main()
{
    static_assert(std::is_same_v<
        typename nest<A, B, C, D>::template type<E>,
        A<B<C<D<E>>>>
    >);
}

wandbox.org上的实例