temp_class_order.cpp source code [clang_source_code/test/SemaTemplate/temp_class

1	// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3	template<typename T, typename U>
4	struct X1 {
5	static const int value = 0;
6	};
7
8	template<typename T, typename U>
9	struct X1<T, U> {
10	static const int value = 1;
11	};
12
13	template<typename T>
14	struct X1<T, T> {
15	static const int value = 2;
16	};
17
18	template<typename T>
19	struct X1<const T, const T> {
20	static const int value = 3;
21	};
22
23	int array0[X1<int, int>::value == 0? 1 : -1];
24	int array1[X1<int, float>::value == 1? 1 : -1];
25	int array2[X1<int, int>::value == 2? 1 : -1];
26	typedef const int* CIP;
27	int array3[X1<const int*, CIP>::value == 3? 1 : -1];
28
29	template<typename T, typename U>
30	struct X2 { };
31
32	template<typename T, typename U>
33	struct X2<T*, U> { }; // expected-note{{matches}}
34
35	template<typename T, typename U>
36	struct X2<T, U*> { }; // expected-note{{matches}}
37
38	template<typename T, typename U>
39	struct X2<const T, const U> { };
40
41	X2<int, int> x2a; // expected-error{{ambiguous}}
42	X2<const int, const int> x2b;
43

Clang Project