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

   1 // RUN: %clang_cc1 -std=c++11 -verify %s
   2 //
   3 // Note: [class.inhctor] was removed by P0136R1. This tests the new behavior
   4 // for the wording that used to be there.
   5
   6 template<int> struct X {};
   7
   8 // A[n inheriting] constructor [...] has the same access as the corresponding
   9 // constructor [in the base class].
  10 struct A {
  11 public:
  12   A(X<0>) {}
  13 protected:
  14   A(X<1>) {} // expected-note 2{{declared protected here}}
  15 private:
  16   A(X<2>) {} // expected-note 2{{declared private here}}
  17   friend class FA;
  18 };
  19
  20 struct B : A {
  21   using A::A;
  22   friend class FB;
  23 };
  24
  25 B b0{X<0>{}};
  26 B b1{X<1>{}}; // expected-error {{calling a protected constructor}}
  27 B b2{X<2>{}}; // expected-error {{calling a private constructor}}
  28
  29 struct C : B {
  30   C(X<0> x) : B(x) {}
  31   C(X<1> x) : B(x) {}
  32 };
  33
  34 struct FB {
  35   B b0{X<0>{}};
  36   B b1{X<1>{}};
  37 };
  38
  39 struct FA : A {
  40   using A::A;
  41 };
  42 FA fa0{X<0>{}};
  43 FA fa1{X<1>{}}; // expected-error {{calling a protected constructor}}
  44 FA fa2{X<2>{}}; // expected-error {{calling a private constructor}}
  45
  46
  47 // It is deleted if the corresponding constructor [...] is deleted.
  48 struct G {
  49   G(int) = delete; // expected-note {{'G' has been explicitly marked deleted here}}
  50   template<typename T> G(T*) = delete; // expected-note {{'G<const char>' has been explicitly marked deleted here}}
  51 };
  52 struct H : G {
  53   using G::G;
  54 };
  55 H h1(5); // expected-error {{call to deleted constructor of 'H'}}
  56 H h2("foo"); // expected-error {{call to deleted constructor of 'H'}}
  57
  58
  59 // Core defect: It is also deleted if multiple base constructors generate the
  60 // same signature.
  61 namespace DRnnnn {
  62   struct A {
  63     constexpr A(int, float = 0) {}
  64     explicit A(int, int = 0) {} // expected-note {{candidate}}
  65
  66     A(int, int, int = 0) = delete; // expected-note {{deleted}}
  67   };
  68   struct B : A {
  69     using A::A; // expected-note 2{{inherited here}}
  70   };
  71
  72   constexpr B b0(0, 0.0f); // ok, constexpr
  73   B b1(0, 1); // expected-error {{call to constructor of 'B' is ambiguous}}
  74 }