2016-07-20 16:17:47 -04:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// Copyright (c) 2015 Microsoft Corporation. All rights reserved.
|
|
|
|
//
|
|
|
|
// This code is licensed under the MIT License (MIT).
|
|
|
|
//
|
|
|
|
// 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. IN NO EVENT SHALL THE
|
|
|
|
// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
|
|
// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
|
|
// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
|
|
|
// THE SOFTWARE.
|
|
|
|
//
|
2016-05-29 20:06:29 -04:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
#ifndef GSL_BYTE_H
|
|
|
|
#define GSL_BYTE_H
|
|
|
|
|
2017-01-23 20:07:12 -05:00
|
|
|
#include <type_traits>
|
|
|
|
|
2016-07-15 20:31:40 -04:00
|
|
|
#ifdef _MSC_VER
|
2017-07-14 07:40:27 -04:00
|
|
|
|
2017-04-20 10:51:37 -04:00
|
|
|
#pragma warning(push)
|
2016-07-15 20:31:40 -04:00
|
|
|
|
2017-04-20 10:51:37 -04:00
|
|
|
// don't warn about function style casts in byte related operators
|
|
|
|
#pragma warning(disable : 26493)
|
2016-09-21 15:39:28 -04:00
|
|
|
|
2017-07-24 20:26:21 -04:00
|
|
|
#ifndef GSL_USE_STD_BYTE
|
2017-05-31 21:42:06 -04:00
|
|
|
// this tests if we are under MSVC and the standard lib has std::byte and it is enabled
|
2017-10-18 19:35:11 -04:00
|
|
|
#if defined(_HAS_STD_BYTE) && _HAS_STD_BYTE
|
2017-05-31 21:42:06 -04:00
|
|
|
|
|
|
|
#define GSL_USE_STD_BYTE 1
|
|
|
|
|
2017-10-18 19:35:11 -04:00
|
|
|
#else // defined(_HAS_STD_BYTE) && _HAS_STD_BYTE
|
2017-05-31 21:42:06 -04:00
|
|
|
|
|
|
|
#define GSL_USE_STD_BYTE 0
|
|
|
|
|
2017-10-18 19:35:11 -04:00
|
|
|
#endif // defined(_HAS_STD_BYTE) && _HAS_STD_BYTE
|
2017-07-24 20:26:21 -04:00
|
|
|
#endif // GSL_USE_STD_BYTE
|
2017-05-31 21:42:06 -04:00
|
|
|
|
|
|
|
#else // _MSC_VER
|
|
|
|
|
2017-07-24 20:26:21 -04:00
|
|
|
#ifndef GSL_USE_STD_BYTE
|
2017-05-31 21:42:06 -04:00
|
|
|
// this tests if we are under GCC or Clang with enough -std:c++1z power to get us std::byte
|
2018-08-03 13:39:12 -04:00
|
|
|
// also check if libc++ version is sufficient (> 5.0) or libstc++ actually contains std::byte
|
|
|
|
#if defined(__cplusplus) && (__cplusplus >= 201703L) && \
|
|
|
|
(defined(__cpp_lib_byte) && (__cpp_lib_byte >= 201603) || \
|
|
|
|
defined(_LIBCPP_VERSION) && (_LIBCPP_VERSION >= 5000))
|
2017-05-31 21:42:06 -04:00
|
|
|
|
|
|
|
#define GSL_USE_STD_BYTE 1
|
2017-06-02 11:45:42 -04:00
|
|
|
#include <cstddef>
|
2017-05-31 21:42:06 -04:00
|
|
|
|
2018-08-03 13:39:12 -04:00
|
|
|
#else // defined(__cplusplus) && (__cplusplus >= 201703L) &&
|
|
|
|
// (defined(__cpp_lib_byte) && (__cpp_lib_byte >= 201603) ||
|
|
|
|
// defined(_LIBCPP_VERSION) && (_LIBCPP_VERSION >= 5000))
|
2017-05-31 21:42:06 -04:00
|
|
|
|
|
|
|
#define GSL_USE_STD_BYTE 0
|
|
|
|
|
2017-05-31 22:08:11 -04:00
|
|
|
#endif //defined(__cplusplus) && (__cplusplus >= 201703L)
|
2018-08-03 13:39:12 -04:00
|
|
|
// (defined(__cpp_lib_byte) && (__cpp_lib_byte >= 201603) ||
|
|
|
|
// defined(_LIBCPP_VERSION) && (_LIBCPP_VERSION >= 5000))
|
2017-07-24 20:26:21 -04:00
|
|
|
#endif // GSL_USE_STD_BYTE
|
2017-05-31 21:42:06 -04:00
|
|
|
|
2017-04-20 10:51:37 -04:00
|
|
|
#endif // _MSC_VER
|
2016-07-15 20:31:40 -04:00
|
|
|
|
2018-05-01 15:32:31 -04:00
|
|
|
// Use __may_alias__ attribute on gcc and clang
|
|
|
|
#if defined __clang__ || (__GNUC__ > 5)
|
|
|
|
#define byte_may_alias __attribute__((__may_alias__))
|
|
|
|
#else // defined __clang__ || defined __GNUC__
|
|
|
|
#define byte_may_alias
|
|
|
|
#endif // defined __clang__ || defined __GNUC__
|
|
|
|
|
2016-05-29 20:06:29 -04:00
|
|
|
namespace gsl
|
|
|
|
{
|
2017-05-31 21:42:06 -04:00
|
|
|
#if GSL_USE_STD_BYTE
|
|
|
|
|
|
|
|
|
|
|
|
using std::byte;
|
|
|
|
using std::to_integer;
|
|
|
|
|
|
|
|
#else // GSL_USE_STD_BYTE
|
|
|
|
|
2016-07-20 16:17:47 -04:00
|
|
|
// This is a simple definition for now that allows
|
|
|
|
// use of byte within span<> to be standards-compliant
|
2018-05-01 15:32:31 -04:00
|
|
|
enum class byte_may_alias byte : unsigned char
|
2016-07-20 16:17:47 -04:00
|
|
|
{
|
|
|
|
};
|
|
|
|
|
|
|
|
template <class IntegerType, class = std::enable_if_t<std::is_integral<IntegerType>::value>>
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte& operator<<=(byte& b, IntegerType shift) noexcept
|
2016-07-20 16:17:47 -04:00
|
|
|
{
|
|
|
|
return b = byte(static_cast<unsigned char>(b) << shift);
|
|
|
|
}
|
2016-06-24 07:54:09 -04:00
|
|
|
|
2016-07-20 16:17:47 -04:00
|
|
|
template <class IntegerType, class = std::enable_if_t<std::is_integral<IntegerType>::value>>
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte operator<<(byte b, IntegerType shift) noexcept
|
2016-07-20 16:17:47 -04:00
|
|
|
{
|
|
|
|
return byte(static_cast<unsigned char>(b) << shift);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <class IntegerType, class = std::enable_if_t<std::is_integral<IntegerType>::value>>
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte& operator>>=(byte& b, IntegerType shift) noexcept
|
2016-07-20 16:17:47 -04:00
|
|
|
{
|
|
|
|
return b = byte(static_cast<unsigned char>(b) >> shift);
|
|
|
|
}
|
2016-06-24 07:54:09 -04:00
|
|
|
|
2016-07-20 16:17:47 -04:00
|
|
|
template <class IntegerType, class = std::enable_if_t<std::is_integral<IntegerType>::value>>
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte operator>>(byte b, IntegerType shift) noexcept
|
2016-07-20 16:17:47 -04:00
|
|
|
{
|
|
|
|
return byte(static_cast<unsigned char>(b) >> shift);
|
|
|
|
}
|
2016-06-24 07:54:09 -04:00
|
|
|
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte& operator|=(byte& l, byte r) noexcept
|
2016-07-20 16:17:47 -04:00
|
|
|
{
|
|
|
|
return l = byte(static_cast<unsigned char>(l) | static_cast<unsigned char>(r));
|
|
|
|
}
|
2016-06-24 07:54:09 -04:00
|
|
|
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte operator|(byte l, byte r) noexcept
|
2016-07-20 16:17:47 -04:00
|
|
|
{
|
2016-09-06 21:45:53 -04:00
|
|
|
return byte(static_cast<unsigned char>(l) | static_cast<unsigned char>(r));
|
2016-07-20 16:17:47 -04:00
|
|
|
}
|
2016-06-24 07:54:09 -04:00
|
|
|
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte& operator&=(byte& l, byte r) noexcept
|
2016-07-20 16:17:47 -04:00
|
|
|
{
|
|
|
|
return l = byte(static_cast<unsigned char>(l) & static_cast<unsigned char>(r));
|
|
|
|
}
|
2016-06-24 07:54:09 -04:00
|
|
|
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte operator&(byte l, byte r) noexcept
|
2016-07-20 16:17:47 -04:00
|
|
|
{
|
|
|
|
return byte(static_cast<unsigned char>(l) & static_cast<unsigned char>(r));
|
|
|
|
}
|
2016-06-24 07:54:09 -04:00
|
|
|
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte& operator^=(byte& l, byte r) noexcept
|
2016-07-20 16:17:47 -04:00
|
|
|
{
|
|
|
|
return l = byte(static_cast<unsigned char>(l) ^ static_cast<unsigned char>(r));
|
|
|
|
}
|
2016-06-24 07:54:09 -04:00
|
|
|
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte operator^(byte l, byte r) noexcept
|
2016-07-20 16:17:47 -04:00
|
|
|
{
|
|
|
|
return byte(static_cast<unsigned char>(l) ^ static_cast<unsigned char>(r));
|
|
|
|
}
|
2016-06-24 07:54:09 -04:00
|
|
|
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte operator~(byte b) noexcept { return byte(~static_cast<unsigned char>(b)); }
|
2016-06-24 07:54:09 -04:00
|
|
|
|
2016-07-20 16:17:47 -04:00
|
|
|
template <class IntegerType, class = std::enable_if_t<std::is_integral<IntegerType>::value>>
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr IntegerType to_integer(byte b) noexcept
|
2016-07-20 16:17:47 -04:00
|
|
|
{
|
2016-09-17 03:24:34 -04:00
|
|
|
return static_cast<IntegerType>(b);
|
2016-07-20 16:17:47 -04:00
|
|
|
}
|
2016-06-24 07:54:09 -04:00
|
|
|
|
2017-05-31 21:42:06 -04:00
|
|
|
#endif // GSL_USE_STD_BYTE
|
|
|
|
|
2017-04-20 10:51:37 -04:00
|
|
|
template <bool E, typename T>
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte to_byte_impl(T t) noexcept
|
2016-08-28 16:55:58 -04:00
|
|
|
{
|
2016-09-07 16:38:43 -04:00
|
|
|
static_assert(
|
2017-04-20 10:51:37 -04:00
|
|
|
E, "gsl::to_byte(t) must be provided an unsigned char, otherwise data loss may occur. "
|
|
|
|
"If you are calling to_byte with an integer contant use: gsl::to_byte<t>() version.");
|
2016-09-07 17:16:10 -04:00
|
|
|
return static_cast<byte>(t);
|
2016-09-07 16:38:43 -04:00
|
|
|
}
|
2017-04-20 10:51:37 -04:00
|
|
|
template <>
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte to_byte_impl<true, unsigned char>(unsigned char t) noexcept
|
2016-09-07 16:38:43 -04:00
|
|
|
{
|
2017-04-20 10:51:37 -04:00
|
|
|
return byte(t);
|
2016-08-28 16:55:58 -04:00
|
|
|
}
|
|
|
|
|
2017-04-20 10:51:37 -04:00
|
|
|
template <typename T>
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte to_byte(T t) noexcept
|
2016-09-07 16:38:43 -04:00
|
|
|
{
|
2017-04-20 10:51:37 -04:00
|
|
|
return to_byte_impl<std::is_same<T, unsigned char>::value, T>(t);
|
2016-09-07 16:38:43 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
template <int I>
|
2018-02-20 17:46:37 -05:00
|
|
|
constexpr byte to_byte() noexcept
|
2016-09-07 16:38:43 -04:00
|
|
|
{
|
2017-04-20 10:51:37 -04:00
|
|
|
static_assert(I >= 0 && I <= 255,
|
|
|
|
"gsl::byte only has 8 bits of storage, values must be in range 0-255");
|
2016-09-07 16:38:43 -04:00
|
|
|
return static_cast<byte>(I);
|
|
|
|
}
|
2016-08-28 16:55:58 -04:00
|
|
|
|
2016-05-29 20:06:29 -04:00
|
|
|
} // namespace gsl
|
|
|
|
|
2016-07-15 20:31:40 -04:00
|
|
|
#ifdef _MSC_VER
|
2017-04-20 10:51:37 -04:00
|
|
|
#pragma warning(pop)
|
2016-07-15 20:31:40 -04:00
|
|
|
#endif // _MSC_VER
|
|
|
|
|
2016-08-12 21:16:59 -04:00
|
|
|
#endif // GSL_BYTE_H
|