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

   1 // PR c++/54738
   2 // { dg-do compile { target c++11 } }
   3
   4 template<class T>
   5 T&& declval();
   6
   7 template<class F, class T1, class... Ts>
   8 decltype(((*declval<T1>()).*declval<F>())(declval<Ts>()...))
   9 test1(int);
  10
  11 template<class...>
  12 void test1(...);
  13
  14 template<class F, class T1, class... Ts>
  15 decltype((declval<T1>().*declval<F>())(declval<Ts>()...))
  16 test2(int);
  17
  18 template<class...>
  19 void test2(...);
  20
  21 struct S {};
  22
  23 typedef void (S::*Func)(int) const;
  24 typedef void (S::*Func2)(int);
  25
  26 typedef decltype(test1<Func, S*>(0)) type1a;
  27 typedef decltype(test1<Func, S*&>(0)) type1b;
  28 typedef decltype(test1<Func, S*, int, int>(0)) type1c;
  29 typedef decltype(test1<Func, S*&, int, int>(0)) type1d;
  30
  31 typedef decltype(test2<Func, S>(0)) type2a;
  32 typedef decltype(test2<Func, S&>(0)) type2b;
  33 typedef decltype(test2<Func, S, int, int>(0)) type2c;
  34 typedef decltype(test2<Func, S&, int, int>(0)) type2d;
  35
  36 typedef decltype(test1<Func, S*, S>(0)) type3a;
  37 typedef decltype(test1<Func, S*&, S>(0)) type3b;
  38
  39 typedef decltype(test2<Func, S, S>(0)) type4a;
  40 typedef decltype(test2<Func, S&, S>(0)) type4b;
  41
  42 typedef decltype(test1<Func2, const S*, int>(0)) type5a;
  43 typedef decltype(test1<Func2, const S*&, int>(0)) type5b;
  44
  45 typedef decltype(test2<Func2, const S, int>(0)) type6a;
  46 typedef decltype(test2<Func2, const S&, int>(0)) type6b;