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>
test()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
testCtad()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