clang/test/CXX/dcl.decl/dcl.meaning/dcl.fct/dcl.fct.def.default/p2.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
   2
   3 // FIXME: test with non-std qualifiers
   4
   5 namespace move {
   6   struct Const {
   7     Const(const Const&&) = default; // expected-error {{the parameter for an explicitly-defaulted move constructor may not be const}}
   8     Const& operator=(const Const&&) = default; // expected-error {{the parameter for an explicitly-defaulted move assignment operator may not be const}}
   9   };
  10
  11   struct Volatile {
  12     Volatile(volatile Volatile&&) = default; // expected-error {{the parameter for an explicitly-defaulted move constructor may not be volatile}}
  13     Volatile& operator=(volatile Volatile&&) = default; // expected-error {{the parameter for an explicitly-defaulted move assignment operator may not be volatile}}
  14   };
  15
  16   struct AssignmentRet1 {
  17     AssignmentRet1&& operator=(AssignmentRet1&&) = default; // expected-error {{explicitly-defaulted move assignment operator must return 'AssignmentRet1 &'}}
  18   };
  19
  20   struct AssignmentRet2 {
  21     const AssignmentRet2& operator=(AssignmentRet2&&) = default; // expected-error {{explicitly-defaulted move assignment operator must return 'AssignmentRet2 &'}}
  22   };
  23
  24   struct ConstAssignment {
  25     ConstAssignment& operator=(ConstAssignment&&) const = default; // expected-error {{an explicitly-defaulted move assignment operator may not have 'const', 'constexpr' or 'volatile' qualifiers}}
  26   };
  27 }
  28
  29 namespace copy {
  30   struct Volatile {
  31     Volatile(const volatile Volatile&) = default; // expected-error {{the parameter for an explicitly-defaulted copy constructor may not be volatile}}
  32     Volatile& operator=(const volatile Volatile&) = default; // expected-error {{the parameter for an explicitly-defaulted copy assignment operator may not be volatile}}
  33   };
  34
  35   struct Const {
  36     Const(const Const&) = default;
  37     Const& operator=(const Const&) = default;
  38   };
  39
  40   struct NonConst {
  41     NonConst(NonConst&) = default;
  42     NonConst& operator=(NonConst&) = default;
  43   };
  44
  45   struct NonConst2 {
  46     NonConst2(NonConst2&);
  47     NonConst2& operator=(NonConst2&);
  48   };
  49   NonConst2::NonConst2(NonConst2&) = default;
  50   NonConst2 &NonConst2::operator=(NonConst2&) = default;
  51
  52   struct NonConst3 {
  53     NonConst3(NonConst3&) = default;
  54     NonConst3& operator=(NonConst3&) = default;
  55     NonConst nc;
  56   };
  57
  58   struct BadConst {
  59     BadConst(const BadConst&) = default; // expected-error {{is const, but}}
  60     BadConst& operator=(const BadConst&) = default; // expected-error {{is const, but}}
  61     NonConst nc; // makes implicit copy non-const
  62   };
  63
  64   struct AssignmentRet1 {
  65     AssignmentRet1&& operator=(const AssignmentRet1&) = default; // expected-error {{explicitly-defaulted copy assignment operator must return 'AssignmentRet1 &'}}
  66   };
  67
  68   struct AssignmentRet2 {
  69     const AssignmentRet2& operator=(const AssignmentRet2&) = default; // expected-error {{explicitly-defaulted copy assignment operator must return 'AssignmentRet2 &'}}
  70   };
  71
  72   struct ConstAssignment {
  73     ConstAssignment& operator=(const ConstAssignment&) const = default; // expected-error {{an explicitly-defaulted copy assignment operator may not have 'const', 'constexpr' or 'volatile' qualifiers}}
  74   };
  75 }