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 8 struct B1 { 9 B1(int); 10 }; 11 12 using B1::B1; // expected-error {{using declaration cannot 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 18 struct 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 29 struct D1 : I1 { 30 using B1::B1; // expected-error {{'B1' is not a direct base of 'D1', cannot inherit constructors}} 31 }; 32 33 template<typename T> struct A {}; 34 35 template<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 }; 38 B<bool> bb; 39 B<char> bc; 40 B<double> bd; // expected-note {{here}} 41 42 template<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 }; 45 C<bool> cb; 46 C<char> cc; // expected-note {{here}} 47 48 template<typename T> struct D : A<T> {}; 49 template<typename T> struct E : D<T> { 50 using A<bool>::A; // expected-error {{'A<bool>' is not a direct base of 'E<bool>', cannot inherit}} 51 }; 52 E<bool> eb; // expected-note {{here}} 53 54 template<typename T> struct F : D<bool> { 55 using A<T>::A; // expected-error {{'A<bool>' is not a direct base of 'F<bool>'}} 56 }; 57 F<bool> fb; // expected-note {{here}} 58 59 template<typename T> 60 struct G : T { 61 using T::T; GG62 G(int &) : G(0) {} 63 }; 64 G<B1> g(123); 65