cxx1y-variable-templates_in_class.cpp revision ef4579cda09b73e3d4d98af48201da25adc29326
1ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo// RUN: %clang_cc1 -verify -fsyntax-only %s -Wno-c++11-extensions -Wno-c++1y-extensions -DPRECXX11 2ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo// RUN: %clang_cc1 -std=c++11 -verify -fsyntax-only -Wno-c++1y-extensions %s 3ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo// RUN: %clang_cc1 -std=c++1y -verify -fsyntax-only %s 4ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 5ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufoclass A { 6ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> const T wrong; // expected-error {{member 'wrong' declared as a template}} 7ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> const T wrong_init = 5; // expected-error {{member 'wrong_init' declared as a template}} 8ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T, typename T0> static const T right = T(100); 9ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static const T right<T,int> = 5; 10ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> const int right<int,T>; // expected-error {{member 'right' declared as a template}} 11ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> const float right<float,T> = 5; // expected-error {{member 'right' declared as a template}} 12ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<> static const int right<int,int> = 7; // expected-error {{explicit specialization of 'right' in class scope}} 13ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<> static const float right<float,int>; // expected-error {{explicit specialization of 'right' in class scope}} 14ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template static const int right<int,int>; // expected-error {{template specialization requires 'template<>'}} \ 15ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo // expected-error {{explicit specialization of 'right' in class scope}} 16ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo}; 17ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 18ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufonamespace out_of_line { 19ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo class B0 { 20ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T, typename T0> static const T right = T(100); 21ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static const T right<T,int> = T(5); 22ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 23ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<> const int B0::right<int,int> = 7; 24ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template const int B0::right<int,int>; 25ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<> const int B0::right<int,float>; 26ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template const int B0::right<int,float>; 27ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 28ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo class B1 { 29ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T, typename T0> static const T right; 30ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static const T right<T,int>; 31ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 32ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T, typename T0> const T B1::right = T(100); 33ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> const T B1::right<T,int> = T(5); 34ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 35ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo class B2 { 36ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T, typename T0> static const T right = T(100); // expected-note {{previous definition is here}} 37ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static const T right<T,int> = T(5); // expected-note {{previous definition is here}} 38ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 39ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T, typename T0> const T B2::right = T(100); // expected-error {{redefinition of 'right'}} 40ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> const T B2::right<T,int> = T(5); // expected-error {{redefinition of 'right'}} 41ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 42ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo class B3 { 43ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T, typename T0> static const T right = T(100); 44ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static const T right<T,int> = T(5); 45ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 46ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T, typename T0> const T B3::right; // expected-error {{forward declaration of variable template cannot have a nested name specifier}} 47ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> const T B3::right<T,int>; // expected-error {{forward declaration of variable template partial specialization cannot have a nested name specifier}} 48ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 49ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo class B4 { 50ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T, typename T0> static const T right; 51ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static const T right<T,int>; 52ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T, typename T0> static const T right_def = T(100); 53ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static const T right_def<T,int>; // expected-note {{explicit instantiation refers here}} 54ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 55ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T, typename T0> const T B4::right; // expected-error {{forward declaration of variable template cannot have a nested name specifier}} 56ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> const T B4::right<T,int>; // expected-error {{forward declaration of variable template partial specialization cannot have a nested name specifier}} \ 57ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo // expected-note {{explicit instantiation refers here}} 58ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template const int B4::right<int,int>; // expected-error {{explicit instantiation of undefined static data member template 'right' of class}} 59ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template const int B4::right_def<int,int>; // expected-error {{explicit instantiation of undefined static data member template 'right_def' of class}} 60ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo} 61ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 62ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufonamespace non_const_init { 63ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo class A { 64ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static T wrong_inst = T(10); // expected-error {{non-const static data member must be initialized out of line}} 65ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static T wrong_inst_fixed; 66ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 67ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template int A::wrong_inst<int>; // expected-note {{in instantiation of static data member 'non_const_init::A::wrong_inst<int>' requested here}} 68ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> T A::wrong_inst_fixed = T(10); 69ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template int A::wrong_inst_fixed<int>; 70ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 71ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo class B { 72ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static T wrong_inst; 73ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static T wrong_inst<T*> = T(100); // expected-error {{non-const static data member must be initialized out of line}} 74ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 75ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static T wrong_inst_fixed; 76ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static T wrong_inst_fixed<T*>; 77ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 78ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template int B::wrong_inst<int*>; // expected-note {{in instantiation of static data member 'non_const_init::B::wrong_inst<int *>' requested here}} 79ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> T B::wrong_inst_fixed = T(100); 80ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template int B::wrong_inst_fixed<int>; 81ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 82ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo class C { 83ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static const T right_inst = T(10); 84ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> static const T right_inst<T*> = T(100); 85ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 86ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template const int C::right_inst<int>; 87ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template const int C::right_inst<int*>; 88ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 89ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo namespace pointers { 90ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 91ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo struct C0 { 92ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> static U Data; 93ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> static const U Data<U*> = U(); // Okay 94ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 95ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template const int C0::Data<int*>; 96ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 97ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo struct C1a { 98ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> static U Data; 99ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> static U* Data<U>; // Okay, with out-of-line definition 100ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 101ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> T* C1a::Data<T> = new T(); 102ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template int* C1a::Data<int>; 103ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 104ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo struct C1b { 105ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> static U Data; 106ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> static const U* Data<U>; // Okay, with out-of-line definition 107ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 108ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> const T* C1b::Data<T> = (T*)(0); 109ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template const int* C1b::Data<int>; 110ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 111ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo struct C2a { 112ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> static U Data; 113ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> static U* Data<U> = new U(); // expected-error {{non-const static data member must be initialized out of line}} 114ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 115ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template int* C2a::Data<int>; // expected-note {{in instantiation of static data member 'non_const_init::pointers::C2a::Data<int>' requested here}} 116ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 117ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo struct C2b { // FIXME: ?!? Should this be an error? pointer-types are automatically non-const? 118ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> static U Data; 119ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> static const U* Data<U> = (U*)(0); // expected-error {{non-const static data member must be initialized out of line}} 120ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 121ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template const int* C2b::Data<int>; // expected-note {{in instantiation of static data member 'non_const_init::pointers::C2b::Data<int>' requested here}} 122ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo } 123ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo} 124ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 125ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufostruct matrix_constants { 126ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo // TODO: (?) 127ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo}; 128ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 129ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufonamespace in_class_template { 130ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo // FIXME: member data templates of class templates are not well supported yet. 131ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 132ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> 133ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo class D0 { 134ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> static U Data; 135ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> static const U Data<U*> = U(); 136ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 137ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 138ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> 139ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo class D1 { 140ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> static U Data; 141ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> static U* Data<U*>; 142ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo }; 143ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename T> 144ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo template<typename U> U* D1<T>::Data<U*> = (U*)(0); 145ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 146ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo namespace to_be_fixed { 147ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo // FIXME: The following generate runtime exceptions! 148ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 149ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo //template<> 150ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo //template<typename U> U* D1<float>::Data<U*> = (U*)(0) + 1; 151ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo //template const int D0<float>::Data<int*>; 152ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo //template int* D1<float>::Data<int*>; 153ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo } 154ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo} 155ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 156ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufonamespace in_nested_classes { 157ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo // TODO: 158ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo} 159ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo 160