1d8fad661SChristopher Di Bella //===----------------------------------------------------------------------===// 2d8fad661SChristopher Di Bella // 3d8fad661SChristopher Di Bella // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4d8fad661SChristopher Di Bella // See https://llvm.org/LICENSE.txt for license information. 5d8fad661SChristopher Di Bella // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6d8fad661SChristopher Di Bella // 7d8fad661SChristopher Di Bella //===----------------------------------------------------------------------===// 8d8fad661SChristopher Di Bella 9d8fad661SChristopher Di Bella // UNSUPPORTED: c++03, c++11, c++14, c++17 10d8fad661SChristopher Di Bella 11f192616cSLouis Dionne // template<class R> 12d8fad661SChristopher Di Bella // concept random_access_range; 13d8fad661SChristopher Di Bella 14d8fad661SChristopher Di Bella #include <ranges> 15d8fad661SChristopher Di Bella 16d8fad661SChristopher Di Bella #include "test_range.h" 17d8fad661SChristopher Di Bella #include "test_iterators.h" 18d8fad661SChristopher Di Bella 19d8fad661SChristopher Di Bella namespace ranges = std::ranges; 20d8fad661SChristopher Di Bella 21d8fad661SChristopher Di Bella template <template <class...> class I> check_range()22d8fad661SChristopher Di Bellaconstexpr bool check_range() { 23d8fad661SChristopher Di Bella constexpr bool result = ranges::random_access_range<test_range<I> >; 24d8fad661SChristopher Di Bella static_assert(ranges::random_access_range<test_range<I> const> == result); 25d8fad661SChristopher Di Bella static_assert(ranges::random_access_range<test_non_const_common_range<I> > == result); 26d8fad661SChristopher Di Bella static_assert(ranges::random_access_range<test_non_const_range<I> > == result); 27d8fad661SChristopher Di Bella static_assert(ranges::random_access_range<test_common_range<I> > == result); 28d8fad661SChristopher Di Bella static_assert(ranges::random_access_range<test_common_range<I> const> == result); 29d8fad661SChristopher Di Bella static_assert(!ranges::random_access_range<test_non_const_common_range<I> const>); 30d8fad661SChristopher Di Bella static_assert(!ranges::random_access_range<test_non_const_range<I> const>); 31d8fad661SChristopher Di Bella return result; 32d8fad661SChristopher Di Bella } 33d8fad661SChristopher Di Bella 34d8fad661SChristopher Di Bella static_assert(!check_range<cpp20_input_iterator>()); 35d8fad661SChristopher Di Bella static_assert(!check_range<forward_iterator>()); 36d8fad661SChristopher Di Bella static_assert(!check_range<bidirectional_iterator>()); 37d8fad661SChristopher Di Bella static_assert(check_range<random_access_iterator>()); 38d8fad661SChristopher Di Bella static_assert(check_range<contiguous_iterator>()); 39*bf150e8dSArthur O'Dwyer 40*bf150e8dSArthur O'Dwyer // Test ADL-proofing. 41*bf150e8dSArthur O'Dwyer struct Incomplete; 42*bf150e8dSArthur O'Dwyer template<class T> struct Holder { T t; }; 43*bf150e8dSArthur O'Dwyer 44*bf150e8dSArthur O'Dwyer static_assert(!std::ranges::random_access_range<Holder<Incomplete>*>); 45*bf150e8dSArthur O'Dwyer static_assert(!std::ranges::random_access_range<Holder<Incomplete>*&>); 46*bf150e8dSArthur O'Dwyer static_assert(!std::ranges::random_access_range<Holder<Incomplete>*&&>); 47*bf150e8dSArthur O'Dwyer static_assert(!std::ranges::random_access_range<Holder<Incomplete>* const>); 48*bf150e8dSArthur O'Dwyer static_assert(!std::ranges::random_access_range<Holder<Incomplete>* const&>); 49*bf150e8dSArthur O'Dwyer static_assert(!std::ranges::random_access_range<Holder<Incomplete>* const&&>); 50*bf150e8dSArthur O'Dwyer 51*bf150e8dSArthur O'Dwyer static_assert( std::ranges::random_access_range<Holder<Incomplete>*[10]>); 52*bf150e8dSArthur O'Dwyer static_assert( std::ranges::random_access_range<Holder<Incomplete>*(&)[10]>); 53*bf150e8dSArthur O'Dwyer static_assert( std::ranges::random_access_range<Holder<Incomplete>*(&&)[10]>); 54*bf150e8dSArthur O'Dwyer static_assert( std::ranges::random_access_range<Holder<Incomplete>* const[10]>); 55*bf150e8dSArthur O'Dwyer static_assert( std::ranges::random_access_range<Holder<Incomplete>* const(&)[10]>); 56*bf150e8dSArthur O'Dwyer static_assert( std::ranges::random_access_range<Holder<Incomplete>* const(&&)[10]>); 57