[gcc r11-9911] libstdc++: Reorder constraints on std::span::span(Range&&) constructor.
Jonathan Wakely
redi@gcc.gnu.org
Thu Apr 21 12:33:24 GMT 2022
https://gcc.gnu.org/g:2b0ddcec0e4cc46852e0a4dd7d00307d46233ec0
commit r11-9911-g2b0ddcec0e4cc46852e0a4dd7d00307d46233ec0
Author: Jonathan Wakely <jwakely@redhat.com>
Date: Mon Nov 1 11:32:39 2021 +0000
libstdc++: Reorder constraints on std::span::span(Range&&) constructor.
In PR libstdc++/103013 Tim Song pointed out that we could reorder the
constraints of this constructor. That's worth doing just to reduce the
work the compiler has to do during overload resolution, even if it isn't
needed to make the code in the PR work.
libstdc++-v3/ChangeLog:
* include/std/span (span(Range&&)): Reorder constraints.
(cherry picked from commit 09bc98098e4ad474d2ba9da52457b29bbd08874b)
Diff:
---
libstdc++-v3/include/std/span | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/libstdc++-v3/include/std/span b/libstdc++-v3/include/std/span
index af0d24b29f2..2adf1ca2e09 100644
--- a/libstdc++-v3/include/std/span
+++ b/libstdc++-v3/include/std/span
@@ -201,11 +201,11 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
{ }
template<typename _Range>
- requires ranges::contiguous_range<_Range> && ranges::sized_range<_Range>
- && (ranges::borrowed_range<_Range> || is_const_v<element_type>)
- && (!__detail::__is_std_span<remove_cvref_t<_Range>>::value)
+ requires (!__detail::__is_std_span<remove_cvref_t<_Range>>::value)
&& (!__detail::__is_std_array<remove_cvref_t<_Range>>::value)
&& (!is_array_v<remove_cvref_t<_Range>>)
+ && ranges::contiguous_range<_Range> && ranges::sized_range<_Range>
+ && (ranges::borrowed_range<_Range> || is_const_v<element_type>)
&& __is_compatible_ref<ranges::range_reference_t<_Range>>::value
constexpr explicit(extent != dynamic_extent)
span(_Range&& __range)
More information about the Gcc-cvs
mailing list