clang/test/CXX/special/class.inhctor/elsewhere.cpp

   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;
  62   G(int &) : G(0) {}
  63 };
  64 G<B1> g(123);
  65 G<const B1> g2(123);