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