commit 800e9ccdfdca72b6e91deb0927df3ace83926ae6
author William A. Kennington III <wak@google.com> Sun Jul 19 04:23:53 2020 -0700
committer William A. Kennington III <wak@google.com> Sun Jul 19 04:34:19 2020 -0700
tree 71f8cfc3ca24573bfab32a17cbb6aea674daf4dc
parent 0431e3c8869cd593e09c2229c2917de6e16d28f9

raw: Span doesn't need to only hold integral types

Change-Id: I8c63806555ef2e3d88f169a729382a6d9f91a31a
Signed-off-by: William A. Kennington III <wak@google.com>

src/stdplus/raw.hpp

diff --git a/src/stdplus/raw.hpp b/src/stdplus/raw.hpp
index 638a813..aaf803e 100644
--- a/src/stdplus/raw.hpp
+++ b/src/stdplus/raw.hpp
@@ -85,7 +85,7 @@
 }
 #ifdef STDPLUS_SPAN_TYPE
 template <typename T, typename IntT,
-          typename = std::enable_if_t<std::is_integral_v<IntT>>>
+          typename = std::enable_if_t<std::is_trivially_copyable_v<IntT>>>
 T extract(span<IntT>& data)
 {
     T ret = copyFrom<T>(data);
@@ -120,7 +120,7 @@
 }
 #ifdef STDPLUS_SPAN_TYPE
 template <typename IntT, typename T,
-          typename = std::enable_if_t<std::is_integral_v<IntT>>,
+          typename = std::enable_if_t<std::is_trivially_copyable_v<IntT>>,
           typename = std::enable_if_t<std::is_trivially_copyable_v<T>>,
           typename IntTp = detail::copyConst<IntT, T>>
 span<IntTp> asSpan(T& t) noexcept
@@ -129,7 +129,7 @@
     return {reinterpret_cast<IntTp*>(&t), sizeof(T) / sizeof(IntTp)};
 }
 template <typename IntT, typename Container,
-          typename = std::enable_if_t<std::is_integral_v<IntT>>,
+          typename = std::enable_if_t<std::is_trivially_copyable_v<IntT>>,
           typename = std::enable_if_t<!std::is_trivially_copyable_v<Container>>,
           typename = decltype(std::data(std::declval<Container>())),
           typename IntTp = detail::copyConst<IntT, detail::dataType<Container>>>