p11.0x.move.cpp revision ec92bc78979aae6ec436fe51d082f7467e6f96c0 
1// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
2
3struct NonTrivial {
4  NonTrivial(NonTrivial&&);
5};
6
7// A defaulted move constructor for a class X is defined as deleted if X has:
8
9// -- a variant member with a non-trivial corresponding constructor
10union DeletedNTVariant {
11  NonTrivial NT;
12  DeletedNTVariant(DeletedNTVariant&&);
13};
14DeletedNTVariant::DeletedNTVariant(DeletedNTVariant&&) = default; // expected-error{{would delete}}
15
16struct DeletedNTVariant2 {
17  union {
18    NonTrivial NT;
19  };
20  DeletedNTVariant2(DeletedNTVariant2&&);
21};
22DeletedNTVariant2::DeletedNTVariant2(DeletedNTVariant2&&) = default; // expected-error{{would delete}}
23
24// -- a non-static data member of class type M (or array thereof) that cannot be
25//    copied because overload resolution results in an ambiguity or a function
26//    that is deleted or inaccessible
27struct NoAccess {
28  NoAccess() = default;
29private:
30  NoAccess(NoAccess&&);
31
32  friend struct HasAccess;
33};
34
35struct HasNoAccess {
36  NoAccess NA;
37  HasNoAccess(HasNoAccess&&);
38};
39HasNoAccess::HasNoAccess(HasNoAccess&&) = default; // expected-error{{would delete}}
40
41struct HasAccess {
42  NoAccess NA;
43  HasAccess(HasAccess&&);
44};
45HasAccess::HasAccess(HasAccess&&) = default;
46
47struct Ambiguity {
48  Ambiguity(const Ambiguity&&);
49  Ambiguity(volatile Ambiguity&&);
50};
51
52struct IsAmbiguous {
53  Ambiguity A;
54  IsAmbiguous(IsAmbiguous&&);
55};
56IsAmbiguous::IsAmbiguous(IsAmbiguous&&) = default; // expected-error{{would delete}}
57
58struct Deleted {
59  IsAmbiguous IA;
60  Deleted(Deleted&&);
61};
62Deleted::Deleted(Deleted&&) = default; // expected-error{{would delete}}
63
64// -- a direct or virtual base class B that cannot be moved because overload
65//    resolution results in an ambiguity or a function that is deleted or
66//    inaccessible
67struct AmbiguousMoveBase : Ambiguity {
68  AmbiguousMoveBase(AmbiguousMoveBase&&);
69};
70AmbiguousMoveBase::AmbiguousMoveBase(AmbiguousMoveBase&&) = default; // expected-error{{would delete}}
71
72struct DeletedMoveBase : AmbiguousMoveBase {
73  DeletedMoveBase(DeletedMoveBase&&);
74};
75DeletedMoveBase::DeletedMoveBase(DeletedMoveBase&&) = default; // expected-error{{would delete}}
76
77struct InaccessibleMoveBase : NoAccess {
78  InaccessibleMoveBase(InaccessibleMoveBase&&);
79};
80InaccessibleMoveBase::InaccessibleMoveBase(InaccessibleMoveBase&&) = default; // expected-error{{would delete}}
81
82// -- any direct or virtual base class or non-static data member of a type with
83//    a destructor that is deleted or inaccessible
84struct NoAccessDtor {
85  NoAccessDtor(NoAccessDtor&&);
86private:
87  ~NoAccessDtor();
88  friend struct HasAccessDtor;
89};
90
91struct HasNoAccessDtor {
92  NoAccessDtor NAD;
93  HasNoAccessDtor(HasNoAccessDtor&&);
94};
95HasNoAccessDtor::HasNoAccessDtor(HasNoAccessDtor&&) = default; // expected-error{{would delete}}
96
97struct HasAccessDtor {
98  NoAccessDtor NAD;
99  HasAccessDtor(HasAccessDtor&&);
100};
101HasAccessDtor::HasAccessDtor(HasAccessDtor&&) = default;
102
103struct HasNoAccessDtorBase : NoAccessDtor { // expected-note{{here}}
104};
105extern HasNoAccessDtorBase HNADBa;
106HasNoAccessDtorBase HNADBb(HNADBa); // expected-error{{implicitly-deleted copy constructor}}
107
108// The restriction on rvalue reference members applies to only the copy
109// constructor.
110struct RValue {
111  int &&ri = 1;
112  RValue(RValue&&);
113};
114RValue::RValue(RValue&&) = default;
115
116// -- a non-static data member or direct or virtual base class with a type that
117//    does not have a move constructor and is not trivially copyable
118struct CopyOnly {
119  CopyOnly(const CopyOnly&);
120};
121
122struct NonMove {
123  CopyOnly CO;
124  NonMove(NonMove&&);
125};
126NonMove::NonMove(NonMove&&) = default; // expected-error{{would delete}}
127
128struct Moveable {
129  Moveable();
130  Moveable(Moveable&&);
131};
132
133struct HasMove {
134  Moveable M;
135  HasMove(HasMove&&);
136};
137HasMove::HasMove(HasMove&&) = default;
138