1// DR 339 2// 3// Test of the use of various unary operators with SFINAE 4// { dg-options "-fmessage-length=0 -pedantic-errors -Wno-long-long -ftrack-macro-expansion=0 " } 5// Boilerplate helpers 6typedef char yes_type; 7struct no_type { char data[2]; }; 8 9template<typename T> T create_a(); 10template<typename T> struct type { }; 11 12template<bool, typename T = void> struct enable_if { typedef T type; }; 13template<typename T> struct enable_if<false, T> { }; 14 15#define JOIN( X, Y ) DO_JOIN( X, Y ) 16#define DO_JOIN( X, Y ) DO_JOIN2(X,Y) 17#define DO_JOIN2( X, Y ) X##Y 18 19#define DEFINE_PREFIX_UNARY_TRAIT(Name,Op) \ 20template<typename T> \ 21 typename enable_if<(sizeof(Op create_a<T>(), 1) > 0), \ 22 yes_type>::type \ 23 JOIN(check_,Name)(int); \ 24 \ 25template<typename T> \ 26 no_type JOIN(check_,Name)(...); \ 27 \ 28template<typename T> \ 29struct Name \ 30{ \ 31 static const bool value = \ 32 (sizeof(JOIN(check_,Name)<T&>(0)) == sizeof(yes_type)); \ 33} 34 35#define DEFINE_POSTFIX_UNARY_TRAIT(Name,Op) \ 36template<typename T> \ 37 typename enable_if<(sizeof(create_a<T>() Op, 1) > 0), \ 38 yes_type>::type \ 39 JOIN(check_,Name)(int); \ 40 \ 41template<typename T> \ 42 no_type JOIN(check_,Name)(...); \ 43 \ 44template<typename T> \ 45struct Name \ 46{ \ 47 static const bool value = \ 48 (sizeof(JOIN(check_,Name)<T&>(0)) == sizeof(yes_type)); \ 49} 50 51#ifdef __GXX_EXPERIMENTAL_CXX0X__ 52# define STATIC_ASSERT(Expr) static_assert(Expr, #Expr) 53#else 54# define STATIC_ASSERT(Expr) int JOIN(a,__LINE__)[Expr? 1 : -1] 55#endif 56 57struct W { 58 W operator+(); 59 W operator-(); 60 int operator*(); 61 W operator~(); 62 bool operator!(); 63 W& operator++(); 64 W& operator--(); 65 W& operator++(int); 66 W& operator--(int); 67}; 68 69struct X { }; 70X operator+(X); 71X operator-(X); 72int operator*(X); 73X operator~(X); 74bool operator!(X); 75X& operator++(X&); 76X& operator--(X&); 77X& operator++(X&, int); 78X& operator--(X&, int); 79 80struct Y { }; 81 82struct Z { 83private: 84 Z operator+(); 85 Z operator-(); 86 int operator*(); 87 Z operator~(); 88 bool operator!(); 89 Z& operator++(); 90 Z& operator--(); 91 Z& operator++(int); 92 Z& operator--(int); 93}; 94 95// has_unary_plus 96DEFINE_PREFIX_UNARY_TRAIT(has_unary_plus, +); 97STATIC_ASSERT((has_unary_plus<int>::value)); 98STATIC_ASSERT((!has_unary_plus<int X::*>::value)); 99STATIC_ASSERT((has_unary_plus<W>::value)); 100STATIC_ASSERT((has_unary_plus<X>::value)); 101STATIC_ASSERT((!has_unary_plus<Y>::value)); 102 103// is_negatable 104DEFINE_PREFIX_UNARY_TRAIT(is_negatable, -); 105STATIC_ASSERT((is_negatable<int>::value)); 106STATIC_ASSERT((!is_negatable<int X::*>::value)); 107STATIC_ASSERT((is_negatable<W>::value)); 108STATIC_ASSERT((is_negatable<X>::value)); 109STATIC_ASSERT((!is_negatable<Y>::value)); 110 111// is_dereferenceable 112DEFINE_PREFIX_UNARY_TRAIT(is_dereferenceable, *); 113STATIC_ASSERT((!is_dereferenceable<int>::value)); 114STATIC_ASSERT((is_dereferenceable<int*>::value)); 115STATIC_ASSERT((is_dereferenceable<W>::value)); 116STATIC_ASSERT((is_dereferenceable<X>::value)); 117STATIC_ASSERT((!is_dereferenceable<Y>::value)); 118 119// has_bitwise_not 120DEFINE_PREFIX_UNARY_TRAIT(has_bitwise_not, ~); 121STATIC_ASSERT((has_bitwise_not<int>::value)); 122STATIC_ASSERT((!has_bitwise_not<int*>::value)); 123STATIC_ASSERT((has_bitwise_not<W>::value)); 124STATIC_ASSERT((has_bitwise_not<X>::value)); 125STATIC_ASSERT((!has_bitwise_not<Y>::value)); 126 127// has_truth_not 128DEFINE_PREFIX_UNARY_TRAIT(has_truth_not, !); 129STATIC_ASSERT((has_truth_not<int>::value)); 130STATIC_ASSERT((has_truth_not<int*>::value)); 131STATIC_ASSERT((has_truth_not<W>::value)); 132STATIC_ASSERT((has_truth_not<X>::value)); 133STATIC_ASSERT((!has_truth_not<Y>::value)); 134 135// has_preincrement 136DEFINE_PREFIX_UNARY_TRAIT(has_preincrement, ++); 137STATIC_ASSERT((has_preincrement<int>::value)); 138STATIC_ASSERT((has_preincrement<int*>::value)); 139STATIC_ASSERT((!has_preincrement<int X::*>::value)); 140STATIC_ASSERT((has_preincrement<W>::value)); 141STATIC_ASSERT((has_preincrement<X>::value)); 142STATIC_ASSERT((!has_preincrement<Y>::value)); 143 144// has_predecrement 145DEFINE_PREFIX_UNARY_TRAIT(has_predecrement, --); 146STATIC_ASSERT((has_predecrement<int>::value)); 147STATIC_ASSERT((has_predecrement<int*>::value)); 148STATIC_ASSERT((!has_predecrement<int X::*>::value)); 149STATIC_ASSERT((has_predecrement<W>::value)); 150STATIC_ASSERT((has_predecrement<X>::value)); 151STATIC_ASSERT((!has_predecrement<Y>::value)); 152 153// has_postincrement 154DEFINE_POSTFIX_UNARY_TRAIT(has_postincrement, ++); 155STATIC_ASSERT((has_postincrement<int>::value)); 156STATIC_ASSERT((has_postincrement<int*>::value)); 157STATIC_ASSERT((!has_postincrement<int X::*>::value)); 158STATIC_ASSERT((has_postincrement<W>::value)); 159STATIC_ASSERT((has_postincrement<X>::value)); 160STATIC_ASSERT((!has_postincrement<Y>::value)); 161 162// has_postdecrement 163DEFINE_POSTFIX_UNARY_TRAIT(has_postdecrement, --); 164STATIC_ASSERT((has_postdecrement<int>::value)); 165STATIC_ASSERT((has_postdecrement<int*>::value)); 166STATIC_ASSERT((!has_postdecrement<int X::*>::value)); 167STATIC_ASSERT((has_postdecrement<W>::value)); 168STATIC_ASSERT((has_postdecrement<X>::value)); 169STATIC_ASSERT((!has_postdecrement<Y>::value)); 170 171// Check for private members 172STATIC_ASSERT((!has_unary_plus<Z>::value)); 173STATIC_ASSERT((!is_negatable<Z>::value)); 174STATIC_ASSERT((!is_dereferenceable<Z>::value)); 175STATIC_ASSERT((!has_bitwise_not<Z>::value)); 176STATIC_ASSERT((!has_truth_not<Z>::value)); 177STATIC_ASSERT((!has_preincrement<Z>::value)); 178STATIC_ASSERT((!has_predecrement<Z>::value)); 179STATIC_ASSERT((!has_postincrement<Z>::value)); 180STATIC_ASSERT((!has_postdecrement<Z>::value)); 181