1/****************************************************************************
2**
3** Copyright (C) 2016 The Qt Company Ltd.
4** Contact: https://www.qt.io/licensing/
5**
6** This file is part of the QtCore module of the Qt Toolkit.
7**
8** $QT_BEGIN_LICENSE:LGPL$
9** Commercial License Usage
10** Licensees holding valid commercial Qt licenses may use this file in
11** accordance with the commercial license agreement provided with the
12** Software or, alternatively, in accordance with the terms contained in
13** a written agreement between you and The Qt Company. For licensing terms
14** and conditions see https://www.qt.io/terms-conditions. For further
15** information use the contact form at https://www.qt.io/contact-us.
16**
17** GNU Lesser General Public License Usage
18** Alternatively, this file may be used under the terms of the GNU Lesser
19** General Public License version 3 as published by the Free Software
20** Foundation and appearing in the file LICENSE.LGPL3 included in the
21** packaging of this file. Please review the following information to
22** ensure the GNU Lesser General Public License version 3 requirements
23** will be met: https://www.gnu.org/licenses/lgpl-3.0.html.
24**
25** GNU General Public License Usage
26** Alternatively, this file may be used under the terms of the GNU
27** General Public License version 2.0 or (at your option) the GNU General
28** Public license version 3 or any later version approved by the KDE Free
29** Qt Foundation. The licenses are as published by the Free Software
30** Foundation and appearing in the file LICENSE.GPL2 and LICENSE.GPL3
31** included in the packaging of this file. Please review the following
32** information to ensure the GNU General Public License requirements will
33** be met: https://www.gnu.org/licenses/gpl-2.0.html and
34** https://www.gnu.org/licenses/gpl-3.0.html.
35**
36** $QT_END_LICENSE$
37**
38****************************************************************************/
39
40#include <QtCore/qglobal.h>
41
42#ifndef QFLAGS_H
43#define QFLAGS_H
44
45#include <initializer_list>
46
47QT_BEGIN_NAMESPACE
48
49class QDataStream;
50
51class QFlag
52{
53 int i;
54public:
55 constexpr inline QFlag(int value) noexcept : i(value) {}
56 constexpr inline operator int() const noexcept { return i; }
57
58#if !defined(Q_CC_MSVC)
59 // Microsoft Visual Studio has buggy behavior when it comes to
60 // unsigned enums: even if the enum is unsigned, the enum tags are
61 // always signed
62# if !defined(__LP64__) && !defined(Q_CLANG_QDOC)
63 constexpr inline QFlag(long value) noexcept : i(int(value)) {}
64 constexpr inline QFlag(ulong value) noexcept : i(int(long(value))) {}
65# endif
66 constexpr inline QFlag(uint value) noexcept : i(int(value)) {}
67 constexpr inline QFlag(short value) noexcept : i(int(value)) {}
68 constexpr inline QFlag(ushort value) noexcept : i(int(uint(value))) {}
69 constexpr inline operator uint() const noexcept { return uint(i); }
70#endif
71};
72Q_DECLARE_TYPEINFO(QFlag, Q_PRIMITIVE_TYPE);
73
74class QIncompatibleFlag
75{
76 int i;
77public:
78 constexpr inline explicit QIncompatibleFlag(int i) noexcept;
79 constexpr inline operator int() const noexcept { return i; }
80};
81Q_DECLARE_TYPEINFO(QIncompatibleFlag, Q_PRIMITIVE_TYPE);
82
83constexpr inline QIncompatibleFlag::QIncompatibleFlag(int value) noexcept : i(value) {}
84
85
86#ifndef Q_NO_TYPESAFE_FLAGS
87
88template<typename Enum>
89class QFlags
90{
91 static_assert((sizeof(Enum) <= sizeof(int)),
92 "QFlags uses an int as storage, so an enum with underlying "
93 "long long will overflow.");
94 static_assert((std::is_enum<Enum>::value), "QFlags is only usable on enumeration types.");
95
96public:
97#if defined(Q_CC_MSVC) || defined(Q_CLANG_QDOC)
98 // see above for MSVC
99 // the definition below is too complex for qdoc
100 typedef int Int;
101#else
102 typedef typename std::conditional<
103 std::is_unsigned<typename std::underlying_type<Enum>::type>::value,
104 unsigned int,
105 signed int
106 >::type Int;
107#endif
108 typedef Enum enum_type;
109 // compiler-generated copy/move ctor/assignment operators are fine!
110#ifdef Q_CLANG_QDOC
111 constexpr inline QFlags(const QFlags &other);
112 constexpr inline QFlags &operator=(const QFlags &other);
113#endif
114 constexpr inline QFlags() noexcept : i(0) {}
115 constexpr inline QFlags(Enum flags) noexcept : i(Int(flags)) {}
116 constexpr inline QFlags(QFlag flag) noexcept : i(flag) {}
117
118 constexpr inline QFlags(std::initializer_list<Enum> flags) noexcept
119 : i(initializer_list_helper(flags.begin(), flags.end())) {}
120
121 constexpr inline QFlags &operator&=(int mask) noexcept { i &= mask; return *this; }
122 constexpr inline QFlags &operator&=(uint mask) noexcept { i &= mask; return *this; }
123 constexpr inline QFlags &operator&=(Enum mask) noexcept { i &= Int(mask); return *this; }
124 constexpr inline QFlags &operator|=(QFlags other) noexcept { i |= other.i; return *this; }
125 constexpr inline QFlags &operator|=(Enum other) noexcept { i |= Int(other); return *this; }
126 constexpr inline QFlags &operator^=(QFlags other) noexcept { i ^= other.i; return *this; }
127 constexpr inline QFlags &operator^=(Enum other) noexcept { i ^= Int(other); return *this; }
128
129 constexpr inline operator Int() const noexcept { return i; }
130
131 constexpr inline QFlags operator|(QFlags other) const noexcept { return QFlags(QFlag(i | other.i)); }
132 constexpr inline QFlags operator|(Enum other) const noexcept { return QFlags(QFlag(i | Int(other))); }
133 constexpr inline QFlags operator^(QFlags other) const noexcept { return QFlags(QFlag(i ^ other.i)); }
134 constexpr inline QFlags operator^(Enum other) const noexcept { return QFlags(QFlag(i ^ Int(other))); }
135 constexpr inline QFlags operator&(int mask) const noexcept { return QFlags(QFlag(i & mask)); }
136 constexpr inline QFlags operator&(uint mask) const noexcept { return QFlags(QFlag(i & mask)); }
137 constexpr inline QFlags operator&(Enum other) const noexcept { return QFlags(QFlag(i & Int(other))); }
138 constexpr inline QFlags operator~() const noexcept { return QFlags(QFlag(~i)); }
139
140 constexpr inline void operator+(QFlags other) const noexcept = delete;
141 constexpr inline void operator+(Enum other) const noexcept = delete;
142 constexpr inline void operator+(int other) const noexcept = delete;
143 constexpr inline void operator-(QFlags other) const noexcept = delete;
144 constexpr inline void operator-(Enum other) const noexcept = delete;
145 constexpr inline void operator-(int other) const noexcept = delete;
146
147 constexpr inline bool operator!() const noexcept { return !i; }
148
149 constexpr inline bool testFlag(Enum flag) const noexcept { return (i & Int(flag)) == Int(flag) && (Int(flag) != 0 || i == Int(flag) ); }
150 constexpr inline QFlags &setFlag(Enum flag, bool on = true) noexcept
151 {
152 return on ? (*this |= flag) : (*this &= ~Int(flag));
153 }
154
155private:
156 constexpr static inline Int initializer_list_helper(typename std::initializer_list<Enum>::const_iterator it,
157 typename std::initializer_list<Enum>::const_iterator end)
158 noexcept
159 {
160 return (it == end ? Int(0) : (Int(*it) | initializer_list_helper(it + 1, end)));
161 }
162
163 Int i;
164};
165
166#ifndef Q_MOC_RUN
167#define Q_DECLARE_FLAGS(Flags, Enum)\
168typedef QFlags<Enum> Flags;
169#endif
170
171#define Q_DECLARE_INCOMPATIBLE_FLAGS(Flags) \
172constexpr inline QIncompatibleFlag operator|(Flags::enum_type f1, int f2) noexcept \
173{ return QIncompatibleFlag(int(f1) | f2); } \
174constexpr inline void operator+(int f1, Flags::enum_type f2) noexcept = delete; \
175constexpr inline void operator+(Flags::enum_type f1, int f2) noexcept = delete; \
176constexpr inline void operator-(int f1, Flags::enum_type f2) noexcept = delete; \
177constexpr inline void operator-(Flags::enum_type f1, int f2) noexcept = delete;
178
179#define Q_DECLARE_OPERATORS_FOR_FLAGS(Flags) \
180constexpr inline QFlags<Flags::enum_type> operator|(Flags::enum_type f1, Flags::enum_type f2) noexcept \
181{ return QFlags<Flags::enum_type>(f1) | f2; } \
182constexpr inline QFlags<Flags::enum_type> operator|(Flags::enum_type f1, QFlags<Flags::enum_type> f2) noexcept \
183{ return f2 | f1; } \
184constexpr inline void operator+(Flags::enum_type f1, Flags::enum_type f2) noexcept = delete; \
185constexpr inline void operator+(Flags::enum_type f1, QFlags<Flags::enum_type> f2) noexcept = delete; \
186constexpr inline void operator+(int f1, QFlags<Flags::enum_type> f2) noexcept = delete; \
187constexpr inline void operator-(Flags::enum_type f1, Flags::enum_type f2) noexcept = delete; \
188constexpr inline void operator-(Flags::enum_type f1, QFlags<Flags::enum_type> f2) noexcept = delete; \
189constexpr inline void operator-(int f1, QFlags<Flags::enum_type> f2) noexcept = delete; \
190Q_DECLARE_INCOMPATIBLE_FLAGS(Flags)
191
192
193#else /* Q_NO_TYPESAFE_FLAGS */
194
195#ifndef Q_MOC_RUN
196#define Q_DECLARE_FLAGS(Flags, Enum)\
197typedef uint Flags;
198#endif
199
200#define Q_DECLARE_OPERATORS_FOR_FLAGS(Flags)
201
202#endif /* Q_NO_TYPESAFE_FLAGS */
203
204QT_END_NAMESPACE
205
206#endif // QFLAGS_H
207