temp_class_spec.cpp revision 16df850bb73e8e2a3dece830b59785ff167428bc 
1// RUN: clang-cc -fsyntax-only -verify %s
2template<typename T>
3struct is_pointer {
4  static const bool value = false;
5};
6
7template<typename T>
8struct is_pointer<T*> {
9  static const bool value = true;
10};
11
12template<typename T>
13struct is_pointer<const T*> {
14  static const bool value = true;
15};
16
17int array0[is_pointer<int>::value? -1 : 1];
18int array1[is_pointer<int*>::value? 1 : -1];
19int array2[is_pointer<const int*>::value? 1 : -1]; // expected-error{{partial ordering}} \
20// expected-error{{negative}}
21
22template<typename T>
23struct is_lvalue_reference {
24  static const bool value = false;
25};
26
27template<typename T>
28struct is_lvalue_reference<T&> {
29  static const bool value = true;
30};
31
32int lvalue_ref0[is_lvalue_reference<int>::value? -1 : 1];
33int lvalue_ref1[is_lvalue_reference<const int&>::value? 1 : -1];
34
35template<typename T, typename U>
36struct is_same {
37  static const bool value = false;
38};
39
40template<typename T>
41struct is_same<T, T> {
42  static const bool value = true;
43};
44
45typedef int INT;
46typedef INT* int_ptr;
47
48int is_same0[is_same<int, int>::value? 1 : -1];
49int is_same1[is_same<int, INT>::value? 1 : -1];
50int is_same2[is_same<const int, int>::value? -1 : 1];
51int is_same3[is_same<int_ptr, int>::value? -1 : 1];
52
53template<typename T>
54struct remove_reference {
55  typedef T type;
56};
57
58template<typename T>
59struct remove_reference<T&> {
60  typedef T type;
61};
62
63int remove_ref0[is_same<remove_reference<int>::type, int>::value? 1 : -1];
64int remove_ref1[is_same<remove_reference<int&>::type, int>::value? 1 : -1];
65
66template<typename T>
67struct is_incomplete_array {
68  static const bool value = false;
69};
70
71template<typename T>
72struct is_incomplete_array<T[]> {
73  static const bool value = true;
74};
75
76int incomplete_array0[is_incomplete_array<int>::value ? -1 : 1];
77int incomplete_array1[is_incomplete_array<int[1]>::value ? -1 : 1];
78int incomplete_array2[is_incomplete_array<bool[]>::value ? 1 : -1];
79int incomplete_array3[is_incomplete_array<int[]>::value ? 1 : -1];
80
81template<typename T>
82struct is_array_with_4_elements {
83  static const bool value = false;
84};
85
86template<typename T>
87struct is_array_with_4_elements<T[4]> {
88  static const bool value = true;
89};
90
91int array_with_4_elements0[is_array_with_4_elements<int[]>::value ? -1 : 1];
92int array_with_4_elements1[is_array_with_4_elements<int[1]>::value ? -1 : 1];
93int array_with_4_elements2[is_array_with_4_elements<int[4]>::value ? 1 : -1];
94int array_with_4_elements3[is_array_with_4_elements<int[4][2]>::value ? 1 : -1];
95
96template<typename T>
97struct get_array_size;
98
99template<typename T, unsigned N>
100struct get_array_size<T[N]> {
101  static const unsigned value = N;
102};
103
104int array_size0[get_array_size<int[12]>::value == 12? 1 : -1];
105
106template<typename T>
107struct is_unary_function {
108  static const bool value = false;
109};
110
111template<typename T, typename U>
112struct is_unary_function<T (*)(U)> {
113  static const bool value = true;
114};
115
116int is_unary_function0[is_unary_function<int>::value ? -1 : 1];
117int is_unary_function1[is_unary_function<int (*)()>::value ? -1 : 1];
118int is_unary_function2[is_unary_function<int (*)(int, bool)>::value ? -1 : 1];
119int is_unary_function3[is_unary_function<int (*)(bool)>::value ? 1 : -1];
120int is_unary_function4[is_unary_function<int (*)(int)>::value ? 1 : -1];
121
122template<typename T>
123struct is_unary_function_with_same_return_type_as_argument_type {
124  static const bool value = false;
125};
126
127template<typename T>
128struct is_unary_function_with_same_return_type_as_argument_type<T (*)(T)> {
129  static const bool value = true;
130};
131
132int is_unary_function5[is_unary_function_with_same_return_type_as_argument_type<int>::value ? -1 : 1];
133int is_unary_function6[is_unary_function_with_same_return_type_as_argument_type<int (*)()>::value ? -1 : 1];
134int is_unary_function7[is_unary_function_with_same_return_type_as_argument_type<int (*)(int, bool)>::value ? -1 : 1];
135int is_unary_function8[is_unary_function_with_same_return_type_as_argument_type<int (*)(bool)>::value ? -1 : 1];
136int is_unary_function9[is_unary_function_with_same_return_type_as_argument_type<int (*)(int)>::value ? 1 : -1];
137int is_unary_function10[is_unary_function_with_same_return_type_as_argument_type<int (*)(int, ...)>::value ? -1 : 1];
138int is_unary_function11[is_unary_function_with_same_return_type_as_argument_type<int (* const)(int)>::value ? -1 : 1];
139
140template<typename T>
141struct is_binary_function {
142  static const bool value = false;
143};
144
145template<typename R, typename T1, typename T2>
146struct is_binary_function<R(T1, T2)> {
147  static const bool value = true;
148};
149
150int is_binary_function0[is_binary_function<int(float, double)>::value? 1 : -1];
151
152template<typename T>
153struct is_member_pointer {
154  static const bool value = false;
155};
156
157template<typename T, typename Class>
158struct is_member_pointer<T Class::*> {
159  static const bool value = true;
160};
161
162struct X { };
163
164int is_member_pointer0[is_member_pointer<int X::*>::value? 1 : -1];
165int is_member_pointer1[is_member_pointer<const int X::*>::value? 1 : -1];
166int is_member_pointer2[is_member_pointer<int (X::*)()>::value? 1 : -1];
167int is_member_pointer3[is_member_pointer<int (X::*)(int) const>::value? 1 : -1];
168int is_member_pointer4[is_member_pointer<int (X::**)(int) const>::value? -1 : 1];
169int is_member_pointer5[is_member_pointer<int>::value? -1 : 1];
170
171template<typename T>
172struct is_member_function_pointer {
173  static const bool value = false;
174};
175
176template<typename T, typename Class>
177struct is_member_function_pointer<T (Class::*)()> {
178  static const bool value = true;
179};
180
181template<typename T, typename Class>
182struct is_member_function_pointer<T (Class::*)() const> {
183  static const bool value = true;
184};
185
186template<typename T, typename Class>
187struct is_member_function_pointer<T (Class::*)() volatile> {
188  static const bool value = true;
189};
190
191template<typename T, typename Class>
192struct is_member_function_pointer<T (Class::*)() const volatile> {
193  static const bool value = true;
194};
195
196template<typename T, typename Class, typename A1>
197struct is_member_function_pointer<T (Class::*)(A1)> {
198  static const bool value = true;
199};
200
201template<typename T, typename Class, typename A1>
202struct is_member_function_pointer<T (Class::*)(A1) const> {
203  static const bool value = true;
204};
205
206template<typename T, typename Class, typename A1>
207struct is_member_function_pointer<T (Class::*)(A1) volatile> {
208  static const bool value = true;
209};
210
211template<typename T, typename Class, typename A1>
212struct is_member_function_pointer<T (Class::*)(A1) const volatile> {
213  static const bool value = true;
214};
215
216int is_member_function_pointer0[
217                          is_member_function_pointer<int X::*>::value? -1 : 1];
218int is_member_function_pointer1[
219                      is_member_function_pointer<int (X::*)()>::value? 1 : -1];
220int is_member_function_pointer2[
221                      is_member_function_pointer<X (X::*)(X&)>::value? 1 : -1];
222int is_member_function_pointer3[
223           is_member_function_pointer<int (X::*)() const>::value? 1 : -1];
224int is_member_function_pointer4[
225           is_member_function_pointer<int (X::*)(float) const>::value? 1 : -1];
226
227// Test substitution of non-dependent arguments back into the template
228// argument list of the class template partial specialization.
229template<typename T, typename ValueType = T>
230struct is_nested_value_type_identity {
231  static const bool value = false;
232};
233
234template<typename T>
235struct is_nested_value_type_identity<T, typename T::value_type> {
236  static const bool value = true;
237};
238
239template<typename T>
240struct HasValueType {
241  typedef T value_type;
242};
243
244struct HasIdentityValueType {
245  typedef HasIdentityValueType value_type;
246};
247
248struct NoValueType { };
249
250int is_nested_value_type_identity0[
251            is_nested_value_type_identity<HasValueType<int> >::value? -1 : 1];
252int is_nested_value_type_identity1[
253          is_nested_value_type_identity<HasIdentityValueType>::value? 1 : -1];
254// FIXME: Enable when we have SFINAE support
255//int is_nested_value_type_identity2[
256//                   is_nested_value_type_identity<NoValueType>::value? -1 : 1];
257
258
259// C++ [temp.class.spec]p4:
260template<class T1, class T2, int I> class A { }; //#1
261template<class T, int I> class A<T, T*, I> { }; //#2
262template<class T1, class T2, int I> class A<T1*, T2, I> { }; //#3
263template<class T> class A<int, T*, 5> { }; //#4
264template<class T1, class T2, int I> class A<T1, T2*, I> { }; //#5
265