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

   1 // { dg-options "-std=gnu++0x" }
   2 template<typename R, typename... ArgTypes>
   3 struct make_function_type
   4 {
   5   typedef R type(const ArgTypes&......);
   6 };
   7
   8 template<typename T, typename U>
   9 struct is_same {
  10   static const bool value = false;
  11 };
  12
  13 template<typename T>
  14 struct is_same<T, T> {
  15   static const bool value = true;
  16 };
  17
  18 int a0[is_same<make_function_type<int>::type, int(...)>::value? 1 : -1];
  19 int a1[is_same<make_function_type<int, float>::type, int(const float&...)>::value? 1 : -1];
  20 int a2[is_same<make_function_type<int, float>::type, int(const float&,...)>::value? 1 : -1];
  21 int a3[is_same<make_function_type<int, float, double>::type, int(const float&, double const&...)>::value? 1 : -1];