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-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 // UNSUPPORTED: c++03, c++11, c++14, c++17 10 // UNSUPPORTED: libcpp-has-no-incomplete-ranges 11 12 // template <class R, class P> 13 // lazy_split_view(R&&, P&&) -> lazy_split_view<views::all_t<R>, views::all_t<P>>; 14 // 15 // template <input_range R> 16 // lazy_split_view(R&&, range_value_t<R>) -> lazy_split_view<views::all_t<R>, single_view<range_value_t<R>>>; 17 18 #include <ranges> 19 20 #include <concepts> 21 #include <type_traits> 22 #include <utility> 23 #include "types.h" 24 25 struct ForwardRange { 26 forward_iterator<const char*> begin() const; 27 forward_iterator<const char*> end() const; 28 }; 29 static_assert( std::ranges::forward_range<ForwardRange>); 30 31 struct InputRange { 32 cpp20_input_iterator<const char*> begin() const; 33 sentinel_wrapper<cpp20_input_iterator<const char*>> end() const; 34 }; 35 static_assert(std::ranges::input_range<InputRange>); 36 37 template <class I1, class I2, class ExpectedView, class ExpectedPattern> 38 constexpr void test() { 39 I1 i1{}; 40 I2 i2{}; 41 42 std::ranges::lazy_split_view v(std::move(i1), std::move(i2)); 43 static_assert(std::same_as<decltype(v), std::ranges::lazy_split_view<ExpectedView, ExpectedPattern>>); 44 using O = decltype(std::move(v).base()); 45 static_assert(std::same_as<O, ExpectedView>); 46 } 47 48 constexpr void testCtad() { 49 // (Range, Pattern) 50 test<ForwardView, ForwardView, ForwardView, ForwardView>(); 51 test<ForwardRange, ForwardRange, std::ranges::views::all_t<ForwardRange>, std::ranges::views::all_t<ForwardRange>>(); 52 53 // (Range, RangeElement) 54 test<ForwardRange, char, std::ranges::views::all_t<ForwardRange>, std::ranges::single_view<char>>(); 55 test<InputRange, char, std::ranges::views::all_t<InputRange>, std::ranges::single_view<char>>(); 56 57 // (Range, RangeElement) with implicit conversion. 58 test<ForwardRange, bool, std::ranges::views::all_t<ForwardRange>, std::ranges::single_view<char>>(); 59 test<InputRange, bool, std::ranges::views::all_t<InputRange>, std::ranges::single_view<char>>(); 60 61 // Note: CTAD from (InputRange, ForwardTinyRange) doesn't work -- the deduction guide wraps the pattern in 62 // `views::all_t`, resulting in `views::owning_view<ForwardTinyRange>`. That type would never satisfy `tiny-range` 63 // because `views::owning_view` contains a member function `size()` that shadows the static `size()` in 64 // `ForwardTinyRange`. 65 } 66