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