para/GSL
1
0
Fork 0
mirror of https://github.com/microsoft/GSL.git synced 2024-11-03 17:56:43 -05:00
Code Issues Actions Packages Projects Releases Wiki Activity

update convertibility test

Browse Source
This commit is contained in:
Jordan Maples 2020-03-19 14:08:04 -07:00
parent 6eab19d3c1
commit ddde9e153d
1 changed files with 17 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
tests/span_compatibility_tests.cpp
View File

@ -42,14 +42,11 @@ static_assert(std::is_convertible<Derived*, Base*>::value, "std::is_convertible<
static_assert(!std::is_convertible<Derived (*)[], Base (*)[]>::value, static_assert(!std::is_convertible<Derived (*)[], Base (*)[]>::value,
"!std::is_convertible<Derived(*)[], Base(*)[]>"); "!std::is_convertible<Derived(*)[], Base(*)[]>");
TEST(span_compatibility_tests, assertion_tests) template <class = void>
void ArrayConvertibilityCheck()
{ {
int arr[3]{10, 20, 30};
std::array<int, 3> stl{{100, 200, 300}};
#if __cplusplus >= 201703l #if __cplusplus >= 201703l
// This std::is_convertible_v<int*(*)[], int const* const(*)[]> fails for C++14 if constexpr (std::is_convertible<int*(*) [], int const* const(*)[]>::value)
// so these conversions aren't valid in C++14
{ {
std::array<int*, 3> stl_nullptr{{nullptr, nullptr, nullptr}}; std::array<int*, 3> stl_nullptr{{nullptr, nullptr, nullptr}};
gsl::span<const int* const> sp_const_nullptr_1{stl_nullptr}; gsl::span<const int* const> sp_const_nullptr_1{stl_nullptr};
@ -60,11 +57,22 @@ TEST(span_compatibility_tests, assertion_tests)
EXPECT_TRUE(sp_const_nullptr_2.data() == stl_nullptr.data()); EXPECT_TRUE(sp_const_nullptr_2.data() == stl_nullptr.data());
EXPECT_TRUE(sp_const_nullptr_2.size() == 3); EXPECT_TRUE(sp_const_nullptr_2.size() == 3);
static_assert(std::is_same < decltype(span{stl_nullptr}), span<int*, 3>); static_assert(std::is_same<decltype(span{stl_nullptr}), span<int*, 3>>::value,
static_assert(std::is_same < decltype(span{std::as_const(stl_nullptr)}), "std::is_same< decltype(span{stl_nullptr}), span<int*, 3>>::value");
span<int* const, 3>); static_assert(
std::is_same<decltype(span{std::as_const(stl_nullptr)}), span<int* const, 3>>::value,
"std::is_same< decltype(span{std::as_const(stl_nullptr)}), span<int* const, "
"3>>::value");
} }
#endif #endif
}
TEST(span_compatibility_tests, assertion_tests)
{
int arr[3]{10, 20, 30};
std::array<int, 3> stl{{100, 200, 300}};
ArrayConvertibilityCheck();
{ {
gsl::span<int> sp_dyn; gsl::span<int> sp_dyn;