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