| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
|---|
| 2 | |
|---|
| 3 | // Test class template partial specializations of member templates. |
|---|
| 4 | template<typename T> |
|---|
| 5 | struct X0 { |
|---|
| 6 | template<typename U> struct Inner0 { |
|---|
| 7 | static const unsigned value = 0; |
|---|
| 8 | }; |
|---|
| 9 | |
|---|
| 10 | template<typename U> struct Inner0<U*> { |
|---|
| 11 | static const unsigned value = 1; |
|---|
| 12 | }; |
|---|
| 13 | }; |
|---|
| 14 | |
|---|
| 15 | template<typename T> template<typename U> |
|---|
| 16 | struct X0<T>::Inner0<const U*> { |
|---|
| 17 | static const unsigned value = 2; |
|---|
| 18 | }; |
|---|
| 19 | |
|---|
| 20 | int array0[X0<int>::Inner0<int>::value == 0? 1 : -1]; |
|---|
| 21 | int array1[X0<int>::Inner0<int*>::value == 1? 1 : -1]; |
|---|
| 22 | int array2[X0<int>::Inner0<const int*>::value == 2? 1 : -1]; |
|---|
| 23 | |
|---|
| 24 | // Make sure we can provide out-of-line class template partial specializations |
|---|
| 25 | // for member templates (and instantiate them). |
|---|
| 26 | template<class T> struct A { |
|---|
| 27 | struct C { |
|---|
| 28 | template<class T2> struct B; |
|---|
| 29 | }; |
|---|
| 30 | }; |
|---|
| 31 | |
|---|
| 32 | // partial specialization of A<T>::C::B<T2> |
|---|
| 33 | template<class T> template<class T2> struct A<T>::C::B<T2*> { }; |
|---|
| 34 | |
|---|
| 35 | A<short>::C::B<int*> absip; |
|---|
| 36 | |
|---|
| 37 | // Check for conflicts during template instantiation. |
|---|
| 38 | template<typename T, typename U> |
|---|
| 39 | struct Outer { |
|---|
| 40 | template<typename X, typename Y> struct Inner; |
|---|
| 41 | template<typename Y> struct Inner<T, Y> {}; // expected-note{{previous}} |
|---|
| 42 | template<typename Y> struct Inner<U, Y> {}; // expected-error{{cannot be redeclared}} |
|---|
| 43 | }; |
|---|
| 44 | |
|---|
| 45 | Outer<int, int> outer; // expected-note{{instantiation}} |
|---|
| 46 | |
|---|
| 47 | // Test specialization of class template partial specialization members. |
|---|
| 48 | template<> template<typename Z> |
|---|
| 49 | struct X0<float>::Inner0<Z*> { |
|---|
| 50 | static const unsigned value = 3; |
|---|
| 51 | }; |
|---|
| 52 | |
|---|
| 53 | int array3[X0<float>::Inner0<int>::value == 0? 1 : -1]; |
|---|
| 54 | int array4[X0<float>::Inner0<int*>::value == 3? 1 : -1]; |
|---|
| 55 | int array5[X0<float>::Inner0<const int*>::value == 2? 1 : -1]; |
|---|
| 56 | |
|---|
| 57 | namespace rdar8651930 { |
|---|
| 58 | template<typename OuterT> |
|---|
| 59 | struct Outer { |
|---|
| 60 | template<typename T, typename U> |
|---|
| 61 | struct Inner; |
|---|
| 62 | |
|---|
| 63 | template<typename T> |
|---|
| 64 | struct Inner<T, T> { |
|---|
| 65 | static const bool value = true; |
|---|
| 66 | }; |
|---|
| 67 | |
|---|
| 68 | template<typename T, typename U> |
|---|
| 69 | struct Inner { |
|---|
| 70 | static const bool value = false; |
|---|
| 71 | }; |
|---|
| 72 | }; |
|---|
| 73 | |
|---|
| 74 | int array0[Outer<int>::Inner<int, int>::value? 1 : -1]; |
|---|
| 75 | int array1[Outer<int>::Inner<int, float>::value? -1 : 1]; |
|---|
| 76 | } |
|---|
| 77 | |
|---|