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

   1 // { dg-do compile { target c++11 } }
   2
   3 namespace std { template <class T> T&& declval(); }
   4
   5 template<typename _Tp, typename... _Args>
   6   class is_constructible_mini
   7   {
   8     typedef char __one;
   9     typedef struct { char __arr[2]; } __two;
  10
  11     template<typename _Tp1, typename... _Args1>
  12       static decltype(::new _Tp1(std::declval<_Args1>()...), __one())
  13       __test(int);
  14
  15     template<typename, typename...>
  16       static __two __test(...);
  17
  18   public:
  19     static const bool value = sizeof(__test<_Tp, _Args...>(0)) == 1;
  20   };
  21
  22 /*
  23 template<typename _Tp>
  24   class is_constructible_mini<_Tp>
  25   {
  26     typedef char __one;
  27     typedef struct { char __arr[2]; } __two;
  28
  29     template<typename _Tp1>
  30       static decltype(::new _Tp1, __one()) __test(int);
  31
  32     template<typename>
  33       static __two __test(...);
  34
  35   public:
  36     static const bool value
  37     = sizeof(__test<typename std::remove_cv<_Tp>::type>(0)) == 1;
  38   };
  39 */
  40
  41 struct A
  42 {
  43   A(int);
  44 };
  45
  46 struct B { };
  47
  48 static_assert( is_constructible_mini<A, int>::value, "");
  49 static_assert( is_constructible_mini<A, A>::value, "");
  50 static_assert( !is_constructible_mini<A, int, double>::value, "");
  51
  52 static_assert( !is_constructible_mini<A>::value, "");  // doesn't compile without the
  53                                                        // partial specialization
  54
  55 static_assert( is_constructible_mini<B>::value, "");
  56 static_assert( is_constructible_mini<const B>::value, "");