gcc/testsuite/g++.dg/cpp0x/variadic9.C

   1 // { dg-do compile { target c++11 } }
   2 template<typename T1, typename T2>
   3 struct pair {};
   4
   5 template<typename... Args>
   6 struct tuple {
   7   static const int value = 0;
   8 };
   9
  10 template<>
  11 struct tuple<pair<int, float> > {
  12   static const int value = 1;
  13 };
  14
  15 template<typename U>
  16 struct tuple<pair<int, U> > {
  17   static const int value = 2;
  18 };
  19
  20 template<typename T, typename U>
  21 struct tuple<pair<T, U>, pair<T, U> > {
  22   static const int value = 3;
  23 };
  24
  25
  26 template<typename... Outer>
  27 struct X {
  28   template<typename... Inner>
  29   struct Y
  30   {
  31     typedef tuple<pair<Outer, Inner>...> type;
  32   };
  33 };
  34
  35 int a0[X<int, double>::Y<short, char>::type::value == 0? 1 : -1];
  36 int a1[X<int>::Y<float>::type::value == 1? 1 : -1];
  37 int a2[X<int>::Y<double>::type::value == 2? 1 : -1];
  38 int a3[X<int, int>::Y<double, double>::type::value == 3? 1 : -1];