clang/test/SemaCXX/deleted-function.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 -fcxx-exceptions %s
   2
   3 int i = delete; // expected-error {{only functions can have deleted definitions}}
   4
   5 void fn() = delete; // expected-note {{candidate function has been explicitly deleted}}
   6
   7 void fn2(); // expected-note {{previous declaration is here}}
   8 void fn2() = delete; // expected-error {{deleted definition must be first declaration}}
   9
  10 void fn3() = delete; // expected-note {{previous definition is here}}
  11 void fn3() { // expected-error {{redefinition}}
  12 }
  13
  14 void ov(int) {} // expected-note {{candidate function}}
  15 void ov(double) = delete; // expected-note {{candidate function has been explicitly deleted}}
  16
  17 struct WithDel {
  18   WithDel() = delete; // expected-note {{'WithDel' has been explicitly marked deleted here}}
  19   void fn() = delete; // expected-note {{'fn' has been explicitly marked deleted here}}
  20   operator int() = delete; // expected-note {{'operator int' has been explicitly marked deleted here}}
  21   void operator +(int) = delete;
  22
  23   int i = delete; // expected-error {{only functions can have deleted definitions}}
  24 };
  25
  26 void test() {
  27   fn(); // expected-error {{call to deleted function 'fn'}}
  28   ov(1);
  29   ov(1.0); // expected-error {{call to deleted function 'ov'}}
  30
  31   WithDel dd; // expected-error {{call to deleted constructor of 'WithDel'}}
  32   WithDel *d = 0;
  33   d->fn(); // expected-error {{attempt to use a deleted function}}
  34   int i = *d; // expected-error {{invokes a deleted function}}
  35 }
  36
  37 struct DelDtor {
  38   ~DelDtor() = delete; // expected-note 9{{here}}
  39 };
  40 void f() {
  41   DelDtor *p = new DelDtor[3]; // expected-error {{attempt to use a deleted function}}
  42   delete [] p; // expected-error {{attempt to use a deleted function}}
  43   const DelDtor &dd2 = DelDtor(); // expected-error {{attempt to use a deleted function}}
  44   DelDtor dd; // expected-error {{attempt to use a deleted function}}
  45   throw dd; // expected-error {{attempt to use a deleted function}}
  46 }
  47 struct X : DelDtor {
  48   ~X() {} // expected-error {{attempt to use a deleted function}}
  49 };
  50 struct Y {
  51   DelDtor dd;
  52   ~Y() {} // expected-error {{attempt to use a deleted function}}
  53 };
  54 struct Z : virtual DelDtor {
  55   ~Z() {} // expected-error {{attempt to use a deleted function}}
  56 };
  57 DelDtor dd; // expected-error {{attempt to use a deleted function}}
  58
  59 template<typename> void test2() = delete;
  60 template void test2<int>();
  61
  62 template<typename> void test3() = delete;
  63 template<typename> void test3();
  64 template void test3<int>();
  65
  66 void test4() {} // expected-note {{previous definition is here}}
  67 void test4() = delete; // expected-error {{redefinition of 'test4'}}
  68
  69 struct DelCtor { // expected-note 4{{implicit}}
  70   DelCtor(int) = delete; // expected-note 14{{deleted}}
  71   // ensure the class is not an aggregate
  72   DelCtor(int, int, int, int);
  73 };
  74 DelCtor dc1 = 0; // expected-error {{deleted}}
  75 DelCtor dc2(0); // expected-error {{deleted}}
  76 DelCtor dc3 = {0}; // expected-error {{deleted}}
  77 DelCtor dc4{0}; // expected-error {{deleted}}
  78 DelCtor dc5 = (DelCtor)0; // expected-error {{deleted}}
  79 DelCtor dc6 = DelCtor(0); // expected-error {{deleted}}
  80 DelCtor dc7 = DelCtor{0}; // expected-error {{deleted}}
  81 DelCtor *dc8 = new DelCtor(0); // expected-error {{deleted}}
  82 DelCtor *dc9 = new DelCtor{0}; // expected-error {{deleted}}
  83 DelCtor dc10[] = {0}; // expected-error {{deleted}}
  84 int use_dc(DelCtor); // expected-note 2{{here}}
  85 int dc11 = use_dc(0); // expected-error {{deleted}}
  86 int dc12 = use_dc({0}); // expected-error {{deleted}}
  87 int use_dcr(const DelCtor &); // expected-note {{here}}
  88 int dc13 = use_dcr(0); // expected-error {{deleted}}
  89 int dc14 = use_dcr({0}); // expected-error {{deleted}}
  90
  91 struct DelCtorTemplate {
  92   template<typename T> DelCtorTemplate(T) = delete; // expected-note {{deleted}}
  93 };
  94 int use_dct(const DelCtorTemplate &);
  95 int dc15 = use_dct(0); // expected-error {{deleted}}