mardi 20 février 2018

Tuple with Variadic Templates compile error

I am trying to learn variadic templates with a self made tuple implementation. Could someone please explain to me why the following results in a compile error ?

namespace my
{
  // Template definition
  template <typename... Ts> struct tuple;

  template <typename T, typename... Ts>
  struct tuple<T, Ts...> : public tuple<Ts...>
  {
    tuple(T t, Ts... ts) : tuple<Ts...>(ts...), mVal(t) {}
    T mVal;
  };

  template <typename T>
  struct tuple<T>
  {
    tuple(T t) : mVal(t) {}
    T mVal;
  };


  // GetType at an index
  template <size_t i, typename... Ts> struct GetType {};

  template <size_t i, typename T, typename... Ts> 
  struct GetType<i, tuple<T,Ts...> > 
  {
    using Type = typename GetType<i-1, tuple<Ts...> >::Type;
  };

  template <typename T, typename... Ts>
  struct GetType<0, tuple<T,Ts...> >
  {
    using Type = T;
  };


  template <size_t i, typename... Ts>
  typename GetType<i,tuple<Ts...> >::Type Get(tuple<Ts...>& t);

  template <size_t i, typename T, typename... Ts>
  typename GetType<i,tuple<T,Ts...> >::Type Get(tuple<T,Ts...>& t)
  {
    return Get<i-1, tuple<Ts...> >(t);
  }

  template <typename T, typename... Ts>
  typename GetType<0,tuple<T,Ts...> >::Type Get(tuple<T,Ts...>& t)
  {
    return (static_cast<tuple<T, Ts...> >(t)).mVal;
  }  
}

int main()
{
  using myTuple = my::tuple<int, std::string, double, char>;

  // The following lines compile fine ....
  my::GetType<0,myTuple>::Type s0 = 437;
  my::GetType<1,myTuple>::Type s1 = std::string("Test string");
  my::GetType<2,myTuple>::Type s2 = 299.3243;
  my::GetType<3,myTuple>::Type s3 = 'Z';
  std::cout << s0 << " - " << s1 << " - " << s2 << " - " << s3 << std::endl;

  myTuple t(437, "This is the actual tuple string", 299.3243, '§');
  // This line does not compile !!! 
  int v = my::Get<0>(t);

  return 0;
}

My Intention is that the indicated line will use the specialization but looking at the compile error it is obvious that the specialization for value=0 is not being used. Your help is very appreciated.

Thank you for your time ..

c:\users\praka\workspace\cpp\cpp-tests\recipes\tuple\tuple.h(27): error C2039: 'Type': is not a member of 'my::GetType<18446744073709551614,my::tuple<>>'
c:\users\praka\workspace\cpp\cpp-tests\recipes\tuple\tuple.h(27): note: see declaration of 'my::GetType<18446744073709551614,my::tuple<>>'
c:\users\praka\workspace\cpp\cpp-tests\recipes\tuple\tuple.h(43): note: see reference to class template instantiation 'my::GetType<18446744073709551615,my::tuple<my::tuple<std::string,double,char>>>' being compiled
..\test.cpp(15): note: see reference to function template instantiation 'int my::Get<0,int,std::string,double,char>(my::tuple<int,std::string,double,char> &)' being compiled
c:\users\praka\workspace\cpp\cpp-tests\recipes\tuple\tuple.h(27): error C2061: syntax error: identifier 'Type'
c:\users\praka\workspace\cpp\cpp-tests\recipes\tuple\tuple.h(27): error C2238: unexpected token(s) preceding ';'
c:\users\praka\workspace\cpp\cpp-tests\recipes\tuple\tuple.h(43): error C2672: 'Get': no matching overloaded function found
c:\users\praka\workspace\cpp\cpp-tests\recipes\tuple\tuple.h(43): error C2770: invalid explicit template argument(s) for 'GetType<i,my::tuple<Ts...>>::Type my::Get(my::tuple<Ts...> &)'
c:\users\praka\workspace\cpp\cpp-tests\recipes\tuple\tuple.h(38): note: see declaration of 'my::Get'

Aucun commentaire:

Enregistrer un commentaire