112 lines · cpp
1// RUN: %clang_cc1 -verify -std=c++11 %s -Wno-defaulted-function-deleted -triple x86_64-linux-gnu2 3struct NonTrivDtor {4 ~NonTrivDtor();5};6struct DeletedDtor {7 ~DeletedDtor() = delete; // expected-note 5 {{deleted here}}8};9class InaccessibleDtor {10 ~InaccessibleDtor() = default;11};12 13// A defaulted destructor for a class X is defined as deleted if:14 15// -- X is a union-like class that has a variant member with a non-trivial16// destructor.17union A1 {18 A1();19 NonTrivDtor n; // expected-note {{destructor of 'A1' is implicitly deleted because variant field 'n' has a non-trivial destructor}}20};21A1 a1; // expected-error {{deleted function}}22struct A2 {23 A2();24 union {25 NonTrivDtor n; // expected-note {{because variant field 'n' has a non-trivial destructor}}26 };27};28A2 a2; // expected-error {{deleted function}}29union A3 {30 A3();31 NonTrivDtor n[3]; // expected-note {{because variant field 'n' has a non-trivial destructor}}32};33A3 a3; // expected-error {{deleted function}}34struct A4 {35 A4();36 union {37 NonTrivDtor n[3]; // expected-note {{because variant field 'n' has a non-trivial destructor}}38 };39};40A4 a4; // expected-error {{deleted function}}41 42// -- any of the non-static data members has class type M (or array thereof) and43// M has a deleted or inaccessible destructor.44struct B1 {45 B1();46 DeletedDtor a; // expected-note {{because field 'a' has a deleted destructor}}47};48B1 b1; // expected-error {{deleted function}}49struct B2 {50 B2();51 InaccessibleDtor a; // expected-note {{because field 'a' has an inaccessible destructor}}52};53B2 b2; // expected-error {{deleted function}}54struct B3 {55 B3();56 DeletedDtor a[4]; // expected-note {{because field 'a' has a deleted destructor}}57};58B3 b3; // expected-error {{deleted function}}59struct B4 {60 B4();61 InaccessibleDtor a[4]; // expected-note {{because field 'a' has an inaccessible destructor}}62};63B4 b4; // expected-error {{deleted function}}64union B5 {65 B5();66 union { // expected-note-re {{because field 'B5::(anonymous union at {{.+}})' has a deleted destructor}}67 DeletedDtor a; // expected-note {{because field 'a' has a deleted destructor}}68 };69};70B5 b5; // expected-error {{deleted function}}71union B6 {72 B6();73 union { // expected-note-re {{because field 'B6::(anonymous union at {{.+}})' has a deleted destructor}}74 InaccessibleDtor a; // expected-note {{because field 'a' has an inaccessible destructor}}75 };76};77B6 b6; // expected-error {{deleted function}}78 79// -- any direct or virtual base class has a deleted or inaccessible destructor.80struct C1 : DeletedDtor { C1(); } c1; // expected-error {{deleted function}} expected-note {{base class 'DeletedDtor' has a deleted destructor}}81struct C2 : InaccessibleDtor { C2(); } c2; // expected-error {{deleted function}} expected-note {{base class 'InaccessibleDtor' has an inaccessible destructor}}82struct C3 : virtual DeletedDtor { C3(); } c3; // expected-error {{deleted function}} expected-note {{base class 'DeletedDtor' has a deleted destructor}}83struct C4 : virtual InaccessibleDtor { C4(); } c4; // expected-error {{deleted function}} expected-note {{base class 'InaccessibleDtor' has an inaccessible destructor}}84 85// -- for a virtual destructor, lookup of the non-array deallocation function86// results in an ambiguity or a function that is deleted or inaccessible.87class D1 {88 void operator delete(void*); // expected-note {{here}}89public:90 virtual ~D1() = default; // expected-note 2{{here}}91} d1; // ok92struct D2 : D1 { // expected-note 2{{virtual destructor requires an unambiguous, accessible 'operator delete'}} \93 // expected-error {{deleted function '~D2' cannot override a non-deleted}}94 // implicitly-virtual destructor95} d2; // expected-error {{deleted function}}96struct D3 { // expected-note {{virtual destructor requires an unambiguous, accessible 'operator delete'}}97 virtual ~D3() = default; // expected-note {{explicitly defaulted function was implicitly deleted here}}98 void operator delete(void*, double = 0.0);99 void operator delete(void*, char = 0);100} d3; // expected-error {{deleted function}}101struct D4 { // expected-note {{virtual destructor requires an unambiguous, accessible 'operator delete'}}102 virtual ~D4() = default; // expected-note {{implicitly deleted here}}103 void operator delete(void*) = delete;104} d4; // expected-error {{deleted function}}105struct D5 : D1 {106 ~D5(); // ok (but not definable)107} d5;108D5::~D5() {} // expected-error {{'operator delete' is a private member of 'D1'}}109struct D6 : D1 {110 ~D6() = delete; // expected-error {{deleted function '~D6' cannot override a non-deleted}}111};112