How to store variadic template parameters in c++ ?

Question

I want to pass the variadic template parameters (a set of integers) of an derived class to another templated class. I can not modify the second class because its part of an libary.

I already figured out how I can store this parameters at compile time (e.g. constant array or integer_sequence) but I have no clue how to pass these structures to the library class. The solution might be obvious but I'm currently lost in all the possibilities to handle this variadic stuff.

I tried to build a simple example to explain my problem better:

// Example program
#include 
#include 
#include 


// this class has some compile time paramters
template 
class BaseClass
{
  public:
  BaseClass(){};
  ~BaseClass(){};

   //one idea to store the parameters using a compile time array 
   static constexpr std::array _N = {{N...}};

   //another idea using a integer sequence type
   using _Ni = std::integer_sequence;
};

// this special case of BaseClass hast the parameter 5,6,7,8
class SpecialClass:public BaseClass<5,6,7,8>
{
  public:
  SpecialClass(){};
  ~SpecialClass(){};
};


// this class is fixed and can not be modified because it's part of an libary
template 
class Printer
{
    public:
    Printer(){};
    ~Printer(){};

    // it can (for example) print its template parameters
    void print()
    {
        int dummy[sizeof...(N)] = { (std::cout << N, 0)... };
    }
};


int main()
{

  // this obviously works
  Printer <1,2,3,4> TestPrinter;
  TestPrinter.print();

  // this works not
  Printer  TestPrinterSpecialArray;
  TestPrinterSpecialArray.print();

  // this also works not
  Printer  TestPrinterSpecialSequence;
  TestPrinterSpecialSequence.print();

  return 0;
}

user_1625187 · Answer

You can write a helper function that unpacks std::integer_sequence,

template
auto make_printer_impl(std::integer_sequence)
{
    Printer printer;
    return printer;
}

template
auto make_printer()
{
    return make_printer_impl(typename T::_Ni{});
}

and then use it like this:

auto TestPrinterSpecialSequence = make_printer();
TestPrinterSpecialSequence.print();

You can do the similar thing for std::array member:

template
auto make_printer_impl(std::index_sequence)
{
    Printer printer;
    return printer;
}

template
auto make_printer()
{
    return make_printer_impl(std::make_index_sequence{});
}

Also note that identifiers that begin with an underscore followed by an uppercase letter are reserved. Their usage leads to the undefined behavior. Don't use them.

user_2684539 · Answer

You can create helper to do that:

template  class Other> struct remap;

template

How to store variadic template parameters in c++ ?

2 Answers