Rrerku

I am trying to do a parameter pack unrolling by dispatching to a class recursively. I'd like to do that from right to left since some of the operations do pre-pending.

template <typename... T>
class Foo;

template <typename T>
class Foo<T> /* base case implementation*/;

template <typename T, typename R, typename... Rs>
class Foo<T, Rs..., R> 
 private:
 Foo<T, Rs...> foo_;

Unfortunately, the above gets me:

class template partial specialization contains template parameters that cannot be deduced;
this partial specialization will never be used

This seems odd to me, I would assume that even though the arguments has switched order, Foo<T, Rs..., R> should still match the template specialization.

I've looked at some similar questions:

Specifically, C++ template partial specialization: Why cant I match the last type in variadic-template?

However, the highest voted (non-accepted) answer doesn't make sense to me. Sure I understand that the template parameter pack declaration must be the last in the declaration, but I do that for the template specialization.

I'm not sure why the compiler cannot map Foo<T, Rs..., R> to the initial template declaration Foo<T...> and enforces the parameter pack declaration order there.

Other answers on that thread offer how to extract the last value, but that still doesn't allow you to do recursive parameter pack unrolling, which is sort of the whole point here. Is it just impossible to unroll a parameter pack from right to left?

Here is an utility to instatiate a template with a reverse order of template parameters:

#include <type_traits>
#include <tuple>

template <template <typename...> typename Template, typename ...Arg>
struct RevertHelper;

template <template <typename > typename Template, typename Arg>
struct RevertHelper<Template, Arg>

 using Result = Template<Arg>;
;

template <template <typename... > typename Template, typename Head, typename ...Tail>
struct RevertHelper<Template, Head, Tail...>

private:
 template <typename ...XArgs>
 using BindToTail = Template<XArgs..., Head>;

public:

 using Result = typename RevertHelper<BindToTail, Tail...>::Result;
;

static_assert(std::is_same_v<typename RevertHelper<std::tuple, int, double>::Result, std::tuple<double, int>>, "");

So if you need to instantiate Foo with template pack Args... being reversed you can use

typename RevertHelper<Foo, Args...>::Result

To do the parameter pack expansion the way you want, dispatch to the reversed implementation:

namespace internal 
 template <typename... T>
 class FooHelper;
 template <typename T>
 class FooHelper<T> /* base implementation */
 template <typename L, typename R, typename... Rs>
 class FooHelper<T> 
 private:
 Foo<T, Rs...> foo_helper_;
 ;

template <typename... T>
class Foo 
 typename RevertHelper<internal::FooHelper, T...>::Result foo_helper_;
;

Pattern matching in C++ template patterns is intentionally simplified for sake of simplicity of algorithm and understanding.

Take a look at hypothetical algorithm if this could be possible:

1. Get some declaration: using X = Foo<int, char, bool, double>;


2. Compiler checks specializations: first one is Foo - it's dropped.


3. Compiler checks specializations: second one is your Foo<T, Rs..., R>
   
   
   1. 
      T is int, we're fine.
   
   
   2. 
      R's can be emtpy, let's try to skip it.
   
   
   3. 
      R is char, but we're at the end of specialization parameters, let's get back to 2.
   
   
   4. 
      R's is char
   
   
   5. 
      R is bool, but we're at the end of specialization parameters, let's get back to 2.
   
   
   6. 
      R's is char, bool
      
   
   
   7. 
      R is double, we're fine, select this one
   
   

But this is only one scenario: another one would be to eat all parameters to the end and cut off one by one in order to try to match it. This can be problematic, because such template specialization would be inherently ambiguous with another possible specialization that doesn't seem to be an ambiguity here:

template<typename T, typename S>
class Foo<T, S> ;