Improved type safety of different flag types

1 files changed, 41 insertions, 0 deletions

diff --git a/Primitives/interface/FlagEnum.h b/Primitives/interface/FlagEnum.h
new file mode 100644
index 00000000..4b399990
--- /dev/null
+++ b/Primitives/interface/FlagEnum.h
@@ -0,0 +1,41 @@
+/*     Copyright 2015-2018 Egor Yusov
+ *  
+ *  Licensed under the Apache License, Version 2.0 (the "License");
+ *  you may not use this file except in compliance with the License.
+ *  You may obtain a copy of the License at
+ * 
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ * 
+ *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ *  IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ *  FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OF ANY PROPRIETARY RIGHTS.
+ *
+ *  In no event and under no legal theory, whether in tort (including negligence), 
+ *  contract, or otherwise, unless required by applicable law (such as deliberate 
+ *  and grossly negligent acts) or agreed to in writing, shall any Contributor be
+ *  liable for any damages, including any direct, indirect, special, incidental, 
+ *  or consequential damages of any character arising as a result of this License or 
+ *  out of the use or inability to use the software (including but not limited to damages 
+ *  for loss of goodwill, work stoppage, computer failure or malfunction, or any and 
+ *  all other commercial damages or losses), even if such Contributor has been advised 
+ *  of the possibility of such damages.
+ */
+
+#pragma once
+
+#include "BasicTypes.h"
+
+template<typename EnumType>
+using _UNDERLYING_ENUM_T = typename std::underlying_type<EnumType>::type;
+
+#define DEFINE_FLAG_ENUM_OPERATORS(ENUMTYPE)\
+extern "C++"\
+{\
+inline           ENUMTYPE& operator |= (ENUMTYPE& a, ENUMTYPE b) throw() { return reinterpret_cast<ENUMTYPE&>(reinterpret_cast<_UNDERLYING_ENUM_T<ENUMTYPE>&>(a) |= static_cast<_UNDERLYING_ENUM_T<ENUMTYPE>>(b)); } \
+inline           ENUMTYPE& operator &= (ENUMTYPE& a, ENUMTYPE b) throw() { return reinterpret_cast<ENUMTYPE&>(reinterpret_cast<_UNDERLYING_ENUM_T<ENUMTYPE>&>(a) &= static_cast<_UNDERLYING_ENUM_T<ENUMTYPE>>(b)); } \
+inline           ENUMTYPE& operator ^= (ENUMTYPE& a, ENUMTYPE b) throw() { return reinterpret_cast<ENUMTYPE&>(reinterpret_cast<_UNDERLYING_ENUM_T<ENUMTYPE>&>(a) ^= static_cast<_UNDERLYING_ENUM_T<ENUMTYPE>>(b)); } \
+inline constexpr ENUMTYPE  operator |  (ENUMTYPE  a, ENUMTYPE b) throw() { return static_cast<ENUMTYPE> (static_cast<_UNDERLYING_ENUM_T<ENUMTYPE> >(a) |  static_cast<_UNDERLYING_ENUM_T<ENUMTYPE>>(b)); } \
+inline constexpr ENUMTYPE  operator &  (ENUMTYPE  a, ENUMTYPE b) throw() { return static_cast<ENUMTYPE> (static_cast<_UNDERLYING_ENUM_T<ENUMTYPE> >(a) &  static_cast<_UNDERLYING_ENUM_T<ENUMTYPE>>(b)); } \
+inline constexpr ENUMTYPE  operator ^  (ENUMTYPE  a, ENUMTYPE b) throw() { return static_cast<ENUMTYPE> (static_cast<_UNDERLYING_ENUM_T<ENUMTYPE> >(a) ^  static_cast<_UNDERLYING_ENUM_T<ENUMTYPE>>(b)); } \
+inline constexpr ENUMTYPE  operator ~  (ENUMTYPE  a)             throw() { return static_cast<ENUMTYPE> (~static_cast<_UNDERLYING_ENUM_T<ENUMTYPE>>(a)); } \
+}