// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf 
#define msg "p217.cpp(101)8.4.3 Deleted definitions [dcl.fct.def.delete]"

#include <iostream>

struct onlydouble {
  onlydouble() = delete; // OK, but redundant
  onlydouble(std::intmax_t) = delete;
  onlydouble(double);
};

struct sometype {
  void* operator new(std::size_t) = delete;
  void* operator new[](std::size_t) = delete;
};
sometype* p = new sometype; // error, deleted class operator new
sometype* q = new sometype[3]; // error, deleted class operator new[]

int main(){

  std::cout<< msg << std::endl;
  return EXIT_SUCCESS;
}

$ clang++ p217.cpp
p217.cpp:17:15: error: call to deleted function 'operator new'
sometype* p = new sometype; // error, deleted class operator new
              ^
p217.cpp:14:9: note: candidate function has been explicitly deleted
  void* operator new(std::size_t) = delete;
        ^
p217.cpp:18:15: error: call to deleted function 'operator new[]'
sometype* q = new sometype[3]; // error, deleted class operator new[]
              ^
p217.cpp:15:9: note: candidate function has been explicitly deleted
  void* operator new[](std::size_t) = delete;
        ^
2 errors generated.

$ g++-7 p217.cpp
p217.cpp:17:19: error: use of deleted function 'static void* sometype::operator new(std::size_t)'
 sometype* p = new sometype; // error, deleted class operator new
                   ^~~~~~~~
p217.cpp:14:9: note: declared here
   void* operator new(std::size_t) = delete;
         ^~~~~~~~
p217.cpp:18:29: error: use of deleted function 'static void* sometype::operator new [](std::size_t)'
 sometype* q = new sometype[3]; // error, deleted class operator new[]
                             ^
p217.cpp:15:9: note: declared here
   void* operator new[](std::size_t) = delete;
         ^~~~~~~~

// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf 
#define msg "p217-2.cpp(101)8.4.3 Deleted definitions [dcl.fct.def.delete]"

#include <iostream>
struct moveonly {
  moveonly() = default;
  moveonly(const moveonly&) = delete;
  moveonly(moveonly&&) = default;
  moveonly& operator=(const moveonly&) = delete;
  moveonly& operator=(moveonly&&) = default;
  ~moveonly() = default;
};
moveonly* p;
moveonly q(*p); // error, deleted copy constructor

int main(){

  std::cout<< msg << std::endl;
  return EXIT_SUCCESS;
}

$ ./cppgl17.sh p217-2
$ clang++ p217-2.cpp
p217-2.cpp:15:10: error: call to deleted constructor of 'moveonly'
moveonly q(*p); // error, deleted copy constructor
         ^ ~~
p217-2.cpp:8:3: note: 'moveonly' has been explicitly marked deleted here
  moveonly(const moveonly&) = delete;
  ^
1 error generated.

$ g++-7 p217-2.cpp
p217-2.cpp:15:14: error: use of deleted function 'moveonly::moveonly(const moveonly&)'
 moveonly q(*p); // error, deleted copy constructor
              ^
p217-2.cpp:8:3: note: declared here
   moveonly(const moveonly&) = delete;
   ^~~~~~~~

// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf 
#define msg "p217-3.cpp(101)8.4.3 Deleted definitions [dcl.fct.def.delete]"

#include <iostream>
struct sometype {
sometype();
};
sometype::sometype() = delete; // ill-formed; not first declaration

int main(){

  std::cout<< msg << std::endl;
  return EXIT_SUCCESS;
}

$ ./cppgl17.sh p217-3
$ clang++ p217-3.cpp
p217-3.cpp:9:24: error: deleted definition must be first declaration
sometype::sometype() = delete; // ill-formed; not first declaration
                       ^
p217-3.cpp:7:1: note: previous declaration is here
sometype();
^
1 error generated.

$ g++-7 p217-3.cpp
p217-3.cpp:9:1: error: deleted definition of 'sometype::sometype()'
 sometype::sometype() = delete; // ill-formed; not first declaration
 ^~~~~~~~
p217-3.cpp:7:1: note: previous declaration of 'sometype::sometype()'
 sometype();
 ^~~~~~~~