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

   1 // { dg-do compile { target c++11 } }
   2 template <class... Types> class A
   3 {
   4 public:
   5   template <Types... Values> class X { /* ... */ }; // { dg-error "not a valid type for a template non-type parameter" }
   6 };
   7
   8 template<class... Types> class B
   9 {
  10 public:
  11   template <Types*... Values> class X {
  12     typename A<Types*...>::template X<Values...> foo;
  13   };
  14 };
  15
  16 int i;
  17 float f;
  18
  19 A<int*, float*>::X<&i, &f> apple1;
  20 B<int, float>::X<&i, &f> banana1;
  21
  22 A<int*, float*>::X<&i> apple2; // { dg-error "wrong number of template arguments" }
  23 // { dg-error "invalid type" "" { target *-*-* } 22 }
  24 A<int*, float*>::X<&i, &f, &f> apple3; // { dg-error "wrong number of template arguments" }
  25 // { dg-error "invalid type" "" { target *-*-* } 24 }
  26 A<int, float> apple4;