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

   1 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -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 struct B1 {
   7   B1(int); // expected-note 3{{target of using}}
   8   B1(int, int); // expected-note 3{{target of using}}
   9 };
  10 struct D1 : B1 {
  11   using B1::B1;
  12 };
  13 D1 d1a(1), d1b(1, 1);
  14
  15 D1 fd1() { return 1; }
  16
  17 struct B2 {
  18   explicit B2(int, int = 0, int = 0); // expected-note {{not a candidate}}
  19 };
  20 struct D2 : B2 { // expected-note 2{{candidate constructor}}
  21   using B2::B2;
  22 };
  23 D2 d2a(1), d2b(1, 1), d2c(1, 1, 1);
  24
  25 D2 fd2() { return 1; } // expected-error {{no viable conversion}}
  26
  27 struct B3 {
  28   B3(void*); // expected-note {{candidate}}
  29 };
  30 struct D3 : B3 { // expected-note 2{{candidate constructor}}
  31   using B3::B3; // expected-note {{inherited here}}
  32 };
  33 D3 fd3() { return 1; } // expected-error {{no viable conversion}}
  34
  35 template<typename T> struct T1 : B1 {
  36   using B1::B1; // expected-note 2{{using declaration}}
  37 };
  38 template<typename T> struct T2 : T1<T> {
  39   using T1<int>::T1; // expected-note 2{{using declaration}}
  40 };
  41 template<typename T> struct T3 : T1<int> {
  42   using T1<T>::T1; // expected-note 2{{using declaration}}
  43 };
  44 struct U {
  45   // [dcl.meaning]p1: "the member shall not merely hav ebeen introduced by a
  46   // using-declaration in the scope of the class [...] nominated by the
  47   // nested-name-specifier of the declarator-id"
  48   friend T1<int>::T1(int); // expected-error {{cannot befriend target of using declaration}}
  49   friend T1<int>::T1(int, int); // expected-error {{cannot befriend target of using declaration}}
  50   friend T2<int>::T2(int); // expected-error {{cannot befriend target of using declaration}}
  51   friend T2<int>::T2(int, int); // expected-error {{cannot befriend target of using declaration}}
  52   friend T3<int>::T3(int); // expected-error {{cannot befriend target of using declaration}}
  53   friend T3<int>::T3(int, int); // expected-error {{cannot befriend target of using declaration}}
  54 };
  55
  56 struct B4 {
  57   template<typename T> explicit B4(T, int = 0); // expected-note 2{{here}}
  58 };
  59 template<typename T> struct T4 : B4 {
  60   using B4::B4;
  61   template<typename U> T4(U);
  62 };
  63 template<typename T> struct U4 : T4<T> {
  64   using T4<T>::T4;
  65 };
  66 T4<void> t4a = {0};
  67 T4<void> t4b = {0, 0}; // expected-error {{chosen constructor is explicit}}
  68 U4<void> u4a = {0};
  69 U4<void> u4b = {0, 0}; // expected-error {{chosen constructor is explicit}}