elsewhere.cpp revision 4841ca5f83bf970f910ac7d154cdd71d2a3cf481
1// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s 2 3// Tests related to constructor inheriting, but not specified in [class.inhctor] 4 5// [namespace.udecl]p8: 6// A using-declaration for a class member shall be a member-declaration. 7 8struct B1 { 9 B1(int); 10}; 11 12using B1::B1; // expected-error {{using declaration can not refer to class member}} 13 14// C++11 [namespace.udecl]p10: 15// A using-declaration is a declaration and can therefore be used repeatedly 16// where (and only where) multiple declarations are allowed. 17 18struct I1 : B1 { 19 using B1::B1; // expected-note {{previous using declaration}} 20 using B1::B1; // expected-error {{redeclaration of using decl}} 21}; 22 23// C++11 [namespace.udecl]p3: 24// In a using declaration used as a member-declaration, the nested-name- 25// specifier shall name a base class of the class being defined. 26// If such a using-declaration names a constructor, the nested-name-specifier 27// shall name a direct base class of the class being defined. 28 29struct D1 : I1 { 30 using B1::B1; // expected-error {{'B1' is not a direct base of 'D1', can not inherit constructors}} 31}; 32 33template<typename T> struct A {}; 34 35template<typename T> struct B : A<bool>, A<char> { 36 using A<T>::A; // expected-error {{'A<double>::', which is not a base class of 'B<double>'}} 37}; 38B<bool> bb; 39B<char> bc; 40B<double> bd; // expected-note {{here}} 41 42template<typename T> struct C : A<T> { 43 using A<bool>::A; // expected-error {{'A<bool>::', which is not a base class of 'C<char>'}} 44}; 45C<bool> cb; 46C<char> cc; // expected-note {{here}} 47 48template<typename T> struct D : A<T> {}; 49template<typename T> struct E : D<T> { 50 using A<bool>::A; // expected-error {{'A<bool>' is not a direct base of 'E<bool>', can not inherit}} 51}; 52E<bool> eb; // expected-note {{here}} 53 54template<typename T> struct F : D<bool> { 55 using A<T>::A; // expected-error {{'A<bool>' is not a direct base of 'F<bool>'}} 56}; 57F<bool> fb; // expected-note {{here}} 58 59template<typename T> 60struct G : T { 61 using T::T; 62 G(int &) : G(0) {} 63}; 64G<B1> g(123); 65