para/GSL
1
0
Fork 0
mirror of https://github.com/microsoft/GSL.git synced 2025-01-18 17:55:01 -05:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge branch 'dev/jomaples/unsigned' of https://github.com/jordanmaples/gsl into dev/jomaples/unsigned

Browse Source
This commit is contained in:
Jordan Maples [MSFT] 2020-02-18 10:13:14 -08:00
commit 8ba6cb1074
1 changed files with 26 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
tests/span_compatibility_tests.cpp
View File

@ -41,29 +41,22 @@ static_assert(std::is_convertible<Derived*, Base*>::value, "std::is_convertible<
static_assert(!std::is_convertible<Derived (*)[], Base (*)[]>::value,
"!std::is_convertible<Derived(*)[], Base(*)[]>");
template <typename U, typename = void>
static constexpr bool AsWritableBytesCompilesFor = false;
template <typename U>
static constexpr bool AsWritableBytesCompilesFor<U, void_t<decltype(as_writable_bytes(declval<U>()))>> =
true;
TEST(span_test, std_span_compatibilty_assertion_tests)
TEST(span_compatibility_tests, assertion_tests)
{
int arr[3]{10, 20, 30};
std::array<int, 3> stl{{100, 200, 300}};
{
gsl::span<int> sp_dyn;
assert(sp_dyn.data() == nullptr);
assert(sp_dyn.size() == 0);
assert(sp_dyn.empty());
EXPECT_TRUE(sp_dyn.data() == nullptr);
EXPECT_TRUE(sp_dyn.size() == 0);
EXPECT_TRUE(sp_dyn.empty());
}
{
gsl::span<int, 0> sp_zero;
assert(sp_zero.data() == nullptr);
assert(sp_zero.size() == 0);
assert(sp_zero.empty());
EXPECT_TRUE(sp_zero.data() == nullptr);
EXPECT_TRUE(sp_zero.size() == 0);
EXPECT_TRUE(sp_zero.empty());
gsl::span<int> sp_dyn_a(arr, 3);
gsl::span<int> sp_dyn_b(begin(arr), 3);
@ -501,15 +494,6 @@ TEST(span_test, std_span_compatibilty_assertion_tests)
static_assert(noexcept(as_writable_bytes(sp_dyn)), "noexcept(as_writable_bytes(sp_dyn))");
static_assert(noexcept(as_writable_bytes(sp_nine)), "noexcept(as_writable_bytes(sp_nine))");
static_assert(AsWritableBytesCompilesFor<gsl::span<int>>,
"AsWritableBytesCompilesFor<gsl::span<int>>");
static_assert(AsWritableBytesCompilesFor<gsl::span<int, 9>>,
"AsWritableBytesCompilesFor<gsl::span<int, 9>>");
static_assert(!AsWritableBytesCompilesFor<gsl::span<const int>>,
"!AsWritableBytesCompilesFor<gsl::span<const int>>");
static_assert(!AsWritableBytesCompilesFor<gsl::span<const int, 9>>,
"!AsWritableBytesCompilesFor<gsl::span<const int, 9>>");
auto sp_1 = as_bytes(sp_dyn);
auto sp_2 = as_bytes(sp_nine);
auto sp_3 = as_bytes(sp_const_dyn);
@ -1064,3 +1048,22 @@ static_assert(std::is_convertible<std::array<int, 3>&, gsl::span<const int>>::va
static_assert(std::is_convertible<const std::array<int, 3>&, gsl::span<const int>>::value,
"std::is_convertible<const std::array<int, 3>&, gsl::span<const int>>");
#if __cplusplus >= 201703l
template <typename U, typename = void>
inline constexpr bool AsWritableBytesCompilesFor = false;
template <typename U>
inline constexpr bool AsWritableBytesCompilesFor<U, void_t<decltype(as_writable_bytes(declval<U>()))>> =
true;
static_assert(AsWritableBytesCompilesFor<gsl::span<int>>,
"AsWritableBytesCompilesFor<gsl::span<int>>");
static_assert(AsWritableBytesCompilesFor<gsl::span<int, 9>>,
"AsWritableBytesCompilesFor<gsl::span<int, 9>>");
static_assert(!AsWritableBytesCompilesFor<gsl::span<const int>>,
"!AsWritableBytesCompilesFor<gsl::span<const int>>");
static_assert(!AsWritableBytesCompilesFor<gsl::span<const int, 9>>,
"!AsWritableBytesCompilesFor<gsl::span<const int, 9>>");
#endif // __cplusplus >= 201703l