clang/test/SemaCXX/cxx0x-deleted-default-ctor.cpp

   1 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
   2
   3 struct non_trivial {
   4   non_trivial();
   5   non_trivial(const non_trivial&);
   6   non_trivial& operator = (const non_trivial&);
   7   ~non_trivial();
   8 };
   9
  10 union bad_union {
  11   non_trivial nt; // expected-note {{non-trivial default constructor}}
  12 };
  13 bad_union u; // expected-error {{call to implicitly-deleted default constructor}}
  14 union bad_union2 { // expected-note {{all data members are const-qualified}}
  15   const int i;
  16 };
  17 bad_union2 u2; // expected-error {{call to implicitly-deleted default constructor}}
  18
  19 struct bad_anon {
  20   union {
  21     non_trivial nt; // expected-note {{non-trivial default constructor}}
  22   };
  23 };
  24 bad_anon a; // expected-error {{call to implicitly-deleted default constructor}}
  25 struct bad_anon2 {
  26   union { // expected-note {{all data members of an anonymous union member are const-qualified}}
  27     const int i;
  28   };
  29 };
  30 bad_anon2 a2; // expected-error {{call to implicitly-deleted default constructor}}
  31
  32 // This would be great except that we implement
  33 union good_union {
  34   const int i;
  35   float f;
  36 };
  37 good_union gu;
  38 struct good_anon {
  39   union {
  40     const int i;
  41     float f;
  42   };
  43 };
  44 good_anon ga;
  45
  46 struct good : non_trivial {
  47   non_trivial nt;
  48 };
  49 good g;
  50
  51 struct bad_const_inner {
  52   int x;
  53 };
  54
  55 struct bad_const {
  56   const bad_const_inner g; // expected-note {{field 'g' of const-qualified type 'const bad_const_inner' would not be initialized}}
  57 };
  58 bad_const bc; // expected-error {{call to implicitly-deleted default constructor}}
  59
  60 struct good_const {
  61   const non_trivial nt;
  62 };
  63 good_const gc;
  64
  65 struct no_default {
  66   no_default() = delete; // expected-note 5{{deleted here}}
  67 };
  68 struct no_dtor {
  69   ~no_dtor() = delete; // expected-note 2{{deleted here}}
  70 };
  71
  72 struct bad_field_default {
  73   no_default nd; // expected-note {{field 'nd' has a deleted default constructor}}
  74 };
  75 bad_field_default bfd; // expected-error {{call to implicitly-deleted default constructor}}
  76 struct bad_base_default : no_default { // expected-note {{base class 'no_default' has a deleted default constructor}}
  77 };
  78 bad_base_default bbd; // expected-error {{call to implicitly-deleted default constructor}}
  79
  80 struct bad_field_dtor {
  81   no_dtor nd; // expected-note {{field 'nd' has a deleted destructor}}
  82 };
  83 bad_field_dtor bfx; // expected-error {{call to implicitly-deleted default constructor}}
  84 struct bad_base_dtor : no_dtor { // expected-note {{base class 'no_dtor' has a deleted destructor}}
  85 };
  86 bad_base_dtor bbx; // expected-error {{call to implicitly-deleted default constructor}}
  87
  88 struct ambiguous_default {
  89   ambiguous_default();
  90   ambiguous_default(int = 2);
  91 };
  92 struct has_amb_field {
  93   ambiguous_default ad; // expected-note {{field 'ad' has multiple default constructors}}
  94 };
  95 has_amb_field haf; // expected-error {{call to implicitly-deleted default constructor}}
  96
  97 class inaccessible_default {
  98   inaccessible_default();
  99 };
 100 struct has_inacc_field {
 101   inaccessible_default id; // expected-note {{field 'id' has an inaccessible default constructor}}
 102 };
 103 has_inacc_field hif; // expected-error {{call to implicitly-deleted default constructor}}
 104
 105 class friend_default {
 106   friend struct has_friend;
 107   friend_default();
 108 };
 109 struct has_friend {
 110   friend_default fd;
 111 };
 112 has_friend hf;
 113
 114 struct defaulted_delete {
 115   no_default nd; // expected-note 2{{because field 'nd' has a deleted default constructor}}
 116   defaulted_delete() = default; // expected-note{{implicitly deleted here}} expected-warning {{implicitly deleted}}
 117 };
 118 defaulted_delete dd; // expected-error {{call to implicitly-deleted default constructor}}
 119
 120 struct late_delete {
 121   no_default nd; // expected-note {{because field 'nd' has a deleted default constructor}}
 122   late_delete();
 123 };
 124 late_delete::late_delete() = default; // expected-error {{would delete it}}
 125
 126 // See also rdar://problem/8125400.
 127 namespace empty {
 128   static union {}; // expected-warning {{does not declare anything}}
 129   static union { union {}; }; // expected-warning {{does not declare anything}}
 130   static union { struct {}; }; // expected-warning {{does not declare anything}}
 131   static union { union { union {}; }; }; // expected-warning {{does not declare anything}}
 132   static union { union { struct {}; }; }; // expected-warning {{does not declare anything}}
 133   static union { struct { union {}; }; }; // expected-warning {{does not declare anything}}
 134   static union { struct { struct {}; }; }; // expected-warning {{does not declare anything}}
 135 }