]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/include/bits/enable_special_members.h
projects / thirdparty / gcc.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / include / bits / enable_special_members.h
CommitLineData
e3f166cf 1// <bits/enable_special_members.h> -*- C++ -*-
2
f1717362 3// Copyright (C) 2013-2016 Free Software Foundation, Inc.
e3f166cf 4//
5// This file is part of the GNU ISO C++ Library. This library is free
6// software; you can redistribute it and/or modify it under the
7// terms of the GNU General Public License as published by the
8// Free Software Foundation; either version 3, or (at your option)
9// any later version.
10
11// This library is distributed in the hope that it will be useful,
12// but WITHOUT ANY WARRANTY; without even the implied warranty of
13// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14// GNU General Public License for more details.
15
16// Under Section 7 of GPL version 3, you are granted additional
17// permissions described in the GCC Runtime Library Exception, version
18// 3.1, as published by the Free Software Foundation.
19
20// You should have received a copy of the GNU General Public License and
21// a copy of the GCC Runtime Library Exception along with this program;
22// see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23// <http://www.gnu.org/licenses/>.
24
25/** @file bits/enable_special_members.h
26 * This is an internal header file, included by other library headers.
27 * Do not attempt to use it directly.
28 */
29
30#ifndef _ENABLE_SPECIAL_MEMBERS_H
31#define _ENABLE_SPECIAL_MEMBERS_H 1
32
33#pragma GCC system_header
34
35namespace std _GLIBCXX_VISIBILITY(default)
36{
37_GLIBCXX_BEGIN_NAMESPACE_VERSION
38
39/**
40 * @brief A mixin helper to conditionally enable or disable the default
41 * constructor.
42 * @sa _Enable_special_members
43 */
44template<bool _Switch, typename _Tag = void>
45 struct _Enable_default_constructor { };
46
47
48/**
49 * @brief A mixin helper to conditionally enable or disable the default
50 * destructor.
51 * @sa _Enable_special_members
52 */
53template<bool _Switch, typename _Tag = void>
54 struct _Enable_destructor { };
55
56/**
57 * @brief A mixin helper to conditionally enable or disable the copy/move
58 * special members.
59 * @sa _Enable_special_members
60 */
61template<bool _Copy, bool _CopyAssignment,
62 bool _Move, bool _MoveAssignment,
63 typename _Tag = void>
64 struct _Enable_copy_move { };
65
66/**
67 * @brief A mixin helper to conditionally enable or disable the special
68 * members.
69 *
70 * The @c _Tag type parameter is to make mixin bases unique and thus avoid
71 * ambiguities.
72 */
73template<bool _Default, bool _Destructor,
74 bool _Copy, bool _CopyAssignment,
75 bool _Move, bool _MoveAssignment,
76 typename _Tag = void>
77 struct _Enable_special_members
78 : private _Enable_default_constructor<_Default, _Tag>,
79 private _Enable_destructor<_Destructor, _Tag>,
80 private _Enable_copy_move<_Copy, _CopyAssignment,
81 _Move, _MoveAssignment,
82 _Tag>
83 { };
84
85// Boilerplate follows.
86
87template<typename _Tag>
88 struct _Enable_default_constructor<false, _Tag>
89 { constexpr _Enable_default_constructor() noexcept = delete; };
90
91template<typename _Tag>
92 struct _Enable_destructor<false, _Tag>
93 { ~_Enable_destructor() noexcept = delete; };
94
95template<typename _Tag>
96 struct _Enable_copy_move<false, true, true, true, _Tag>
97 {
98 constexpr _Enable_copy_move() noexcept = default;
99 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = delete;
100 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = default;
101 _Enable_copy_move&
102 operator=(_Enable_copy_move const&) noexcept = default;
103 _Enable_copy_move&
104 operator=(_Enable_copy_move&&) noexcept = default;
105 };
106
107template<typename _Tag>
108 struct _Enable_copy_move<true, false, true, true, _Tag>
109 {
110 constexpr _Enable_copy_move() noexcept = default;
111 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = default;
112 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = default;
113 _Enable_copy_move&
114 operator=(_Enable_copy_move const&) noexcept = delete;
115 _Enable_copy_move&
116 operator=(_Enable_copy_move&&) noexcept = default;
117 };
118
119template<typename _Tag>
120 struct _Enable_copy_move<false, false, true, true, _Tag>
121 {
122 constexpr _Enable_copy_move() noexcept = default;
123 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = delete;
124 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = default;
125 _Enable_copy_move&
126 operator=(_Enable_copy_move const&) noexcept = delete;
127 _Enable_copy_move&
128 operator=(_Enable_copy_move&&) noexcept = default;
129 };
130
131template<typename _Tag>
132 struct _Enable_copy_move<true, true, false, true, _Tag>
133 {
134 constexpr _Enable_copy_move() noexcept = default;
135 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = default;
136 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = delete;
137 _Enable_copy_move&
138 operator=(_Enable_copy_move const&) noexcept = default;
139 _Enable_copy_move&
140 operator=(_Enable_copy_move&&) noexcept = default;
141 };
142
143template<typename _Tag>
144 struct _Enable_copy_move<false, true, false, true, _Tag>
145 {
146 constexpr _Enable_copy_move() noexcept = default;
147 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = delete;
148 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = delete;
149 _Enable_copy_move&
150 operator=(_Enable_copy_move const&) noexcept = default;
151 _Enable_copy_move&
152 operator=(_Enable_copy_move&&) noexcept = default;
153 };
154
155template<typename _Tag>
156 struct _Enable_copy_move<true, false, false, true, _Tag>
157 {
158 constexpr _Enable_copy_move() noexcept = default;
159 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = default;
160 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = delete;
161 _Enable_copy_move&
162 operator=(_Enable_copy_move const&) noexcept = delete;
163 _Enable_copy_move&
164 operator=(_Enable_copy_move&&) noexcept = default;
165 };
166
167template<typename _Tag>
168 struct _Enable_copy_move<false, false, false, true, _Tag>
169 {
170 constexpr _Enable_copy_move() noexcept = default;
171 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = delete;
172 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = delete;
173 _Enable_copy_move&
174 operator=(_Enable_copy_move const&) noexcept = delete;
175 _Enable_copy_move&
176 operator=(_Enable_copy_move&&) noexcept = default;
177 };
178
179template<typename _Tag>
180 struct _Enable_copy_move<true, true, true, false, _Tag>
181 {
182 constexpr _Enable_copy_move() noexcept = default;
183 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = default;
184 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = default;
185 _Enable_copy_move&
186 operator=(_Enable_copy_move const&) noexcept = default;
187 _Enable_copy_move&
188 operator=(_Enable_copy_move&&) noexcept = delete;
189 };
190
191template<typename _Tag>
192 struct _Enable_copy_move<false, true, true, false, _Tag>
193 {
194 constexpr _Enable_copy_move() noexcept = default;
195 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = delete;
196 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = default;
197 _Enable_copy_move&
198 operator=(_Enable_copy_move const&) noexcept = default;
199 _Enable_copy_move&
200 operator=(_Enable_copy_move&&) noexcept = delete;
201 };
202
203template<typename _Tag>
204 struct _Enable_copy_move<true, false, true, false, _Tag>
205 {
206 constexpr _Enable_copy_move() noexcept = default;
207 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = default;
208 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = default;
209 _Enable_copy_move&
210 operator=(_Enable_copy_move const&) noexcept = delete;
211 _Enable_copy_move&
212 operator=(_Enable_copy_move&&) noexcept = delete;
213 };
214
215template<typename _Tag>
216 struct _Enable_copy_move<false, false, true, false, _Tag>
217 {
218 constexpr _Enable_copy_move() noexcept = default;
219 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = delete;
220 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = default;
221 _Enable_copy_move&
222 operator=(_Enable_copy_move const&) noexcept = delete;
223 _Enable_copy_move&
224 operator=(_Enable_copy_move&&) noexcept = delete;
225 };
226
227template<typename _Tag>
228 struct _Enable_copy_move<true, true, false, false, _Tag>
229 {
230 constexpr _Enable_copy_move() noexcept = default;
231 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = default;
232 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = delete;
233 _Enable_copy_move&
234 operator=(_Enable_copy_move const&) noexcept = default;
235 _Enable_copy_move&
236 operator=(_Enable_copy_move&&) noexcept = delete;
237 };
238
239template<typename _Tag>
240 struct _Enable_copy_move<false, true, false, false, _Tag>
241 {
242 constexpr _Enable_copy_move() noexcept = default;
243 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = delete;
244 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = delete;
245 _Enable_copy_move&
246 operator=(_Enable_copy_move const&) noexcept = default;
247 _Enable_copy_move&
248 operator=(_Enable_copy_move&&) noexcept = delete;
249 };
250
251template<typename _Tag>
252 struct _Enable_copy_move<true, false, false, false, _Tag>
253 {
254 constexpr _Enable_copy_move() noexcept = default;
255 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = default;
256 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = delete;
257 _Enable_copy_move&
258 operator=(_Enable_copy_move const&) noexcept = delete;
259 _Enable_copy_move&
260 operator=(_Enable_copy_move&&) noexcept = delete;
261 };
262
263template<typename _Tag>
264 struct _Enable_copy_move<false, false, false, false, _Tag>
265 {
266 constexpr _Enable_copy_move() noexcept = default;
267 constexpr _Enable_copy_move(_Enable_copy_move const&) noexcept = delete;
268 constexpr _Enable_copy_move(_Enable_copy_move&&) noexcept = delete;
269 _Enable_copy_move&
270 operator=(_Enable_copy_move const&) noexcept = delete;
271 _Enable_copy_move&
272 operator=(_Enable_copy_move&&) noexcept = delete;
273 };
274
275_GLIBCXX_END_NAMESPACE_VERSION
276} // namespace std
277
278#endif // _ENABLE_SPECIAL_MEMBERS_H
Mirror of https://gcc.gnu.org/git/gcc.git