65 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, 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 24struct ForwardRange {25 forward_iterator<const char*> begin() const;26 forward_iterator<const char*> end() const;27};28static_assert( std::ranges::forward_range<ForwardRange>);29 30struct InputRange {31 cpp20_input_iterator<const char*> begin() const;32 sentinel_wrapper<cpp20_input_iterator<const char*>> end() const;33};34static_assert(std::ranges::input_range<InputRange>);35 36template <class I1, class I2, class ExpectedView, class ExpectedPattern>37constexpr 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 47constexpr 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 in61 // `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()` in63 // `ForwardTinyRange`.64}65