diff --git a/libcxx/test/std/ranges/range.access/range.prim/empty.pass.cpp b/libcxx/test/std/ranges/range.access/range.prim/empty.pass.cpp --- a/libcxx/test/std/ranges/range.access/range.prim/empty.pass.cpp +++ b/libcxx/test/std/ranges/range.access/range.prim/empty.pass.cpp @@ -46,7 +46,7 @@ struct BadReturnType { BadReturnType empty() { return {}; } }; -static_assert(!std::is_invocable_v); +static_assert(!std::is_invocable_v); struct BoolConvertible { constexpr operator bool() noexcept(false) { return true; } @@ -54,7 +54,6 @@ struct BoolConvertibleReturnType { constexpr BoolConvertible empty() noexcept { return {}; } }; - static_assert(!noexcept(std::ranges::empty(BoolConvertibleReturnType()))); constexpr bool testEmptyMember() { @@ -91,79 +90,40 @@ return true; } -struct other_forward_iterator : forward_iterator { }; - -struct sentinel { - constexpr bool operator==(std::input_or_output_iterator auto) const { return true; } -}; - struct BeginEndNotSizedSentinel { - friend constexpr forward_iterator begin(BeginEndNotSizedSentinel) { return {}; } - friend constexpr sentinel end(BeginEndNotSizedSentinel) { return {}; } -}; -static_assert(!std::is_invocable_v); - -struct InvalidMinusBeginEnd { - friend constexpr random_access_iterator begin(InvalidMinusBeginEnd) { return {}; } - friend constexpr sentinel end(InvalidMinusBeginEnd) { return {}; } -}; - -// Int is integer-like, but it is not other_forward_iterator's difference_type. -constexpr short operator-(sentinel, random_access_iterator) { return 2; } -constexpr short operator-(random_access_iterator, sentinel) { return 2; } -static_assert(!std::is_invocable_v); - -// This type will use ranges::size. -struct IntPtrBeginAndEnd { - int buff[8]; - constexpr int* begin() { return buff; } - constexpr int* end() { return buff + 8; } + constexpr int *begin() const { return nullptr; } + constexpr auto end() const { return sentinel_wrapper(nullptr); } }; -static_assert(std::is_invocable_v); +static_assert( std::ranges::forward_range); +static_assert(!std::ranges::sized_range); -// size is disabled here, and it isn't sized_sentinel_for, so we have to compare begin -// and end again. +// size is disabled here, so we have to compare begin and end. struct DisabledSizeRangeWithBeginEnd { - friend constexpr forward_iterator begin(DisabledSizeRangeWithBeginEnd) { return {}; } - friend constexpr sentinel end(DisabledSizeRangeWithBeginEnd) { return {}; } - constexpr size_t size() const { return 1; } + constexpr int *begin() const { return {}; } + constexpr sentinel_wrapper end() const { return {}; } + size_t size() const; }; - -template <> +template<> inline constexpr bool std::ranges::disable_sized_range = true; -static_assert(!std::is_invocable_v); +static_assert(std::ranges::contiguous_range); +static_assert(!std::ranges::sized_range); struct BeginEndAndEmpty { - int* begin(); - int* end(); - constexpr bool empty() { return true; } -}; - -struct BeginEndAndConstEmpty { - int* begin(); - int* end(); - constexpr bool empty() const { return true; } + constexpr int *begin() const { return nullptr; } + constexpr int *end() const { return nullptr; } + constexpr bool empty() { return false; } }; constexpr bool testBeginEqualsEnd() { BeginEndNotSizedSentinel a; assert(std::ranges::empty(a) == true); - InvalidMinusBeginEnd b; - assert(std::ranges::empty(b) == true); - - IntPtrBeginAndEnd c; - assert(std::ranges::empty(c) == false); - DisabledSizeRangeWithBeginEnd d; assert(std::ranges::empty(d) == true); BeginEndAndEmpty e; - assert(std::ranges::empty(e) == true); - - BeginEndAndConstEmpty f; - assert(std::ranges::empty(f) == true); - assert(std::ranges::empty(std::as_const(f)) == true); + assert(std::ranges::empty(e) == false); // using begin()==end() + assert(std::ranges::empty(std::as_const(e)) == true); // using empty() return true; } diff --git a/libcxx/test/std/ranges/range.access/range.prim/ssize.pass.cpp b/libcxx/test/std/ranges/range.access/range.prim/ssize.pass.cpp --- a/libcxx/test/std/ranges/range.access/range.prim/ssize.pass.cpp +++ b/libcxx/test/std/ranges/range.access/range.prim/ssize.pass.cpp @@ -30,8 +30,7 @@ struct SizeMember { constexpr size_t size() { return 42; } }; - -static_assert(!std::is_invocable_v); +static_assert(!std::is_invocable_v); struct SizeFunction { friend constexpr size_t size(SizeFunction) { return 42; } @@ -41,18 +40,12 @@ friend constexpr std::ptrdiff_t size(SizeFunctionSigned) { return 42; } }; -struct sentinel { - bool operator==(std::input_or_output_iterator auto) const { return true; } -}; - -struct RandomAccesslRange { - constexpr random_access_iterator begin() { return {}; } - constexpr sentinel end() { return {}; } +int globalBuff[2]; +struct SizedSentinelRange { + constexpr int *begin() { return globalBuff; } + constexpr auto end() { return sized_sentinel(globalBuff + 2); } }; -constexpr std::ptrdiff_t operator-(const sentinel, const random_access_iterator) { return 2; } -constexpr std::ptrdiff_t operator-(const random_access_iterator, const sentinel) { return 2; } - struct ShortUnsignedReturnType { constexpr unsigned short size() { return 42; } }; @@ -75,7 +68,7 @@ assert(std::ranges::ssize(SizeFunctionSigned()) == 42); ASSERT_SAME_TYPE(decltype(std::ranges::ssize(SizeFunctionSigned())), std::ptrdiff_t); - RandomAccesslRange b; + SizedSentinelRange b; assert(std::ranges::ssize(b) == 2); ASSERT_SAME_TYPE(decltype(std::ranges::ssize(b)), std::ptrdiff_t); diff --git a/libcxx/test/support/test_iterators.h b/libcxx/test/support/test_iterators.h --- a/libcxx/test/support/test_iterators.h +++ b/libcxx/test/support/test_iterators.h @@ -42,6 +42,8 @@ TEST_CONSTEXPR_CXX14 output_iterator operator++(int) {output_iterator tmp(*this); ++(*this); return tmp;} + friend TEST_CONSTEXPR I base(const output_iterator& i) { return i.base_; } + template void operator,(T const &) = delete; }; @@ -81,6 +83,8 @@ friend TEST_CONSTEXPR_CXX14 bool operator!=(const cpp17_input_iterator& x, const cpp17_input_iterator& y) {return !(x == y);} + friend TEST_CONSTEXPR I base(const cpp17_input_iterator& i) { return i.it_; } + template void operator,(T const &) = delete; }; @@ -129,6 +133,8 @@ friend TEST_CONSTEXPR_CXX14 bool operator!=(const forward_iterator& x, const forward_iterator& y) {return !(x == y);} + friend TEST_CONSTEXPR I base(const forward_iterator& i) { return i.it_; } + template void operator,(T const &) = delete; }; @@ -229,6 +235,8 @@ TEST_CONSTEXPR_CXX14 bidirectional_iterator operator--(int) {bidirectional_iterator tmp(*this); --(*this); return tmp;} + friend TEST_CONSTEXPR I base(const bidirectional_iterator& i) { return i.it_; } + template void operator,(T const &) = delete; }; @@ -289,6 +297,8 @@ TEST_CONSTEXPR_CXX14 reference operator[](difference_type n) const {return it_[n];} + friend TEST_CONSTEXPR I base(const random_access_iterator& i) { return i.it_; } + template void operator,(T const &) = delete; }; @@ -419,32 +429,14 @@ return x.base() != y.base(); } + friend TEST_CONSTEXPR I base(const contiguous_iterator& i) { return i.it_; } + template void operator,(T const &) = delete; }; #endif -template -TEST_CONSTEXPR_CXX14 Iter base(output_iterator i) { return i.base(); } - -template -TEST_CONSTEXPR_CXX14 Iter base(cpp17_input_iterator i) { return i.base(); } - -template -TEST_CONSTEXPR_CXX14 Iter base(forward_iterator i) { return i.base(); } - -template -TEST_CONSTEXPR_CXX14 Iter base(bidirectional_iterator i) { return i.base(); } - -template -TEST_CONSTEXPR_CXX14 Iter base(random_access_iterator i) { return i.base(); } - -#if TEST_STD_VER > 17 -template -TEST_CONSTEXPR_CXX14 Iter base(contiguous_iterator i) { return i.base(); } -#endif - -template // everything else +template // ADL base() for everything else (including pointers) TEST_CONSTEXPR_CXX14 Iter base(Iter i) { return i; } template @@ -960,15 +952,15 @@ constexpr reference operator[](difference_type n) const {return it_[n];} - template - void operator,(T const &) = delete; - friend constexpr difference_type operator-(const three_way_contiguous_iterator& x, const three_way_contiguous_iterator& y) { return x.base() - y.base(); } friend auto operator<=>(const three_way_contiguous_iterator&, const three_way_contiguous_iterator&) = default; + + template + void operator,(T const &) = delete; }; #endif // TEST_STD_VER > 17 && defined(__cpp_lib_concepts)