boostorg/core
1
0
Fork 1
mirror of https://github.com/boostorg/core.git synced 2025-11-28 13:29:19 +01:00
Code Issues Packages Projects Releases Wiki Activity

detail::span_convertible handles void types

Browse Source 
fixes #202
This commit is contained in:
Mohammad Nejati
2025-09-08 16:25:30 +00:00
parent c6b098d25d
commit 6afe70e09d
2 changed files with 28 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
include/boost/core/span.hpp
View File

@@ -23,9 +23,17 @@ class span;
namespace detail {
template<class U, class T, class = void>
struct span_convertible
{
static constexpr bool value = false;
};
template<class U, class T>
struct span_convertible {
static constexpr bool value = std::is_convertible<U(*)[], T(*)[]>::value;
struct span_convertible<U, T, typename std::enable_if<
std::is_convertible<U(*)[], T(*)[]>::value>::type>
{
static constexpr bool value = true;
};
template<std::size_t E, std::size_t N>

18
test/span_constructible_test.cpp
View File

@@ -25,6 +25,20 @@ struct range {
}
};
struct buffer {
void* data() {
return 0;
}
const void* data() const {
return 0;
}
std::size_t size() const {
return 0;
}
};
struct base { };
struct derived
@@ -138,6 +152,10 @@ void test_range()
const range<int>&>));
BOOST_TEST_TRAIT_FALSE((std::is_constructible<boost::span<base>,
range<derived>&>));
BOOST_TEST_TRAIT_FALSE((std::is_constructible<boost::span<int>,
buffer>));
BOOST_TEST_TRAIT_FALSE((std::is_constructible<boost::span<int>,
const buffer&>));
}
void test_initializer_list()