Generating one class member per variadic template argument

by

As you have already been hinted, the best way is to use a tuple:

template<typename ...AcceptedTypes> // e.g. MyClass<T1, T2>
class MyClass {
    std::tuple<std::vector<AcceptedTypes>...> vectors;
};

This is the only way to multiply the “fields” because you cannot magically make it spell up the field names. Another important thing may be to get some named access to them. I guess that what you’re trying to achieve is to have multiple vectors with unique types, so you can have the following facility to “search” for the correct vector by its value type:

template <class T1, class T2>
struct SameType
{
    static const bool value = false;
};

template<class T>
struct SameType<T, T>
{
    static const bool value = true;
};

template <typename... Types>
class MyClass
{
     public:
     typedef std::tuple<vector<Types>...> vtype;
     vtype vectors;

     template<int N, typename T>
     struct VectorOfType: SameType<T,
        typename std::tuple_element<N, vtype>::type::value_type>
     { };

     template <int N, class T, class Tuple,
              bool Match = false> // this =false is only for clarity
     struct MatchingField
     {
         static vector<T>& get(Tuple& tp)
         {
             // The "non-matching" version
             return MatchingField<N+1, T, Tuple,
                    VectorOfType<N+1, T>::value>::get(tp);
         }
     };

     template <int N, class T, class Tuple>
     struct MatchingField<N, T, Tuple, true>
     {
        static vector<T>& get(Tuple& tp)
        {
            return std::get<N>(tp);
        }
     };

     template <typename T>
     vector<T>& access()
     {
         return MatchingField<0, T, vtype,
                VectorOfType<0, T>::value>::get(vectors);
     }
};

Here is the testcase so you can try it out:

int main( int argc, char** argv )
{
    int twelf = 12.5;
    typedef reference_wrapper<int> rint;

    MyClass<float, rint> mc;
    vector<rint>& i = mc.access<rint>();

    i.push_back(twelf);

    mc.access<float>().push_back(10.5);

    cout << "Test:\n";
    cout << "floats: " << mc.access<float>()[0] << endl;
    cout << "ints: " << mc.access<rint>()[0] << endl;
    //mc.access<double>();

    return 0;
}

If you use any type that is not in the list of types you passed to specialize MyClass (see this commented-out access for double), you’ll get a compile error, not too readable, but gcc at least points the correct place that has caused the problem and at least such an error message suggests the correct cause of the problem – here, for example, if you tried to do mc.access<double>():

 error: ‘value’ is not a member of ‘MyClass<float, int>::VectorOfType<2, double>’

More Related Contents:

  1. How to make generic computations over heterogeneous argument packs of a variadic template function?
  2. C++11 “overloaded lambda” with variadic template and variable capture
  3. “unpacking” a tuple to call a matching function pointer
  4. make_unique and perfect forwarding
  5. How to call a function on all variadic template args?
  6. How do I get the argument types of a function pointer in a variadic template class?
  7. Checking a member exists, possibly in a base class, C++11 version
  8. Calling a function for each variadic template argument and an array
  9. Check at Compile-Time if Template Argument is void
  10. How to store variadic template arguments?
  11. Is it possible to “store” a template parameter pack without expanding it?
  12. How to create the Cartesian product of a type list?
  13. Parameter pack must be at the end of the parameter list… When and why?
  14. How to reverse the order of arguments of a variadic template function?
  15. C++ parameter pack, constrained to have instances of a single type?
  16. Variadic templates
  17. What is the easiest way to print a variadic parameter pack using std::ostream?
  18. Check traits for all variadic template arguments
  19. How can I iterate over a packed variadic template argument list?
  20. How can I have multiple parameter packs in a variadic template?
  21. Variadic function template with pack expansion not in last parameter
  22. How can I expand call to variadic template base classes?
  23. C++11: Number of Variadic Template Function Parameters?
  24. How to make a variadic is_same?
  25. how to avoid undefined execution order for the constructors when using std::make_tuple
  26. constexpr initialization of array to sort contents
  27. Is there a way to write make_unique() in VS2012?
  28. How to combine std::bind(), variadic templates, and perfect forwarding?
  29. “What happened to my SFINAE” redux: conditional template class members?
  30. Concatenate compile-time strings in a template at compile time?

Leave a Comment